Representing Monads (1994)

Cached

Download Links

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

Active Bibliography

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