An amazing functional
Martin Escardo and Paulo Oliva have been working on the selection monad and related functionals. The selection monad `S(X) = (X -> R) -> X` is a cousin of the continuation monad `C(X) = (X ->...
View ArticleEuropean workshop on computational effects
Alex Simpson, Matija Pretnar and I are organizing a workshop on computational effects. It will take place in Ljubljana on March 17th and 18th 2011. More information is available at the workshop web page.
View ArticleBob Harper has a blog
Bob Harper of CMU, has recently started a blog, called Existential Type, about programming languages. He is a leading expert in Programming Languages. I remember being deeply inspired the first time I...
View ArticleEff 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