BT

Ready for InfoQ 3.0? Try the new design and let us know what you think!

rss
28:53
Development Follow 786 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.

BT