Steven Proctor – David Christiansen
Steven Proctor is a software developer and an interview host. David Christiansen is a computer scientist and an interview host. We found 1 podcast interview connecting Steven Proctor and David Christiansen.
Feel free to follow both profiles to receive their upcoming podcast interview appearances in your personal feed.
Episodes with Steven Proctor & David Christiansen
In this episode I talk with David Christiansen. We talk his introduction to functional programming, research in dependent types, Idris, Nuprl and LFC traits, work to add dependent types to macro-expansion in Racket, and much, much more.