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
32
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
604
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
Further versions
oa repository (via OAI-PMH title and first author match)
Powered by
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
604
Information propagation in multilayer systems with higher-order interactions across timescales
Authors:
Giorgio Nicoletti
,
Daniel Maria Busiello
Efficient optimization with higher-order Ising machines
Authors:
Distributed H ∞ consensus of higher order multiagent systems with switching topologies
Authors:
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