Observational program calculi and the correctness of translations (Q2339472): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2015.02.027
@@ Property / DOI: 10.1016/j.tcs.2015.02.027 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2015.02.027
+Normal rank
@@ Property / OpenAlex ID @@
+W2162146115
@@ Property / OpenAlex ID: W2162146115 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction in the lazy lambda calculus
@@ Property / cites work: Full abstraction in the lazy lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Typed closure conversion preserves observational equivalence
+Normal rank
@@ Property / cites work @@
+An equivalence-preserving CPS translation via multi-language semantics
+Normal rank
@@ Property / cites work @@
+State-dependent representation independence
@@ Property / cites work: State-dependent representation independence / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912568
@@ Property / cites work: Q3912568 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Biorthogonality, step-indexing and compiler correctness
+Normal rank
@@ Property / cites work @@
+On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+A verified compiler for an impure functional language
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of programming languages
@@ Property / cites work: On the expressive power of programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Formal foundations of operational semantics
@@ Property / cites work: Formal foundations of operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract compilation to JavaScript
@@ Property / cites work: Fully abstract compilation to JavaScript / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilarity as a theory of functional programming
+Normal rank
@@ Property / cites work @@
+Proving congruence of bisimulation in functional programming languages
+Normal rank
@@ Property / cites work @@
+A kripke logical relation between ML and assembly
@@ Property / cites work: A kripke logical relation between ML and assembly / rank @@
+Normal rank
@@ Property / cites work @@
+The marriage of bisimulations and Kripke logical relations
+Normal rank
@@ Property / cites work @@
+Full Abstraction and the Context Lemma
@@ Property / cites work: Full Abstraction and the Context Lemma / rank @@
+Normal rank
@@ Property / cites work @@
+A non-deterministic call-by-need lambda calculus
@@ Property / cites work: A non-deterministic call-by-need lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+From operational semantics to domain theory
@@ Property / cites work: From operational semantics to domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038690
@@ Property / cites work: Q4038690 / rank @@
+Normal rank
@@ Property / cites work @@
+On abstraction and the expressive power of programming languages
+Normal rank
@@ Property / cites work @@
+Branching vs. Linear Time: Semantical Perspective
@@ Property / cites work: Branching vs. Linear Time: Semantical Perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
+Normal rank
@@ Property / cites work @@
+A concurrent lambda calculus with futures
@@ Property / cites work: A concurrent lambda calculus with futures / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric polymorphism and operational equivalence
+Normal rank
@@ Property / cites work @@
+Howe's method for higher-order languages
@@ Property / cites work: Howe's method for higher-order languages / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness of Program Transformations as a Termination Problem
+Normal rank
@@ Property / cites work @@
+Q3024852
@@ Property / cites work: Q3024852 / rank @@
+Normal rank
@@ Property / cites work @@
+A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
+Normal rank
@@ Property / cites work @@
+Conservative Concurrency in Haskell
@@ Property / cites work: Conservative Concurrency in Haskell / rank @@
+Normal rank
@@ Property / cites work @@
+A two-valued logic for properties of strict functional programs allowing partial functions
+Normal rank
@@ Property / cites work @@
+Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings
+Normal rank
@@ Property / cites work @@
+Closures of may-, should- and must-convergences for contextual equivalence
+Normal rank
@@ Property / cites work @@
+On generic context lemmas for higher-order calculi with sharing
+Normal rank
@@ Property / cites work @@
+Correctness of an STM Haskell implementation
@@ Property / cites work: Correctness of an STM Haskell implementation / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation in the call-by-need lambda-calculus with letrec
+Normal rank
@@ Property / cites work @@
+Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq
+Normal rank
@@ Property / cites work @@
+A bisimulation for type abstraction and recursion
@@ Property / cites work: A bisimulation for type abstraction and recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447225
@@ Property / cites work: Q4447225 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2015.02.027
@@ Property / DOI: 10.1016/J.TCS.2015.02.027 / rank @@
+Normal rank