Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Fluet, Matthew - Department of Computer Engineering , Rochester Institute of Technology
Monadic Regions [Extended Abstract]
PHANTOM TYPES AND SUBTYPING Matthew Fluet and Riccardo Pucella
JFP 18 (5 & 6): 649706, 2008. c 2008 Cambridge University Press doi:10.1017/S0956796808006916 Printed in the United Kingdom
MONADIC AND SUBSTRUCTURAL TYPE SYSTEMS FOR REGION-BASED MEMORY MANAGEMENT
Monadic Regions: Formal Type Soundness and Correctness Matthew Fluet
Under consideration for publication in J. Functional Programming 1 Monadic Regions
Under consideration for publication in J. Functional Programming 1 Phantom Types and Subtyping
ML 2005 Preliminary Version Practical Datatype Specializations with
: A Linear Language with Locations Greg Morrisett1
Monadic Regions Matthew Fluet
Contification Using Dominators Matthew Fluet
MONADIC AND SUBSTRUCTURAL TYPE SYSTEMS FOR REGION-BASED MEMORY MANAGEMENT
Implementation and Performance Evaluation of a Safe Runtime System in Cyclone
Transactional Events Kevin Donnelly
Searching for Optimal Strategies in Knock 'm Down Matthew T. Fluet
