Higher-order Concurrency (1992)

Cached

Download Links

by John Hamilton Reppy
Citations:125 - 6 self

Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
81 A semantics for ML concurrency primitives – Dave Berry, Robin Milner, David N. Turner - 1992
217 CML: A higher-order concurrent language – J Reppy - 1991
110 Type inference for polymorphic references – M Tofte - 1990
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
3219 Communication and Concurrency – R Milner - 1990
152 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
83 Control operators, the SECD machine and the -calculus – M Felleisen, D P Friedman - 1986
444 MULTILISP: a language for concurrent symbolic computation – Robert H. Halstead - 1985
31 Polymorphism by name for references and continuations – Xavier Leroy - 1993
93 Typing First-Class Continuations in ML – Robert Harper, Bruce F. Duba, David Macqueen - 1992
22 Typage polymorphe d'un langage algorithmique. Doctoral dissertation (in – X Leroy - 1992
26 Typing References by Effect Inference – Andrew Wright - 1992
94 Type assignment in programming languages – L Damas - 1985
49 Polymorphic Type Inference and Assignment – Xavier Leroy, Pierre Weis, Inria Rocquencourt - 1991
939 A theory of type polymorphism in programming – Robin Milner - 1978
171 Call-by-name, call-by-value, and the lambda calculus – Gordon Plotkin - 1975
52 Squeak: a Language for Communicating with Mice – Luca Cardelli, Rob Pike - 1985