Structure and Properties of Traces for Functional Programs (Q2867898): Difference between revisions

@@ Property / describes a project that uses @@
+Hood
@@ Property / describes a project that uses: Hood / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Hat
@@ Property / describes a project that uses: Hat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Freja
@@ Property / describes a project that uses: Freja / rank @@
+Normal rank
@@ 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.1016/j.entcs.2006.10.032
+Normal rank
@@ Property / OpenAlex ID @@
+W2153842012
@@ Property / OpenAlex ID: W2153842012 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843929
@@ Property / cites work: Q2843929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222748
@@ Property / cites work: Q4222748 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763637
@@ Property / cites work: Q2763637 / rank @@
+Normal rank
@@ Property / cites work @@
+Typer inference builds a short cut to deforestation
+Normal rank
@@ Property / cites work @@
+Q2763389
@@ Property / cites work: Q2763389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763681
@@ Property / cites work: Q2763681 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimistic evaluation
@@ Property / cites work: Optimistic evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Structure and Properties of Traces for Functional Programs
+Normal rank
@@ Property / cites work @@
+Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
+Normal rank
@@ Property / cites work @@
+Essentials of Term Graph Rewriting
@@ Property / cites work: Essentials of Term Graph Rewriting / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2867898