ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
34
views
0
references
Top references
cited by
50
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
865
similar
All similar
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Definitional interpreters for higher-order programming languages
proceedings-article
Author(s):
John C. Reynolds
Publication date
(Print):
1972
Conference name:
the ACM annual conference (ACM '72)
Conference date:
September 01, 1972 - September 01, 1972
Read this article at
ScienceOpen
Publisher
Review
Review article
Invite someone to review
Bookmark
Cite as...
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Smart Contracts Programming Languages
Author and article information
Conference
Publication date (Print):
1972
Pages
: 717-740
Article
DOI:
10.1145/800194.805852
SO-VID:
4fcae6f7-c2f7-4ca3-899a-14b2d1eeef6b
Copyright ©
© 1972
Conference name:
the ACM annual conference
Conference acronym:
ACM '72
Conference location:
Boston, Massachusetts, United States
Conference date:
September 01, 1972 - September 01, 1972
Conference sponsor:
ACM, Association for Computing Machinery
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
865
Higher-Order Structural Analysis of a Transparent and Flexible High Thermal Conductive Liquid Crystalline Elastomer Sheet and Its Composite
Authors:
Yoshitaka Takezawa
,
Naoki Furukawa
,
Senguttuvan Nachimuthu
…
Empirical support for higher-order theories of conscious awareness.
Authors:
Hakwan C. Lau
,
David Rosenthal
A Scheme for Defining Partial Higher-Order Functions by Recursion
Authors:
William M. Farmer
See all similar
Cited by
50
A syntactic theory of sequential control
Authors:
Daniel Friedman
,
Eugene Kohlbecker
,
Bruce Duba
…
Reasoning about programs in continuation-passing style
Authors:
AMR Sabry
,
Matthias Felleisen
Links: Web Programming Without Tiers
Authors:
Ezra Cooper
,
Sam Lindley
,
Philip Wadler
…
See all cited by