Selective strictness and parametricity in structural operational semantics, inequationally (Q2464947): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2061156817
@@ Property / OpenAlex ID: W2061156817 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Functorial polymorphism
@@ Property / cites work: Functorial polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852350
@@ Property / cites work: Q2852350 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast and loose reasoning is morally correct
@@ Property / cites work: Fast and loose reasoning is morally correct / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+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 @@
+A syntactic theory of sequential control
@@ Property / cites work: A syntactic theory of sequential control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068706
@@ Property / cites work: Q4068706 / 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 @@
+Monadic augment and generalised short cut fusion
@@ Property / cites work: Monadic augment and generalised short cut fusion / rank @@
+Normal rank
@@ Property / cites work @@
+Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
+Normal rank
@@ Property / cites work @@
+The logic of demand in Haskell
@@ Property / cites work: The logic of demand in Haskell / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of short-cut fusion and its correctness proof
+Normal rank
@@ Property / cites work @@
+Short cut fusion is correct
@@ Property / cites work: Short cut fusion is correct / rank @@
+Normal rank
@@ Property / cites work @@
+On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi
+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 @@
+Q2704324
@@ Property / cites work: Q2704324 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism
+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 @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Logical relations and the typed λ-calculus
@@ Property / cites work: Logical relations and the typed λ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Shortcut fusion for accumulating parameters &amp; zip-like functions
+Normal rank
@@ Property / cites work @@
+Algorithm + strategy = parallelism
@@ Property / cites work: Algorithm + strategy = parallelism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4705620
@@ Property / cites work: Q4705620 / rank @@
+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 @@
+Boxy types
@@ Property / cites work: Boxy types / rank @@
+Normal rank