Type System & The Future of Programming Languages
Tags: typesystem, coq, haskell, languagedesign