BT
rss
28:53
Development Follow 747 Followers

Stephanie Weirich on Dependent Typing, Extending Haskell, Type System Research

Interview with Stephanie Weirich Follow 0 Followers on  Feb 05, 2016

Stephanie Weirich gives an introduction to the ideas behind dependent typing, dependent typing in Haskell, extending Haskell, and the status and future of type theory.

33:02
Followers

William Byrd on Logic and Relational Programming, miniKanren

Interview with William Byrd Follow 0 Followers on  Feb 28, 2014

William Byrd explains the ideas behind logic programming languages (like Prolog) and relational programming. Also: miniKanren and core.logic, program synthesis, and much more.

BT