1# this file extracted from cf.bib, part of Didier's CVS
2# added entries from Cosimo and Luc
3
4@string          (ic = "Information and Computation")
5@string          (tcs = "Theoretical Computer Science")
6@string          (inria =  "Institut National de Recherche en Informatique
7                  et Automatisme")
8@string          (rocq =  "Rocquencourt")
9
10@book{Appel-compiling,
11        author =        "Andrew W. Appel",
12        title =         "Compiling with continuations",
13        publisher =     "Cambridge University Press",
14        year =          "1992"}
15
16
17@misc{Objective-Caml,
18        author =        "Xavier Leroy and J\'er\^ome Vouillon and
19                         Damien Doligez",
20        title =         "The {Objective} {Caml} system",
21        year =          "1996",
22        howpublished =  "Software and documentation available on the Web,
23                         {\oneurl{http://pauillac.inria.fr/ocaml/}}"}
24@misc{Join,
25        author =        "C\'edric Fournet and Luc Maranget",
26        title =         "The join system",
27        year =          "1997",
28        howpublished =  "Software and documentation available on the Web,
29                         {\oneurl{http://pauillac.inria.fr/join/}}"}
30@misc{Bologna,
31        author =        "Luca Padovani",
32        title =         "The Bologna join system",
33        year =          "1997",
34        howpublished =  "Software and documentation (in italian) available on the Web,
35                         {\oneurl{ftp://ftp.cs.unibo.it/pub/asperti/jcb01.tar.gz}}"}
36
37@misc{Jocaml,
38        author =        "Fabrice {Le Fessant}",
39        title =         "The Jocaml system prototype",
40        year =          "1998",
41        howpublished =  "Software and documentation available on the Web,
42                         {\oneurl{http://pauillac.inria.fr/jocaml/}}"}
43
44@inproceedings{join-typing-97,
45        author =        "C\'edric Fournet and Cosimo Laneve and Luc Maranget and Didier R\'emy",
46        title =         "{Implicit Typing \`a la ML for the join-calculus}",
47        booktitle =     "Proc. of the 1997 8th International Conference on Concurrency Theory",
48        year =          1997,
49        publisher =     "Springer-Verlag"}
50
51@inproceedings{Maranget92,
52        author =        "Luc Maranget",
53        title =         "Compiling Lazy Pattern Matching",
54        booktitle =     "Proc. of the 1992 conference on Lisp and Functional
55                         Programming",
56        year =          1992,
57        publisher =     "ACM Press"}
58
59@techreport{Maranget-Lazy-Pat-Report,
60        author =        "Luc Maranget",
61        title =         "Two Techniques for Compiling Lazy Pattern Matching",
62        type =          "Research report",
63        number =        "2385",
64        institution =   "INRIA",
65        year =          1994}
66@techreport{Milner-pi-calculus,
67        author =        "Robin Milner and Joachim Parrow and David Walker",
68        title =         "A calculus of mobile processes: part 1",
69        type =          "Research Report",
70        institution =   "University of Edinburgh",
71        number =        "ECS-LFCS-89-85",
72        year =          "1989" }
73
74@article         {BeBo92,
75author       =   "G{\'e}rard Berry and G{\'e}rard Boudol",
76title        =   "The chemical abstract machine",
77journal      =   tcs,
78year         =   "1992",
79volume       =   "96",
80pages        =   "217--248"
81                  }
82
83@inproceedings   {DamasMilner82,
84author       =   {L. Damas and R. Milner},
85title        =   {Principal type schemes for functional
86                  programs},
87booktitle    =   {Proceedings on
88                  Principles of Programmining
89                  Languages},
90year         =   {1982},
91pages        =   {207 -- 212}
92}
93
94@inproceedings   {FGLMR96_Calculus_mobile_agent,
95author       =   {C\'{e}dric Fournet and Georges Gonthier and
96                  Jean-Jacques L\'{e}vy and Luc Maranget and Didier
97                  R\'{e}my},
98title        =   {A Calculus of Mobile Agents},
99booktitle    =   {7th International Conference on Concurrency Theory
100                  (CONCUR'96) },
101year         =   1996,
102note         =   "LNCS 1119"
103}
104
105@article         {FelleisenWright_Syntactic_Soundness,
106author       =   "Andrew K. Wright and Matthias Felleisen",
107year         =   "1994",
108journal      =   "Information and Computation",
109volume       =   "115",
110number       =   "1",
111pages        =   "38--94",
112title        =   "A Syntactic Approach to Type Soundness"
113}
114
115@techreport{Wright93,
116  author =       "Andrew K. Wright",
117  year =         "1993",
118  month =        "February",
119  number =       "93-200",
120  institution =  "Rice University",
121  title =        "Polymorphism for Imperative Languages
122                  without Imperative Types"
123}
124
125@inproceedings   {FournetGonthier96,
126author       =   {C\'{e}dric Fournet and
127                  Georges Gonthier},
128title        =   {The Reflexive Chemical Abstract Machine
129                  and the Join-Calculus},
130booktitle    =   "23rd ACM Symposium on Principles of Programming
131                  Languages (POPL'96)",
132year         =   "1996"
133}
134
135@article         {KPT96_Typed_Pattern_Calculus,
136author       =   {Delia Kesner and Laurence Puel},
137title        =   {A Typed Pattern Calculus},
138journal      =   ic,
139year         =   1996,
140volume       =   124,
141number       =   4,
142pages        =   {32-61}
143}
144
145@techreport      {Kobayashi96_Deadlock_Free_Typed_Process_Calculus,
146author       =   {Naoki Kobayashi},
147title        =   {A Partially Deadlock-free Typed Process Calculus (I)
148                  -- A simple system --},
149institution  =   {Departement of information science, Faculty of
150                  Science, University of Tokyo},
151year         =   1996,
152month        =   {September},
153}
154
155@inproceedings   {KobayashiPierceTurner96,
156author       =   "Naoki Kobayashi and Benjamin C. Pierce and David
157                  N. Turner" ,
158title        =   {Linear types and pi-calculus},
159booktitle    =   "23rd ACM Symposium on Principles of Programming
160                  Languages (POPL'96)",
161year         =   "1996"
162}
163
164@article         {MPW92,
165author       =   {R. Milner and J. Parrow and D. Walker},
166title        =   {A Calculus of Mobile Processes {I} and {II}},
167journal      =   {Information and Computation},
168year         =   {1992},
169volume       =   {100},
170pages        =   {1 -- 41, 42 -- 78}
171}
172
173@article         {Mil92,
174author       =   {R. Milner},
175title        =   {Functions as Processes},
176journal      =   {Mathematical Structures in Computer
177                  Science},
178year         =   {1992},
179volume       =   {2},
180pages        =   {119 -- 141}
181}
182
183@incollection    {Milpol,
184author       =   {R. Milner},
185title        =   {The polyadic $\pi$-calculus:
186                  a tutorial},
187editor       =   {Bauer and Brawer and Schwichtenberg},
188booktitle    =   {Logic and Algebra of
189                  Specification},
190publisher    =   {Springer Verlag},
191year         =   { 1993}
192}
193
194@article         {MitchellViswamathan_SMLNJ_WeakPolymorphism,
195author       =   {John Mitchell and Ramesh Viswanathan},
196title        =   {Standard {ML-NJ} Weak Polymorphism and Imperative
197                  Constructs},
198journal      =   ic,
199year         =   1996,
200volume       =   127,
201number       =   54,
202pages        =   {102-116}
203}
204
205@inproceedings   {PS93,
206author       =   {B. Pierce and D. Sangiorgi},
207title        =   {Typing and subtyping for mobile
208                  processes},
209booktitle    =   {Logic in Computer Science},
210year         =   {1993},
211pages        =   {187 -- 215}
212}
213
214@inproceedings   {PS96,
215author       =   {B. Pierce and D. Sangiorgi},
216title        =   {Behavioural equivalence in the
217                  Polymorphic pi-calculus},
218booktitle    =   {24th ACM Symposium on
219                  Principles of Programming Languages},
220year         =   {1997}
221}
222
223@misc            {Pict,
224author       =   {B. Pierce and D. Turner},
225title        =   {{\sf Pict}: a programming language
226                  based on the pi-calculus},
227note         =   {To appear},
228year         =   {1995}
229}
230
231@article         {PierceSangiorgi95,
232author       =   "Benjamin C. Pierce and Davide Sangiorgi",
233title        =   "Typing and Subtyping for Mobile Processes",
234journal      =   "Mathematical Structures in Computer Science",
235year         =   "1995",
236note         =   "To appear.  A summary was presented at LICS '93",
237}
238
239@techreport      {Remy/mleqth,
240author       =   "Didier R{\'e}my",
241title        =   "Extending {ML} Type System with a Sorted
242                  Equational Theory",
243institution  =   inria,
244address      =   rocq,
245type         =   "Research Report",
246number       =   1766,
247year         =   1992
248}
249
250@article         {Rep91,
251author       =   {J. H. Reppy},
252title        =   {C{ML}: a higher-order concurrent
253                  language},
254journal      =   {SIGPLAN Notices},
255number       =   {6},
256volume       =   {26},
257pages        =   {294 -- 305},
258year         =   {1991}
259
260}
261
262@techreport      {Sangiorgi96_Typed_Objects_Picalc,
263author       =   {Davide Sangiorgi},
264title        =   {An Interpretation of Typed Objects into Typed
265                  $\pi$-calculus},
266institution  =   inria,
267address      =   {Sophia-Antipolis, France},
268year         =   1996,
269}
270
271@inproceedings   {TJ92,
272author       =   {J. P. Talpin and P. Juvelot},
273title        =   {The type and effects discipline},
274booktitle    =   {Logic in Computer Science},
275year         =   {1992},
276pages        =   {162 -- 173}
277}
278
279@techreport      {Thom93,
280author       =   {B. Thomsen},
281title        =   {Polymorphic sorts and types for
282                  concurrent functional programs},
283institution  =   {European Computer-Industry Research
284                  Center},
285address      =   {Munich, Germany},
286year         =   {1993},
287number       =   {ECRC-93-10}
288}
289
290@article         {Tof90,
291author       =   {M. Tofte},
292year         =   1990,
293journal      =   {Information and Computation},
294volume       =   89,
295number       =   {1},
296pages        =   {1 -- 34},
297title        =   {Type inference for polymorphic references}
298}
299
300@phdthesis       {Turner95,
301author       =   "David N. Turner",
302title        =   "The $\pi$-calculus: Types, polymorphism and implementation",
303school       =   "LFCS, University of Edinburgh",
304year         =   1995
305}
306
307@unpublished     {Yoshida96_Graph_types,
308author       =   {Nobuko Yoshida},
309title        =   {Graph types for monadic mobile processes},
310note         =   {Manuscript},
311month        =   sep,
312year         =   1996
313}
314
315@inproceedings{Remy-Vouillon/objective-ml,
316        author =        "Didier R\'emy and Jer\^{o}me Vouillon",
317        title =         "{Objective} {ML}: A simple object-oriented
318                         extension to {ML}",
319booktitle    =   {24th ACM Symposium on
320                  Principles of Programming Languages},
321        year =          1997
322}
323
324@inproceedings{CML,
325        author =        "John H. Reppy",
326        title =         "{Concurrent ML}: {D}esign, application and semantics",
327	booktitle    =   {Programming, Concurrency, Simulation and Automated Reasoning},
328        year =          1992,
329	pages = {165 -- 198},
330	note =	"LNCS 693"
331}
332
333@inproceedings   {Vascon93,
334author       =   {Vasco T. Vasconcelos},
335title        =   {Predicative polymorphism in the $\pi$-calculus},
336booktitle    =   {Proceedings of 5th Conference on Parallel Architectures and Languages (PARLE 94)},
337year         =   1994,
338note         =   "LNCS"
339}
340
341@inproceedings   {Laufer-Odersky/original,
342author       =   {L\"{a}ufer, Konstantin and Odersky, Martin},
343title        =   {An Extension of {ML} with First-Class Abstract Types},
344booktitle    =   {Proceedings of the ACM SIGPLAN Workshop on ML and
345                  its Applications},
346year         =   {1992}
347}
348
349@inproceedings {Augustsson85,
350author       = {Lennart Augustsson},
351title        = "Compiling Pattern Matching",
352booktitle    = "Proc. of the ACM Functional Programming and Computer Architecture Conference",
353year         = {1985}
354}
355
356@TechReport{GCDistri,
357  author =       "Shapiro, Marc and Dickman, Peter and Plainfoss\'{e}, David",
358  title =        "{SSP} Chains: Robust, Distributed References
359                  Supporting Acyclic Garbage Collection",
360  institution =  "INRIA",
361  year =         1992,
362  type =         "Rapport de Recherche",
363  number =       1799,
364  month =        nov,
365  note =         "Also available as Broadcast Technical Report \#1"
366}
367