See this document in CiteSeerX!

Programming with Regions in the ML Kit (for Version 4) (2001)  (Make Corrections)  
Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld Olesen, Peter Sestoft



  Home/Search   Context   Related

 
View or download:
itc.dk/~birkedal/paper...prorml4.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  itc.dk/~birkedal/papers/index (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: this report, we equip Standard ML with a di erent memory management discipline, namely a region-based memory model. Like the stack discipline, the region discipline is, in essence, simple and platform-independent. Unlike the traditional stack discipline, however, the region discipline also applies to recursive data types, references, and higher-order functions, for which one has hitherto mostly used reference tracing garbage collection techniques. The reader we have in mind is a person with a... (Update)

Similar documents based on text:   More   All
0.8:   Programming with Regions in the ML Kit - Tofte, al. (1998)   (Correct)
0.6:   The Amber Machine - Cardelli (1986)   (Correct)
0.6:   A Simple Approach To Supporting Untagged Objects In.. - Bigot, Debray   (Correct)

BibTeX entry:   (Update)

@misc{ tofte-programming,
  author = "Mads Tofte and Lars Birkedal and Martin Elsman and Niels Hallenberg and
    Tommy Højfeld Olesen and Peter Sestoft",
  title = "Programming with Regions in the ML Kit (for Version 4)",
  url = "citeseer.ist.psu.edu/article/tofte01programming.html" }
Citations not processed or no citations identified.

Documents on the same site (http://www.it-c.dk/~birkedal/papers/index.html):
Equilogical Spaces - Bauer, Birkedal, Scott (1998)   (Correct)
Relative and Modified Relative Realizability - Birkedal, van Oosten (2001)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC