Implementing System T in Haskell

Date:

Check the plug talk slides here.