DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» SECD machine
SECD machine
Biorthogonality, Step-Indexing and Compiler Correctness
Forms of Semantic Speci Cation
A Rational Deconstruction of Landin's SECD Machine
From Interpreter to Compiler and Virtual Machine: a Functional Derivation Basic Research in Computer Science
An Introduction to Landin's “A Generalization of Jumps and Labels”
Foundations of Functional Programming
Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation
Abstract Λ-Calculus Machines
Lambda and Pi Calculi, CAM and SECD Machines
Programming Languages and Lambda Calculi (Utah CS7520 Version)
Implementing Functional Languages with Abstract Machines
Closure (Computer Programming) - Wikipedia, the Free Encyclopedia
Deriving the Full-Reducing Krivine Machine from the Small-Step Operational Semantics of Normal Order *
A Survey of Functional Programming Language Rinciples
Arxiv:1806.03205V3 [Cs.LO] 2 Jan 2019 Forms (Λx.S)(Λy.T) and (Λx.S)Y
Writing a Mini-Lisp Compiler
Functional Programming Languages Execution Models for A
A Rational Deconstruction of Landin's SECD Machine
Top View
The Call-By-Value Lambda-Calculus, the SECD Machine, and the Pi-Calculus
The Mechanical Evaluation of Expressions – Peter J
An Introduction to Operational Semantics and Abstract Machines
SECD Machine - Wikipedia
A Brief Survey of Abstract Machines for Functional Programming Languages
A Lambda-Revelation of the SECD Machine Basic Research in Computer Science
A Rational Deconstruction of Landin's Secd Machine With
The Lambda Calculus
The Next 700 Krivine Machines
A Functional Correspondence Between Evaluators and Abstract Machines Basic Research in Computer Science
Abstract Machines
From Operational Semantics to Abstract Machines
Note Sequences