Items where Author is "Brady, Edwin С."
Up a level |
Group by: Qualification Level | No Grouping
Jump to: Doctoral
Number of theses: 1.
Doctoral
Brady, Edwin С. (2005) Practical implementation of a dependently typed functional programming language. Doctoral thesis, Durham University.