Bachelor Course on Functional Programming
This is the homepage of the bachelor course on functional programming that will be taught in the first period
of the 2015-2016 academic year.
Students enrolled in the course by registering in Osiris will be kept informed about the course through e-mail.
I gave a presentation on type error diagnosis for domain-specific languages (embedded in Haskell) at Curry On Prague
(with people like Phil Wadler (popularized monads in programming), Bjarne Stroustrup (inventor of C++), Gilad Bracha (co-inventor of Java) and
Many other presentations at Curry On! are also on You Tube.