InfoQ Homepage Type Theory Content on InfoQ
Interviews
RSS Feed-
Stephanie Weirich on Dependent Typing, Extending Haskell, Type System Research
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.
-
William Byrd on Logic and Relational Programming, miniKanren
William Byrd explains the ideas behind logic programming languages (like Prolog) and relational programming. Also: miniKanren and core.logic, program synthesis, and much more.
