Eff 3.0
Matija and I are pleased to announce a new major release of the eff programming language. In the last year or so eff has matured considerably: It now looks and feels like OCaml, so you won’t have to...
View ArticleA hott thesis
Egbert Rijke successfully defended his master thesis in Utrecht a couple of weeks ago. He published it on the Homotopy type theory blog (here is a direct link to the PDF file (revised)). The thesis is...
View ArticleThe HoTT book
The HoTT book is finished! Since spring, and even before that, I have participated in a great collaborative effort on writing a book on Homotopy Type Theory. It is finally finished and ready for public...
View ArticlePostdoc position in Ljubljana
A postdoc position in the Effmath research project is available at the University of Ljubljana, Faculty of Mathematics and Physics. The precise topic is flexible, but should generally be aligned with...
View ArticleTwo PhD positions in Ljubljana starting October 2017
We are looking for two PhD students at the Faculty of Mathematics and Physics, University of Ljubljana. The programme starts in October 2017 and lasts three years. The positions will be fully funded...
View Article
