David Christiansen – Edwin Brady
David Christiansen is a computer scientist and an interview host. Edwin Brady is a computer scientist. We found 1 podcast interview connecting David Christiansen and Edwin Brady.
Feel free to follow both profiles to receive their upcoming podcast interview appearances in your personal feed.
Episodes with David Christiansen & Edwin Brady
In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin has been working on Idris, a functional programming language with dependent types. This episode is very much about programming: we discuss the language Idris, its history, its implementation strategies, and plans for