Representing Monads (1994)

Cached

Download Links

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

Active Bibliography

Distributed Prototyping from Validated Specifications – unknown authors
Simulation Based Performance Analysis in Design/CPN – Bo Lindstrøm, Lisa Wells - 1998
The Semantics of Pcall and Fork in the Presence of First-Class Continuations and Side-Effects – Luc Moreau, Daniel Ribbens - 1995
Note on Conditional Compilation in Standard ML – Nicholas Haines Edoardo, Nicholas Haines, Edoardo Biagioni, Robert Harper, Brian G. Milnes - 1993
Sequence Types for Functional Languages – Edoardo Biagioni August - 1995
Type Theory for Programming Languages – Robert Harper - 1994
The Machine-Assisted Proof Of Programming Language Properties – Carl Gunter, Peter Buneman, Myra Vaninwegen, Myra Vaninwegen, Advisor Carl Gunter - 1996
An Approach to the Integration of Overlapping Rules in Standard ML – Riccardo Pucella
Higher-Order Concurrent Win32 Programming – Riccardo Pucella - 1999
ML Partial Evaluation using Set-Based Analysis – Karoline Malmkjaer Aarhus, Nevin Heintze, Olivier Danvy - 1994
An Approach to the Implementation of Overlapping Rules in Standard ML – Riccardo Pucella - 2000
Calculus Af2@ – Ae Ahxz Svaf
CM - The SML/NJ Compilation and Library Manager - User Manual – Matthias Blume - 2002
CMB: The SML/NJ Bootstrap Compiler (for SML/NJ version 110.35 and later) User Manual – Matthias Blume - 2001
Nimble Computer Corporation 1 – Cons Should Not
Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States – Jonathan Billington, Guy Edward Gallasch, Guy Edward, Gallasch Lars, Lars Michael Kristensen, Thomas Mailund - 2004
9 Hierarchical Modularity And Intermodule Optimization – Matthias Blume - 1997
2 Mixin modules, modules and extended value binding in a call-by-value setting – Tom Hirschowitz - 2003
3 Typed Intermediate Representations for Compiling Object-Oriented Languages – Joseph C. Vanderwaart - 1999
3 Verifying a Self-Timed Divider – Tarik Ono-tesfaye, Christoph Kern, Mark R. Greenstreet - 1998