Research in programming languages for composability, safety, and performance
Authors: 
Robert Harper and 
Peter LeeAuthors Info & Claims
Robert Harper and Peter LeeAuthors Info & ClaimsPages 195 - es
Abstract
No abstract available.
References
[1]
Biagioni, E., Harper, R., Lee, P., and Milnes, B., 1994. Signatures for a network protocol stack, Proceedings of the 1994 Conference on Lisp and Functional Programming, June, 1994.
[2]
Harper, R. and Lee, P., 1994. Advanced Languages for Systems Software: The Fox Project in 1994, Technical Report CMU-CS-FOX-94-01, School of Computer Science, Carnegie Mellon University, January, 1994.
[3]
Milner, R., Tofte, M., and Harper, R., 1990. The Definition of Standard ML, The MIT Press, Cambridge, 1990.
Index Terms
- Research in programming languages for composability, safety, and performance
Index terms have been assigned to the content through auto-classification.
Recommendations
Semantics of programming languages
A semantic specification of a programming language can be relevant for programmers to understand software written in the language, as well as for the implementers of a language to understand the intentions of its designers. In the early 1980s, Jan ...
Definitional Interpreters for Higher-Order Programming Languages
Higher-order programming languages (i.e., languages in which procedures or labels can occur as values) are usually defined by interpreters that are themselves written in a programming language based on the lambda calculus (i.e., an applicative language ...
Comments
Information & Contributors
Information
Published In
Copyright © 1996 ACM.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 December 1996
Published in CSUR Volume 28, Issue 4es
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 368Total Downloads
- Downloads (Last 12 months)16
- Downloads (Last 6 weeks)3
Other Metrics
Citations
View Options
View options
HTML Format
View this article in HTML Format.
HTML FormatGet Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in