DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Mads Tofte
Mads Tofte
Four Lectures on Standard ML
Understanding and Evolving the ML Module System
Lecture Notes in Computer Science 2566 Edited by G
A Simpli Ed Account of Polymorphic References 1 Introduction 2 a Language with Mutable Data Structures
The Definition of Standard ML, Revised
Implementation of the Typed Call-By-Value Λ-Calculus Using a Stack of Regions
Tips for Computer Scientists Standard ML (Revised)
A Retrospective on Region-Based Memory Management
A Region Inference Algorithm