Searching for authors named "Alan Schmitt" – sorted by Relevance.
25 documents found, showing 1 through 10.
Next 10 →
-
Safe Dynamic Binding in the Join Calculus
- …Safe Dynamic Binding in the Join Calculus Draft of the Long version Alan Schmitt INRIA…
- Cited by 9 (1 self) – Add To MetaCart
-
The Marvel Programming Model: a higher-order distributed process calculus
- …The Marvel Programming Model: a higher-order distributed process calculus Alan Schmitt, Jean…
- Add To MetaCart
-
An abstract machine for the Kell calculus
- …An Abstract Machine for the Kell Calculus ⋆ Philippe Bidinger ⋆⋆ , Alan Schmitt, and Jean…
- Cited by 3 (0 self) – Add To MetaCart
-
An implementation of ambients in JoCaml
- …@(email omitted); Microsoft Research Alan Schmitt Alan.Schmitt@(email omitted); INRIA Rocquencourt April 1999 1 Two notions…
- Cited by 3 (0 self) – Add To MetaCart
-
The M-calculus: A Higher-Order Distributed Process Calculus
- … to be fail-stop. While it Alan Schmitt, Jean-Bernard Stefani INRIA {alan.schmitt, jean…
- Cited by 43 (5 self) – Add To MetaCart
-
Safe Dynamic Binding in the Join Calculus
- …Safe Dynamic Binding in the Join Calculus Alan Schmitt INRIA Rocquencourt, alan.schmitt…
- Add To MetaCart
-
Component-Oriented Programming with Sharing: Containment is not Ownership
- … , Tom Hirschowitz 1 , Damien Pous 1 , Alan Schmitt 2 , Jean-Bernard Stefani 2 (1) LIP ENS Lyon, 46…
- Cited by 2 (0 self) – Add To MetaCart
-
Typing Communicating Component Assemblages
- ….lienhardt@(email omitted); Alan Schmitt INRIA, France alan.schmitt@(email omitted); Jean-Bernard Stefani INRIA, France jean…
- Add To MetaCart
-
Lenses and View Update Translation
- …Lenses and View Update Translation Benjamin C. Pierce and Alan Schmitt University of Pennsylvania…
- Cited by 2 (2 self) – Add To MetaCart
-
Lenses and View Update Translation
- …Lenses and View Update Translation Benjamin C. Pierce and Alan Schmitt University of Pennsylvania…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
