The following pages link to Ulf Norell (Q3183519):
Displaying 5 items.
- A Brief Overview of Agda – A Functional Language with Dependent Types (Q3183520) (← links)
- Dependently Typed Programming in Agda (Q3649136) (← links)
- Mathematics of Program Construction (Q5313092) (← links)
- Implementation of Functional Languages (Q5466584) (← links)
- Frontiers of Combining Systems (Q5491905) (← links)
