The following pages link to Wouter Swierstra (Q1791196):
Displaying 18 items.
- Verified timing transformations in synchronous circuits with \(\lambda\pi\)-Ware (Q1791197) (← links)
- More dependent types for distributed arrays (Q1929345) (← links)
- Translation certification for smart contracts (Q2163161) (← links)
- From Proposition to Program (Q2798255) (← links)
- Sorted (Q2913925) (← links)
- Attribute grammars fly first-class (Q2936823) (← links)
- Auto in Agda (Q2941181) (← links)
- A Tutorial Implementation of a Dependently Typed Lambda Calculus (Q3002481) (← links)
- A Hoare Logic for the State Monad (Q3183544) (← links)
- Data types à la carte (Q3520165) (← links)
- (Q4580232) (← links)
- (Q5020618) (← links)
- A well-known representation of monoids and its application to the function ‘vector reverse’ (Q5101924) (← links)
- Heterogeneous binary random-access lists (Q5110935) (← links)
- The power of Pi (Q5178754) (← links)
- A library for polymorphic dynamic typing (Q5398333) (← links)
- (Q5854732) (← links)
- A correct-by-construction conversion from lambda calculus to combinatory logic (Q6065511) (← links)
