Edwin Brady | Lambda the Ultimate

Edwin Brady

view
track

Personal information

Country:
UK

Gender:
male

Biography:

Computer Science Lecturer, Idris implementer

Interests:

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

History

Member for:
22 years 2 weeks