Documents Related by Co-Citation

238 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
121 Polymorphic Type, Region and Effect Inference – Jean-Pierre Talpin, Pierre Jouvelot - 1991
58 Types and Effects: Towards the Integration of Functional and Imperative Programming – M Lucassen - 1987
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
939 A theory of type polymorphism in programming – Robin Milner - 1978
49 Polymorphic Type Inference and Assignment – Xavier Leroy, Pierre Weis, Inria Rocquencourt - 1991
234 Principal type schemes for functional programs – R Milner - 1982
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
92 Operational Semantics and Polymorphic Type Inference – Mads Tofte - 1988
94 Type assignment in programming languages – L Damas - 1985
21 Algebraic reconstruction of types and e#ects – P Jouvelot, D Gifford - 1991
283 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
94 The De nition of Standard ML – Robin Milner, Mads Tofte, David Macqueen - 1997
625 Compiling With Continuations – A W Appel - 1992
67 A Semantic Model of Reference Counting and its Abstraction – Paul Hudak - 1986
110 Type inference for polymorphic references – M Tofte - 1990
367 ML for the Working Programmer – Laurence C Paulson - 1991
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
92 Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages – Alexander Aiken, Manuel Fähndrich, Raph Levien - 1995