From principles to programming languages (and back)
Abstract
No abstract available.
Supplementary Material
Index Terms
- From principles to programming languages (and back)
Recommendations
From principles to programming languages (and back)
POPL '13: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languagesDefinitional 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

- January 2013586 pages
Copyright © 2013 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 23 January 2013
Published in SIGPLAN Volume 48, Issue 1
Check for updates
Author Tags
Qualifiers
- Keynote
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 769Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)0
Reflects downloads up to 19 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in