From operational semantics to abstract machines (Q4279254): Difference between revisions

@@ Property / author @@
+John Hannan
@@ Property / author: John Hannan / rank @@
+Normal rank
@@ Property / author @@
+Dale A. Miller
@@ Property / author: Dale A. Miller / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Two-level semantics and code generation
@@ Property / cites work: Two-level semantics and code generation / rank @@
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+The categorical abstract machine
@@ Property / cites work: The categorical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Q3886868
@@ Property / cites work: Q3886868 / rank @@
+Normal rank
@@ Property / cites work @@
+The Mechanical Evaluation of Expressions
@@ Property / cites work: The Mechanical Evaluation of Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving Target Code as a Representation of Continuation Semantics
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129500001559
+Normal rank
@@ Property / OpenAlex ID @@
+W2104890704
@@ Property / OpenAlex ID: W2104890704 / rank @@
+Normal rank