Polymorphic effect systems (1988)

Cached

Download Links

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

Documents Related by Co-Citation

1637 The Java™ Language Specification – J Gosling, B Joy, G Steele - 1996
944 A theory of type polymorphism in programming – Robin Milner - 1978
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
568 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
363 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
191 Islands: aliasing protection in object-oriented languages – J HOGG - 1991
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
896 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
246 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund