Type structure for low-level programming languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1644 LNCS, Issue , 1999, Pages 40-54

  Crary, Karl ^a   Morrisett, Greg ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY;

ASSEMBLY LANGUAGE; LOW LEVEL PROGRAMMING; LOW-LEVEL PROGRAMS; TYPE STRUCTURES; TYPE SYSTEMS;

PROGRAM COMPILERS;

EID: 84887495476     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48523-6_4     Document Type: Conference Paper

References (18)

1. Kim B. Bruce, Luca Cardelli, and Benjamin C. Pierce. Comparing object encodings. In Theoretical Aspects of Computer Software, Sendai, Japan, September 1997.
2. Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type-erasure semantics. In 1998 ACM International Conference on Functional Programming, pages 301-312, Baltimore, September 1998. Extended version published as Cornell University technical report TR98-1721.
3. M.J. Fischer. Lambda calculus schemata. In ACM Conference on Proving Assertions About Programs, SIGPLAN Notices 7(1), pages 104-109, 1972.
4. Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1-102, 1987.
5. Robert Harper and Mark Lillibridge. Explicit polymorphism and CPS conversion. In Twentieth ACM Symposium on Principles of Programming Languages, pages 206-219, January 1993.
6. Robert Harper and Greg Morrisett. Compiling polymorphism using intensional type analysis. In Twenty-Second ACM Symposium on Principles of Programming Languages, pages 130-141, San Francisco, January 1995.
7. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). The MIT Press, Cambridge, Massachusetts, 1997.
8. Yasuhiko Minamide, Greg Morrisett, and Robert Harper. Typed closure conversion. In Twenty-Third ACM Symposium on Principles of Programming Languages, pages 271-283, St. Petersburg, Florida, January 1996.
9. John C. Mitchell and Gordon D. Plotkin. Abstract types have existential type. ACM Transactions on Programming Languages and Systems, 10(3):470-502, July 1988.
10. Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, DavidWalker, StephanieWeirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In Second Workshop on Compiler Support for System Software, Atlanta, May 1999. To appear.
11. Greg Morrisett, Karl Crary, Neal Glew, and David Walker. Stack-based typed assembly language. In Second Workshop on Types in Compilation, volume 1473 of Lecture Notes in Computer Science. Springer-Verlag, March 1998. Extended version published as CMU technical report CMU-CS-98-178.
12. Greg Morrisett, Matthias Felleisen, and Robert Harper. Abstract models of memory management. In Conference on Functional Programming Languages and Computer Architecture, pages 66-77, La Jolla, California, June 1995.
13. Greg Morrisett and Robert Harper. Semantics of memory management for polymorphic languages. In A. D. Gordon and A. M. Pitts, editors, Higher Order Operational Techniques in Semantics. Cambridge University Press, 1997.
14. Greg Morrisett, DavidWalker, Karl Crary, and Neal Glew. From System F to typed assembly language. ACM Transactions on Programming Languages and Systems, 1999. To appear. An earlier version appeared in 1998 Symposium on Principles of Programming Languages.
15. John C. Reynolds. Definitional interpreters for higher-order programming languages. In Conference Record of the 25th National ACM Conference, pages 717-740, Boston, August 1972.
16. John C. Reynolds. Syntactic control of interference. In Fifth ACM Symposium on Principles of Programming Languages, pages 39-46, Tucson, Arizona, 1978.
17. Philip Wadler. Linear types can change the world! In IFIP Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, April 1990. NorthHolland.
18. Philip Wadler. A taste of linear logic. In Mathematical Foundations of Computer Science, volume 711 of Lecture Notes in Computer Science. Springer-Verlag, 1993.