C--: A Portable Assembly Language That Supports Garbage Collection (1999)

by Simon Peyton Jones , Norman Ramsey , Fermin Reig
Venue:IN INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING
Citations:70 - 22 self

Documents Related by Co-Citation

51 Single Intermediate Language That Supports Multiple Implementations of Exceptions – Norman Ramsey, Simon Peyton Jones - 2000
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1165 Proof-Carrying Code – George C. Necula - 1997
885 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991
634 Compiling with Continuations – A Appel - 1992
1006 Term Rewriting and All That – F Baader, T Nipkow - 1998
985 A theory of type polymorphism in programming – Robin Milner - 1978
635 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D B MacQueen - 1997
561 The implementation of functional programming languages – S L Peyton Jones - 1987