An efficient interpreter for the lambda-calculus (Q1158139): Difference between revisions

@@ Property / author @@
-Luigia Carlucci Aiello
@@ Property / author: Luigia Carlucci Aiello / rank @@
-Normal rank
@@ Property / author @@
+Luigia Carlucci Aiello
@@ Property / author: Luigia Carlucci Aiello / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LCF
@@ Property / describes a project that uses: LCF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MAGMA-Lisp
@@ Property / describes a project that uses: MAGMA-Lisp / 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/0022-0000(81)90073-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2072331159
@@ Property / OpenAlex ID: W2072331159 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139712
@@ Property / cites work: Q4139712 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4162629
@@ Property / cites work: Q4162629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859241
@@ Property / cites work: Q3859241 / rank @@
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+A partial evaluator, and its use as a programming tool
+Normal rank
@@ Property / cites work @@
+A CUCH-machine: The automatic treatment of bound variables
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911367
@@ Property / cites work: Q3911367 / rank @@
+Normal rank
@@ Property / cites work @@
+A simple formulation for two-dimensional contact problems using a moving friction cone
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051641
@@ Property / cites work: Q4051641 / rank @@
+Normal rank
@@ Property / cites work @@
+Stack implementation of shallow binding in languages with mixed scoping
+Normal rank
@@ Property / cites work @@
+Prolegomena to a theory of mechanized formal reasoning
+Normal rank