From natural semantics to C: A formal derivation of two STG machines (Q5302645): Difference between revisions

@@ Property / cites work @@
+A transformation-based optimiser for Haskell
@@ Property / cites work: A transformation-based optimiser for Haskell / rank @@
+Normal rank
@@ Property / cites work @@
+Secrets of the Glasgow Haskell Compiler  inliner
@@ Property / cites work: Secrets of the Glasgow Haskell Compiler inliner / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
+Normal rank
@@ Property / cites work @@
+Making a fast curry: push/enter vs. eval/apply for higher-order languages
+Normal rank
@@ Property / cites work @@
+Nominal unification
@@ Property / cites work: Nominal unification / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving a lazy abstract machine
@@ Property / cites work: Deriving a lazy abstract machine / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796808006746
+Normal rank
@@ Property / OpenAlex ID @@
+W2125519268
@@ Property / OpenAlex ID: W2125519268 / rank @@
+Normal rank