Functional Semantics (Q5410451): Difference between revisions

@@ Property / describes a project that uses @@
+Miranda
@@ Property / describes a project that uses: Miranda / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CLEAN
@@ Property / describes a project that uses: CLEAN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+iTasks
@@ Property / describes a project that uses: iTasks / 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_6
+Normal rank
@@ Property / OpenAlex ID @@
+W2912081984
@@ Property / OpenAlex ID: W2912081984 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations for structured programming with GADTs
@@ Property / cites work: Foundations for structured programming with GADTs / 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 @@
+Q4023828
@@ Property / cites work: Q4023828 / rank @@
+Normal rank
@@ Property / cites work @@
+Definitional interpreters for higher-order programming languages
+Normal rank
@@ Property / cites work @@
+Data types à la carte
@@ Property / cites work: Data types à la carte / rank @@
+Normal rank
@@ Property / cites work @@
+Extensible pattern matching via a lightweight language extension
+Normal rank
@@ Property / cites work @@
+A new implementation technique for applicative languages
+Normal rank
@@ Property / cites work @@
+Q3721784
@@ Property / cites work: Q3721784 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensible algebraic datatypes with defaults
@@ Property / cites work: Extensible algebraic datatypes with defaults / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5410451