Pierre-Evariste Dagand
Original record- Institution
- University of Strathclyde
- Year
- 2013
- Country
- United Kingdom
- MGP identifier
- 237590
Dissertation: A cosmology of datatypes: reusability and dependent types
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Conor McBrideThe University of Edinburgh · 1999
Students 0
No students recorded in this snapshot.