Shall We Juggle, Coinductively?
No abstract available.
DOI 10.1007/978-3-642-35308-6_14
Related papers
- Modular Proof of Strong Normalization for the Calculus of Constructions JFP 1991
- Coinductive Big-Step Operational Semantics ESOP 2006
- Mixed Inductive/Coinductive Types and Strong Normalization APLAS 2007
- Coinductive Type Systems for Object-Oriented Languages ECOOP 2009
- Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics ECOOP 2012
- Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell Haskell 2022
- Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages ECOOP 2014
- A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While ESOP 2010