The following pages link to Subtyping, Declaratively (Q3575268):
Displaying 10 items.
- Coalgebras in functional programming and type theory (Q639643) (← links)
- The subtyping problem for second-order types is undecidable. (Q1400717) (← links)
- Undecidability of equality for codata types (Q1798783) (← links)
- A Mechanized Theory of Regular Trees in Dependent Type Theory (Q2945653) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
- Bisimulations Generated from Corecursive Equations (Q3178257) (← links)
- (Q5089035) (← links)
- Indexed containers (Q5371943) (← links)
- Theoretical Computer Science (Q5395063) (← links)
- Compositional Coinduction with Sized Types (Q5739446) (← links)