Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy  Home/Search
Context
Related
| inria.fr/INRIA/Proj...typingjoin.ps.gz cs.unibo.it/pub/laneve/typing.ps.gz cs.unibo.it/~laneve/papers/typing.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: pauillac.inria.fr/...publications (more) From: cs.unibo.it/~laneve/html...papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We adapt the Damas-Milner typing discipline to the join-calculus. The main result is a new generalization criterion that extends the polymorphism of ML to join-definitions. We prove the correctness of our typing rules with regard to a chemical semantics. We also relate typed extensions of the core join-calculus to functional languages. (Update)
Similar documents (at the sentence level):
63.3%: Implicit typing à la ML for the join-calculus - Fournet, Laneve, Maranget, .. (Correct)
Active bibliography (related documents): More All
0.5: Operational Semantics and Type System for GNOME on Typed.. - Ravara, Vasconcelos (1996) (Correct)
0.1: The Polymorphic Pi-calculus: Theory and Implementation - Turner (1995) (Correct)
0.1: Mechanized Reasoning about Concurrent Functional Programs - Mintchev (Correct)
Similar documents based on text: More All
0.6: Inheritance in the Join Calculus (Extended Abstract) - Fournet, Laneve, Maranget, .. (Correct)
0.4: Inheritance in the Join Calculus - Fournet, Laneve, Maranget.. (2001) (Correct)
0.3: ML^F - Raising ML to the Power of System F - Le Botlan, Rémy (Correct)
BibTeX entry: (Update)
Fournet, C. and Laneve, C. Maranget, L. and Remy, D. Implicit Typing a la ML for the join-calculus. CONCUR '97, LNCS 1243, pp. 196-212, 1997. http://citeseer.ist.psu.edu/fournet97implicit.html More
@inproceedings{ fournet97implicit,
author = "C\'edric Fournet and Cosimo Laneve and Luc Maranget and Didier R\'emy",
title = "Implicit Typing \`a la {ML} for the Join-Calculus",
booktitle = "International Conference on Concurrency Theory",
pages = "196-212",
year = "1997",
url = "citeseer.ist.psu.edu/fournet97implicit.html" }
Citations (may not include all citations):343 Principal type schemes for functional programs (context) - Damas, Milner - 1982
306 A syntactic approach to type soundness - Wright, Felleisen - 1994
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
200 Pict : a programming language based on the pi-calculus - Pierce, Turner - 1995
149 calculus : a tutorial (context) - Milner, ss- - 1993
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1993
73 The reflexive chemical abstract machine and the join-calculu.. (context) - Fournet, Gonthier - 1996
37 Polymorphism for imperative languages without imperative typ.. - Wright - 1993
21 application and semantics (context) - Reppy, Design - 1992
13 Polymorphic sorts and types for concurrent functional progra.. (context) - Thomsen - 1993
11 An extension of ML with first-class abstract types (context) - Laufer, Odersky - 1992
11 polymorphism and implementation (context) - Turner, Types - 1995
2 Linear types and picalculus (context) - Kobayashi, Pierce et al. - 1996
2 Predicative polymorphism in the ß-calculus (context) - Vasconcelos - 1994
Documents on the same site (http://pauillac.inria.fr/~remy/publications.html): More
A Proof-Theoretic Assessment of Runtime Type Errors - Gunter, Rémy (1993) (Correct)
Syntactic Theories and the Algebra of Record Terms - Rémy (1993) (Correct)
Typing Record Concatenation for Free - Remy (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC