An abstract machine for the kell calculusBIDINGER, Philippe; SCHMITT, Alan; STEFANI, Jean-Bernard et al.Lecture notes in computer science. 2005, pp 31-46, issn 0302-9743, isbn 3-540-26181-8, 16 p.Conference Paper

Component-oriented programming with sharing : Containment is not ownershipHIRSCHKOFF, Daniel; HIRSCHOWITZ, Tom; POUS, Damien et al.Lecture notes in computer science. 2005, pp 389-404, issn 0302-9743, isbn 3-540-29138-5, 1Vol, 16 p.Conference Paper

Combinators for Bi-directional tree transformations : A linguistic approach to the view update problemFOSTER, J. Nathan; GREENWALD, Michael B; MOORE, Jonathan T et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 233-246, issn 1523-2867, 14 p.Conference Paper

XML goes native : Run-time representations for XTATICGAPEYEV, Vladimir; LEVIN, Michael Y; PIERCE, Benjamin C et al.Lecture notes in computer science. 2005, pp 43-58, issn 0302-9743, isbn 3-540-25411-0, 16 p.Conference Paper

Efficient static analysis of XML paths and typesGENEVES, Pierre; LAYAIDA, Nabil; SCHMITT, Alan et al.ACM SIGPLAN notices. 2007, Vol 42, Num 6, pp 342-351, issn 1523-2867, 10 p.Conference Paper

The M-calculus: A higher-order Distributed process calculusSCHMITT, Alan; STEFANI, Jean-Bernard.ACM SIGPLAN notices. 2003, Vol 38, Num 1, pp 50-61, issn 1523-2867, 12 p.Conference Paper

Characterizing contextual equivalence in calculi with passivationLENGLET, Sergueï; SCHMITT, Alan; STEFANI, Jean-Bernard et al.Information and computation (Print). 2011, Vol 209, Num 11, pp 1390-1433, issn 0890-5401, 44 p.Article

Boomerang : Resourceful Lenses for String DataBOHANNON, Aaron; FOSTER, J. Nathan; PIERCE, Benjamin C et al.ACM SIGPLAN notices. 2008, Vol 43, Num 1, pp 407-419, issn 1523-2867, 13 p.Conference Paper

Exploiting schemas in data synchronizationFOSTER, J. Nathan; GREENWALD, Michael B; KIRKEGAARD, Christian et al.Lecture notes in computer science. 2005, pp 42-57, issn 0302-9743, isbn 3-540-30951-9, 1Vol, 16 p.Conference Paper

On the expressiveness and decidability of higher-order process calculiLANESE, Ivan; PEREZ, Jorge A; SANGIORGI, Davide et al.Information and computation (Print). 2011, Vol 209, Num 2, pp 198-226, issn 0890-5401, 29 p.Article

Combinators for bidirectional tree transformations : A linguistic approach to the view-update problemFOSTER, J. Nathan; GREENWALD, Michael B; MOORE, Jonathan T et al.ACM transactions on programming languages and systems. 2007, Vol 29, Num 3, pp 1-65, issn 0164-0925, 65 p.Conference Paper

Agreeing to agree : Conflict resolution for optimistically replicated dataGREENWALD, Michael B; KHANNA, Sanjeev; KUNAL, Keshav et al.Lecture notes in computer science. 2006, pp 269-283, issn 0302-9743, isbn 3-540-44624-9, 1Vol, 15 p.Conference Paper

JoCaml: A language for concurrent distributed and mobile programmingFOURNET, Cédric; LE FESSANT, Fabrice; MARANGET, Luc et al.Lecture notes in computer science. 2003, pp 129-158, issn 0302-9743, isbn 3-540-40132-6, 30 p.Conference Paper