See this document in CiteSeerX!

The Poly and ML System: Low Level Support  (Make Corrections)  
David C.J. Matthews 9 December 1987



  Home/Search   Context   Related

 
View or download:
dcs.ed.ac.uk/lfcsr...CS953354e.ps.gz
dcs.ed.ac.uk/home/...CS953354e.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  dcs.ed.ac.uk/lfcsreps/EXP...index (more)
(Enter author homepages)

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

Abstract: This document forms part of a set describing the Poly[2] and Standard ML[1] systems. It is concerned with the low-level part of the system and the interface to the outside world. In particular it describes the data structures used to represent various high-level objects, and the algorithms used in the garbage collector and other low-level routines. It is intended primarily for those interested in the details of the implementation or planning to implement their own compiler for Poly, ML or a... (Update)

Active bibliography (related documents):   More   All
0.2:   A Framework Based on Design Patterns for Providing.. - Kienzle, Romanovsky (2000)   (Correct)
0.2:   A Framework Based on Design Patterns for Providing.. - Kienzle, Romanovsky (2000)   (Correct)
0.2:   Persistence + Undoability = Transactions - Nettles, Wing   (Correct)

Similar documents based on text:   More   All
0.0:   Layered Representations for Vision and Video - Edward Adelson   (Correct)
0.0:   Partial Parsing via Finite-State Cascades - Abney (1996)   (Correct)
0.0:   The Low-Level Cognitive Processes Involved in the Visual Search.. - Hornof   (Correct)

BibTeX entry:   (Update)

@misc{ matthews-poly,
  author = "David Matthews",
  title = "The Poly and ML System: Low Level Support",
  url = "citeseer.ist.psu.edu/69828.html" }
Citations (may not include all citations):
30   The Standard ML Core Language (context) - Milner
10   SIGPLAN Notices (context) - Matthews, Manual - 1985
4   A Persistent Storage System for Poly and ML - Matthews - 1987
1   Computing Science Technical Report No (context) - Cardelli, Abstract

Documents on the same site (http://www.dcs.ed.ac.uk/lfcsreps/EXPORT/95/ECS-LFCS-95-335/index.html):   More
An Implementation of Standard ML in Poly - David Matthews (1986)   (Correct)
Static and Dynamic Type-Checking - Matthews (1989)   (Correct)
A Persistent Storage System for Poly and ML - David Matthews (1987)   (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