The following pages link to The view from the left (Q4819653):
Displaying 14 items.
- Trace-based verification of imperative programs with I/O (Q617977) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Dependently typed array programs don't go wrong (Q843222) (← links)
- A principled approach to programming with nested types in Haskell (Q848745) (← links)
- A computer-verified monadic functional implementation of the integral (Q987984) (← links)
- Strongly typed term representations in Coq (Q2392480) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- Containers: Constructing strictly positive types (Q2566024) (← links)
- Proofs for free (Q2844694) (← links)
- Constructive Membership Predicates as Index Types (Q2866329) (← links)
- Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract) (Q2888481) (← links)
- A unified treatment of syntax with binders (Q3165528) (← links)
- Hoare type theory, polymorphism and separation (Q3546051) (← links)
- Propositional forms of judgemental interpretations (Q6053842) (← links)
