The following pages link to Codatatypes in ML (Q908682):
Displayed 5 items.
- Strong categorical datatypes II: A term logic for categorical programming (Q673963) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- Undecidability of equality for codata types (Q1798783) (← links)
- Coalgebras as Types Determined by Their Elimination Rules (Q5253935) (← links)
- Interactive programming in Agda – Objects and graphical user interfaces (Q5372002) (← links)