Conor McBride

being a bidirectional reformulation of Martin-Löf's 1971 type theory

pigworker

being the notes and materials for CS410 in the 2013/14 academic session

pigworker

being the materials for CS410 Advanced Functional Programming in the 2014-15 session

pigworker

being the materials for CS410 Advanced Functional Programming in the 2015/16 session

pigworker

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

pigworker

being the teaching materials and exercises for CS410 in the 2018/19 session

pigworker

being the introduction to co-de-Bruijn metasyntax

pigworker

being a slightly rethought version of the Frank implementation

pigworker

being the materials for Summer 2013's course

pigworker

pigworker