Edwin Brady

Personal information


UK

male

Computer Science Lecturer, Idris implementer


Functional programming, language implementation, dependent types, type theory, DSLs

History


13 years 13 weeks