Information Technology University of Nottingham / /
IndustryTerm
software engineering / Dependent type systems / type systems / richer type systems / /
Organization
Dependent Types Conor McBride School of Computer Science / Computer Science and Information Technology University of Nottingham / /
Person
Nat / Peter Morris / Peter Hancock / James Chapman / Kent Petersson / Wouter Swierstra / Chris Okasaki / Sebastian Hanowski / Paul Callaghan / Jan Smith / James McKinna / Yves Bertot / Oege de Moor / Edwin Brady / Richard Bird / Tarmo Uustalu / Varmo Vene / Pierre Cast´eran / Thorsten Altenkirch / Randy Pollack / /
Position
integrated editor-typechecker-interpreter / tagless and total evaluator / Epigram editor / biologist / programmer / /
ProgrammingLanguage
Haskell / ML / /
ProvinceOrState
Epigram / /
PublishedMedium
the Epigram / Epigram / /
RadioStation
2 Warm / /
SportsEvent
us open / /
Technology
functional programming / Information Technology / ascii / /
Epigram: Practical Programming with Dependent Types Conor McBride