Specialisation of Higher-Order Functions for Debugging (Q2841302): Difference between revisions

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Type-driven defunctionalization
@@ Property / cites work: Type-driven defunctionalization / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763389
@@ Property / cites work: Q2763389 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
+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 / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)80355-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2013409952
@@ Property / OpenAlex ID: W2013409952 / rank @@
+Normal rank