Polymorphic effect systems (1988)

Cached

Download Links

by John M. Lucassen , David K. Gifford
Venue:In Principles of Programming Languages (POPL
Citations:238 - 2 self

Documents Related by Co-Citation

195 Islands: aliasing protection in object-oriented languages. 6th OOPSLA – J Hogg - 1991
77 Towards Alias-Free Pointers – Naftaly Minsky - 1996
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
117 The Geneva Convention -- On The Treatment of Object Aliasing – John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, Richard Holt - 1992
362 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
557 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
939 A theory of type polymorphism in programming – Robin Milner - 1978
258 Classes and Mixins – Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen - 1998
30 Polymorphic eect systems – J M Lucassen, D K Giord - 1988
125 Balloon Types: Controlling Sharing of State in Data Types – Paulo Sérgio Almeida - 1997
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
172 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
121 Polymorphic Type, Region and Effect Inference – Jean-Pierre Talpin, Pierre Jouvelot - 1991
113 Types for safe locking – Cormac Flanagan - 1999
283 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
25 Values and objects in programming languages – B. J. Maclennan - 1982
7 Value types in Eiffel – Stuart Kent, John Howse - 1996