Edwin Charles Brady

Accepting Postgraduate Research Students

PhD projects

Types; programming languages; DSLs; verification; compilers; theorem proving; functional programming; program generation; dependent types

Filter

Lambda World
Brady, E. C. (Speaker)
1 Oct 2016
Activity: Talk or presentation types › Presentation
Strange Loop
Brady, E. C. (Speaker)
23 Sept 2015
Activity: Talk or presentation types › Presentation
Scala World
Brady, E. C. (Speaker)
Sept 2015
Activity: Talk or presentation types › Presentation
Kats Conf
Brady, E. C. (Speaker)
Sept 2015
Activity: Talk or presentation types › Presentation
flatMap
Brady, E. C. (Speaker)
Apr 2015
Activity: Talk or presentation types › Presentation
Lambda Days
Brady, E. C. (Speaker)
Feb 2015
Activity: Talk or presentation types › Presentation
Code Mesh
Brady, E. C. (Speaker)
4 Nov 2014
Activity: Talk or presentation types › Presentation
Commercial Users of Functional Programming
Brady, E. C. (Speaker)
4 Sept 2014
Activity: Talk or presentation types › Presentation

Activities