The Type and Effect Discipline (1992)

Cached

Download Links

by Jean-Pierre Talpin , Pierre Jouvelot
Venue:Information and Computation
Citations:152 - 3 self

Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
110 Type inference for polymorphic references – M Tofte - 1990
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
939 A theory of type polymorphism in programming – Robin Milner - 1978
94 Type assignment in programming languages – L Damas - 1985
26 Typing References by Effect Inference – Andrew Wright - 1992
49 Polymorphic Type Inference and Assignment – Xavier Leroy, Pierre Weis, Inria Rocquencourt - 1991
234 Principal type schemes for functional programs – R Milner - 1982
238 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
92 Operational Semantics and Polymorphic Type Inference – Mads Tofte - 1988
86 Integrating functional and imperative programming – David K Gifford, John M Lucassen - 1986
126 Higher-order Concurrency – John Hamilton Reppy - 1992
77 Co-induction in relational semantics – R Milner, M Tofte - 1991
9 Standard ML Weak Polymorphism Can Be Sound – John Greiner - 1993
11 Standard ML-NJ weak polymorphism and imperative constructs – John Mitchell, Ramesh Viswanathan - 1996
94 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
22 Typage polymorphe d'un langage algorithmique. Doctoral dissertation (in – X Leroy - 1992