A family of syntactic logical relations for the semantics of Haskell-like languages (Q1012131): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2007.11.009
@@ Property / DOI: 10.1016/j.ic.2007.11.009 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2131167088
@@ Property / OpenAlex ID: W2131167088 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002146
@@ Property / cites work: Q4002146 / rank @@
+Normal rank
@@ Property / cites work @@
+Typer inference builds a short cut to deforestation
+Normal rank
@@ Property / cites work @@
+Syntactic Logical Relations for Polymorphic and Recursive Types
+Normal rank
@@ Property / cites work @@
+Proof Tool Support for Explicit Strictness
@@ Property / cites work: Proof Tool Support for Explicit Strictness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068706
@@ Property / cites work: Q4068706 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic augment and generalised short cut fusion
@@ Property / cites work: Monadic augment and generalised short cut fusion / rank @@
+Normal rank
@@ Property / cites work @@
+Short cut fusion is correct
@@ Property / cites work: Short cut fusion is correct / rank @@
+Normal rank
@@ Property / cites work @@
+Free theorems in the presence of             <i>seq</i>
@@ Property / cites work: Free theorems in the presence of <i>seq</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472909
@@ Property / cites work: Q5472909 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism
+Normal rank
@@ Property / cites work @@
+Q4499187
@@ Property / cites work: Q4499187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric polymorphism and operational equivalence
+Normal rank
@@ Property / cites work @@
+Q5713333
@@ Property / cites work: Q5713333 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental concepts in programming languages
@@ Property / cites work: Fundamental concepts in programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Shortcut fusion for accumulating parameters &amp; zip-like functions
+Normal rank
@@ Property / cites work @@
+Concatenate, reverse and map vanish for free
@@ Property / cites work: Concatenate, reverse and map vanish for free / rank @@
+Normal rank
@@ Property / cites work @@
+Selective strictness and parametricity in structural operational semantics, inequationally
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2007.11.009
@@ Property / DOI: 10.1016/J.IC.2007.11.009 / rank @@
+Normal rank