Programming in the λ-Calculus: From Church to Scott and Back (Q5410454): Difference between revisions

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / 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.1007/978-3-642-40355-2_12
+Normal rank
@@ Property / OpenAlex ID @@
+W144693796
@@ Property / OpenAlex ID: W144693796 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+The Impact of the Lambda Calculus in Logic and Computer Science
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+THEORETICAL PEARL Church numerals, twice!
@@ Property / cites work: THEORETICAL PEARL Church numerals, twice! / rank @@
+Normal rank
@@ Property / cites work @@
+The next 700 programming languages
@@ Property / cites work: The next 700 programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient self-interpretation in lambda calculus
@@ Property / cites work: Efficient self-interpretation in lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Typed representation of objects by functions
@@ Property / cites work: Typed representation of objects by functions / rank @@
+Normal rank
@@ Property / cites work @@
+Directly reflective meta-programming
@@ Property / cites work: Directly reflective meta-programming / rank @@
+Normal rank
@@ Property / cites work @@
+A new implementation technique for applicative languages
+Normal rank
@@ Property / DBLP publication ID @@
+conf/birthday/Jansen13
@@ Property / DBLP publication ID: conf/birthday/Jansen13 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5410454