Modular, higher order cardinality analysis in theory and practice (Q5372006): Difference between revisions

@@ Property / author @@
-Simon L. Peyton Jones
@@ Property / author: Simon L. Peyton Jones / rank @@
-Normal rank
@@ Property / author @@
+Simon L. Peyton Jones
@@ Property / author: Simon L. Peyton Jones / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+nofib
@@ Property / describes a project that uses: nofib / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5284548
@@ Property / cites work: Q5284548 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842966
@@ Property / cites work: Q4842966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3026315
@@ Property / cites work: Q3026315 / rank @@
+Normal rank
@@ Property / cites work @@
+A type based sharing analysis for update avoidance and optimisation
+Normal rank
@@ Property / cites work @@
+Q2763385
@@ Property / cites work: Q2763385 / rank @@
+Normal rank
@@ Property / cites work @@
+A generic usage analysis with subeffect qualifiers
+Normal rank
@@ Property / cites work @@
+Q3130262
@@ Property / cites work: Q3130262 / rank @@
+Normal rank
@@ Property / cites work @@
+Making ``stricterness'' more relevant
@@ Property / cites work: Making ``stricterness'' more relevant / rank @@
+Normal rank
@@ Property / cites work @@
+Tail recursion without space leaks
@@ Property / cites work: Tail recursion without space leaks / rank @@
+Normal rank
@@ Property / cites work @@
+Making a fast curry: push/enter vs. eval/apply for higher-order languages
+Normal rank
@@ Property / cites work @@
+Improving flow analyses via ΓCFA
@@ Property / cites work: Improving flow analyses via ΓCFA / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
+Normal rank
@@ Property / cites work @@
+A transformation-based optimiser for Haskell
@@ Property / cites work: A transformation-based optimiser for Haskell / rank @@
+Normal rank
@@ Property / cites work @@
+Modular, higher-order cardinality analysis in theory and practice
+Normal rank
@@ Property / cites work @@
+Deriving a lazy abstract machine
@@ Property / cites work: Deriving a lazy abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Operational interpretations of linear logic
@@ Property / cites work: Operational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Abstracting abstract machines
@@ Property / cites work: Abstracting abstract machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028326
@@ Property / cites work: Q3028326 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796817000016
+Normal rank
@@ Property / OpenAlex ID @@
+W2573436692
@@ Property / OpenAlex ID: W2573436692 / rank @@
+Normal rank