Documents Related by Co-Citation

234 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
120 Polymorphic Type, Region and Effect Inference – Jean-Pierre Talpin, Pierre Jouvelot - 1991
935 A theory of type polymorphism in programming – Robin Milner - 1978
57 Types and Effects, towards the Integration of Functional and Imperative Programming – J M Lucassen - 1987
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
233 Principal type schemes for functional programs – L Damas, R Milner - 1982
1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
49 Polymorphic Type Inference and Assignment – Xavier Leroy, Pierre Weis, Inria Rocquencourt - 1991
620 Compiling with Continuations – Andrew W Appel - 1992
66 A Semantic Model of Reference Counting and its Abstraction – Paul Hudak - 1986
92 Operational Semantics and Polymorphic Type Inference – Mads Tofte - 1988
94 Type Assignment in Programming Languages – L M M Damas - 1984
89 Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages – Alexander Aiken, Manuel Fähndrich, Raph Levien - 1995
21 Algebraic reconstruction of types and e#ects – P Jouvelot, D Gifford - 1991
280 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
93 The De nition of Standard ML – R Milner, M Tofte, R Harper - 1990
1398 A Discipline of Programming – E W Dijkstra - 1976
252 A real-time garbage collector based on the lifetimes of objects – Henry Lieberman, Carl Hewitt, Danny Hillis - 1983
110 Type inference for polymorphic references – M Tofte - 1990