A functional correspondence between monadic evaluators and abstract machines for languages with computational effects (Q2566031): Difference between revisions

@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SAFKASI
@@ Property / describes a project that uses: SAFKASI / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2005.06.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2113098044
@@ Property / OpenAlex ID: W2113098044 / rank @@
+Normal rank
@@ Property / cites work @@
+A functional correspondence between call-by-need evaluators and lazy abstract machines
+Normal rank
@@ Property / cites work @@
+A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
+Normal rank
@@ Property / cites work @@
+Q4813222
@@ Property / cites work: Q4813222 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Based Program Synthesis and Transformation
@@ Property / cites work: Logic Based Program Synthesis and Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417880
@@ Property / cites work: Q4417880 / rank @@
+Normal rank
@@ Property / cites work @@
+A Rational Deconstruction of Landin’s SECD Machine
+Normal rank
@@ Property / cites work @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+Q3372478
@@ Property / cites work: Q3372478 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4510397
@@ Property / cites work: Q4510397 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736592
@@ Property / cites work: Q2736592 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3685171
@@ Property / cites work: Q3685171 / 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 @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Lisp in Small Pieces
@@ Property / cites work: Lisp in Small Pieces / rank @@
+Normal rank
@@ Property / cites work @@
+Definitional interpreters for higher-order programming languages
+Normal rank
@@ Property / cites work @@
+Fundamental concepts in programming languages
@@ Property / cites work: Fundamental concepts in programming languages / rank @@
+Normal rank