Representing Monads (1994)

View PDF

Download Links

by Andrzej Filinski
Venue:Proceedings of the Twenty-First Annual ACM Symposium on Principles of Programming Languages
Citations:143 - 3 self

Active Bibliography

618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
274 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
234 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
205 Reflections on Standard ML – David B. MacQueen - 1992
199 Dynamic Class Loading in the Java Virtual Machine – Sheng Liang, Gilad Bracha - 1998
178 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
157 Capriccio: Scalable Threads for Internet Services – Rob Von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric Brewer - 2003
155 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
147 Iterated Register Coalescing – Lal George - 1996
141 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994