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 2016-2017 academic year.
Students enrolled in the course by registering in Osiris will be kept informed about the course through e-mail. Students are advised
to regularly talk to fellow students to verify that they have obtained the same set of e-mails.
I gave a presentation on type error diagnosis for domain-specific languages (embedded in Haskell) at Curry On Prague
You can find the on-line video of my presentation right HERE
Many other presentations at Curry On! are also on You Tube.