en pl
Welcome on my “professional” homepage. The sidebar to the left is the site map. Some Polish-only material, might get translated into English eventually. You will find here: Pages as Functional Programming are lectures and/or labs in English, pages like Kurs Pascala — Polish only. Pages as Artificial General Intelligence are my personal notes and slides for informal meetings. Type Inference are unpublished results in invariant inference for functional languages. Toss is a project I participate in (publications). Emacs mode I use to edit this wiki pmwiki-mode.
To get to know me on the personal side, you can visit http://google.com/+LukaszStafiniak.
Miscelaneous slides — old ones.
