Edwin Brady is a programmer and researcher, known for his work on dependent types and type-driven programming, which has influenced the development of type systems.
CiteGist uses essential cookies to keep you signed in. With your consent we'd also use analytics cookies to understand which pages help most. Learn more.