DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Krivine machine
Krivine machine
From Interpreter to Compiler and Virtual Machine: a Functional Derivation Basic Research in Computer Science
From Operational Semantics to Abstract Machines: Preliminary Results
A Systematic Study of Functional Language Implementations
Abstract Machines for Programming Language Implementation
A Study of Syntactic and Semantic Artifacts and Its Application to Lambda Definability, Strong Normalization, and Weak Normalization in the Presence of State
A Certified Extension of the Krivine Machine for a Call-By-Name Higher
Krivine Nets a Semantic Foundation for Distributed Execution
Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation
First Class Call Stacks: Exploring Head Reduction
Call-By-Name, Call-By-Value and Abstract Machines
Related Work
Deriving the Full-Reducing Krivine Machine from the Small-Step Operational Semantics of Normal Order *
Explaining the Lazy Krivine Machine Using Explicit Substitution and Addresses Frederic Lang
Arxiv:1806.03205V3 [Cs.LO] 2 Jan 2019 Forms (Λx.S)(Λy.T) and (Λx.S)Y
Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata Sylvain Salvati, Igor Walukiewicz
An Abstract Machine for Strong Call by Value 3 of Contexts, and It Subsumes As a Substrategy the Weak Right-To-Left Strategy of Accattoli Et Al.’S fireball Calculus
From Natural Semantics to Abstract Machines
The Next 700 Krivine Machines Rémi Douence, Pascal Fradet
Top View
The Next 700 Krivine Machines
From Operational Semantics to Abstract Machines
Environments and the Complexity of Abstract Machines. Beniamino Accattoli, Bruno Barras
Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata Sylvain Salvati, Igor Walukiewicz