# this file extracted from cf.bib, part of Didier's CVS
# added entries from Cosimo and Luc
@string (ic = "Information and Computation")
@string (tcs = "Theoretical Computer Science")
@string (inria = "Institut National de Recherche en Informatique
et Automatisme")
@string (rocq = "Rocquencourt")
@book{Appel-compiling,
author = "Andrew W. Appel",
title = "Compiling with continuations",
publisher = "Cambridge University Press",
year = "1992"}
@misc{Objective-Caml,
author = "Xavier Leroy and J\'er\^ome Vouillon and
Damien Doligez",
title = "The {Objective} {Caml} system",
year = "1996",
howpublished = "Software and documentation available on the Web,
{\oneurl{http://pauillac.inria.fr/ocaml/}}"}
@misc{Join,
author = "C\'edric Fournet and Luc Maranget",
title = "The join system",
year = "1997",
howpublished = "Software and documentation available on the Web,
{\oneurl{http://pauillac.inria.fr/join/}}"}
@misc{Bologna,
author = "Luca Padovani",
title = "The Bologna join system",
year = "1997",
howpublished = "Software and documentation (in italian) available on the Web,
{\oneurl{ftp://ftp.cs.unibo.it/pub/asperti/jcb01.tar.gz}}"}
@misc{Jocaml,
author = "Fabrice {Le Fessant}",
title = "The Jocaml system prototype",
year = "1998",
howpublished = "Software and documentation available on the Web,
{\oneurl{http://pauillac.inria.fr/jocaml/}}"}
@inproceedings{join-typing-97,
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 = "Proc. of the 1997 8th International Conference on Concurrency Theory",
year = 1997,
publisher = "Springer-Verlag"}
@inproceedings{Maranget92,
author = "Luc Maranget",
title = "Compiling Lazy Pattern Matching",
booktitle = "Proc. of the 1992 conference on Lisp and Functional
Programming",
year = 1992,
publisher = "ACM Press"}
@techreport{Maranget-Lazy-Pat-Report,
author = "Luc Maranget",
title = "Two Techniques for Compiling Lazy Pattern Matching",
type = "Research report",
number = "2385",
institution = "INRIA",
year = 1994}
@techreport{Milner-pi-calculus,
author = "Robin Milner and Joachim Parrow and David Walker",
title = "A calculus of mobile processes: part 1",
type = "Research Report",
institution = "University of Edinburgh",
number = "ECS-LFCS-89-85",
year = "1989" }
@article {BeBo92,
author = "G{\'e}rard Berry and G{\'e}rard Boudol",
title = "The chemical abstract machine",
journal = tcs,
year = "1992",
volume = "96",
pages = "217--248"
}
@inproceedings {DamasMilner82,
author = {L. Damas and R. Milner},
title = {Principal type schemes for functional
programs},
booktitle = {Proceedings on
Principles of Programmining
Languages},
year = {1982},
pages = {207 -- 212}
}
@inproceedings {FGLMR96_Calculus_mobile_agent,
author = {C\'{e}dric Fournet and Georges Gonthier and
Jean-Jacques L\'{e}vy and Luc Maranget and Didier
R\'{e}my},
title = {A Calculus of Mobile Agents},
booktitle = {7th International Conference on Concurrency Theory
(CONCUR'96) },
year = 1996,
note = "LNCS 1119"
}
@article {FelleisenWright_Syntactic_Soundness,
author = "Andrew K. Wright and Matthias Felleisen",
year = "1994",
journal = "Information and Computation",
volume = "115",
number = "1",
pages = "38--94",
title = "A Syntactic Approach to Type Soundness"
}
@techreport{Wright93,
author = "Andrew K. Wright",
year = "1993",
month = "February",
number = "93-200",
institution = "Rice University",
title = "Polymorphism for Imperative Languages
without Imperative Types"
}
@inproceedings {FournetGonthier96,
author = {C\'{e}dric Fournet and
Georges Gonthier},
title = {The Reflexive Chemical Abstract Machine
and the Join-Calculus},
booktitle = "23rd ACM Symposium on Principles of Programming
Languages (POPL'96)",
year = "1996"
}
@article {KPT96_Typed_Pattern_Calculus,
author = {Delia Kesner and Laurence Puel},
title = {A Typed Pattern Calculus},
journal = ic,
year = 1996,
volume = 124,
number = 4,
pages = {32-61}
}
@techreport {Kobayashi96_Deadlock_Free_Typed_Process_Calculus,
author = {Naoki Kobayashi},
title = {A Partially Deadlock-free Typed Process Calculus (I)
-- A simple system --},
institution = {Departement of information science, Faculty of
Science, University of Tokyo},
year = 1996,
month = {September},
}
@inproceedings {KobayashiPierceTurner96,
author = "Naoki Kobayashi and Benjamin C. Pierce and David
N. Turner" ,
title = {Linear types and pi-calculus},
booktitle = "23rd ACM Symposium on Principles of Programming
Languages (POPL'96)",
year = "1996"
}
@article {MPW92,
author = {R. Milner and J. Parrow and D. Walker},
title = {A Calculus of Mobile Processes {I} and {II}},
journal = {Information and Computation},
year = {1992},
volume = {100},
pages = {1 -- 41, 42 -- 78}
}
@article {Mil92,
author = {R. Milner},
title = {Functions as Processes},
journal = {Mathematical Structures in Computer
Science},
year = {1992},
volume = {2},
pages = {119 -- 141}
}
@incollection {Milpol,
author = {R. Milner},
title = {The polyadic $\pi$-calculus:
a tutorial},
editor = {Bauer and Brawer and Schwichtenberg},
booktitle = {Logic and Algebra of
Specification},
publisher = {Springer Verlag},
year = { 1993}
}
@article {MitchellViswamathan_SMLNJ_WeakPolymorphism,
author = {John Mitchell and Ramesh Viswanathan},
title = {Standard {ML-NJ} Weak Polymorphism and Imperative
Constructs},
journal = ic,
year = 1996,
volume = 127,
number = 54,
pages = {102-116}
}
@inproceedings {PS93,
author = {B. Pierce and D. Sangiorgi},
title = {Typing and subtyping for mobile
processes},
booktitle = {Logic in Computer Science},
year = {1993},
pages = {187 -- 215}
}
@inproceedings {PS96,
author = {B. Pierce and D. Sangiorgi},
title = {Behavioural equivalence in the
Polymorphic pi-calculus},
booktitle = {24th ACM Symposium on
Principles of Programming Languages},
year = {1997}
}
@misc {Pict,
author = {B. Pierce and D. Turner},
title = {{\sf Pict}: a programming language
based on the pi-calculus},
note = {To appear},
year = {1995}
}
@article {PierceSangiorgi95,
author = "Benjamin C. Pierce and Davide Sangiorgi",
title = "Typing and Subtyping for Mobile Processes",
journal = "Mathematical Structures in Computer Science",
year = "1995",
note = "To appear. A summary was presented at LICS '93",
}
@techreport {Remy/mleqth,
author = "Didier R{\'e}my",
title = "Extending {ML} Type System with a Sorted
Equational Theory",
institution = inria,
address = rocq,
type = "Research Report",
number = 1766,
year = 1992
}
@article {Rep91,
author = {J. H. Reppy},
title = {C{ML}: a higher-order concurrent
language},
journal = {SIGPLAN Notices},
number = {6},
volume = {26},
pages = {294 -- 305},
year = {1991}
}
@techreport {Sangiorgi96_Typed_Objects_Picalc,
author = {Davide Sangiorgi},
title = {An Interpretation of Typed Objects into Typed
$\pi$-calculus},
institution = inria,
address = {Sophia-Antipolis, France},
year = 1996,
}
@inproceedings {TJ92,
author = {J. P. Talpin and P. Juvelot},
title = {The type and effects discipline},
booktitle = {Logic in Computer Science},
year = {1992},
pages = {162 -- 173}
}
@techreport {Thom93,
author = {B. Thomsen},
title = {Polymorphic sorts and types for
concurrent functional programs},
institution = {European Computer-Industry Research
Center},
address = {Munich, Germany},
year = {1993},
number = {ECRC-93-10}
}
@article {Tof90,
author = {M. Tofte},
year = 1990,
journal = {Information and Computation},
volume = 89,
number = {1},
pages = {1 -- 34},
title = {Type inference for polymorphic references}
}
@phdthesis {Turner95,
author = "David N. Turner",
title = "The $\pi$-calculus: Types, polymorphism and implementation",
school = "LFCS, University of Edinburgh",
year = 1995
}
@unpublished {Yoshida96_Graph_types,
author = {Nobuko Yoshida},
title = {Graph types for monadic mobile processes},
note = {Manuscript},
month = sep,
year = 1996
}
@inproceedings{Remy-Vouillon/objective-ml,
author = "Didier R\'emy and Jer\^{o}me Vouillon",
title = "{Objective} {ML}: A simple object-oriented
extension to {ML}",
booktitle = {24th ACM Symposium on
Principles of Programming Languages},
year = 1997
}
@inproceedings{CML,
author = "John H. Reppy",
title = "{Concurrent ML}: {D}esign, application and semantics",
booktitle = {Programming, Concurrency, Simulation and Automated Reasoning},
year = 1992,
pages = {165 -- 198},
note = "LNCS 693"
}
@inproceedings {Vascon93,
author = {Vasco T. Vasconcelos},
title = {Predicative polymorphism in the $\pi$-calculus},
booktitle = {Proceedings of 5th Conference on Parallel Architectures and Languages (PARLE 94)},
year = 1994,
note = "LNCS"
}
@inproceedings {Laufer-Odersky/original,
author = {L\"{a}ufer, Konstantin and Odersky, Martin},
title = {An Extension of {ML} with First-Class Abstract Types},
booktitle = {Proceedings of the ACM SIGPLAN Workshop on ML and
its Applications},
year = {1992}
}
@inproceedings {Augustsson85,
author = {Lennart Augustsson},
title = "Compiling Pattern Matching",
booktitle = "Proc. of the ACM Functional Programming and Computer Architecture Conference",
year = {1985}
}
@TechReport{GCDistri,
author = "Shapiro, Marc and Dickman, Peter and Plainfoss\'{e}, David",
title = "{SSP} Chains: Robust, Distributed References
Supporting Acyclic Garbage Collection",
institution = "INRIA",
year = 1992,
type = "Rapport de Recherche",
number = 1799,
month = nov,
note = "Also available as Broadcast Technical Report \#1"
}