Derek Dreyer

Independent Researcher, Max Planck Institute for Software Systems (MPI-SWS)

Head, Type Systems and Functional Programming Group

`The Innocent Eye Test' by Mark Tansey
The life of the mind -- there's no roadmap for that territory.
-- Joel and Ethan Coen, from "Barton Fink"

→ Research

→ Teaching

→ Personal

→ Coordinates