Courses and seminars

Previous years (selected courses)

• Metody programowania (2022)
• Zaawansowane zagadnienia semantyki języków programowania (2022)
• Języki programowania (2021)
• Formalizacja języków programowania w systemie Coq (2021)
• Języki programowania (2020)
• Rachunek lambda: ewaluacja i normalizacja (2020)
• Program interaction: bisimulation and coinduction (2020)
• Języki programowania (2019)
• Kontynuacje: teoria i zastosowania (2019)
• Semantyka języków programowania (2018)
• Algebraic effects (2018)
• Principles of programming languages (2017)
• Program certification in Coq (2017)
• Compiler certification (2017)
• Podstawy języków programowania w systemie Coq (2016)
• Zaawansowane programowanie funkcyjne (2016)
• Podstawy języków programowania w systemie Coq (2015)
• Implementacja języków funkcyjnych (2015)
• Zaawansowane programowanie funkcyjne (2015)
• Podstawy języków programowania w systemie Coq (2014)
• Podstawy języków zorientowanych obiektowo (2014)
• Semantyka języków programowania (2013)
• Zaawansowane programowanie funkcyjne (2013)
• Języki programowania: nowe osiągnięcia i trendy (2013)
• Programowanie (M) (2013)
• Implementacja języków funkcyjnych (2012)
• Programowanie (M) (2012)
• Zaawansowane systemy typów (2012)
• Programowanie w teorii typów (2011)
• Kontynuacje: teoria i zastosowania (2011)
• Programowanie (M) (2011)
• Języki programowania: nowe osiągnięcia i trendy (2010)
• Programowanie (M) (2010)
• Systemy typów (2010)
• Typy i języki programowania (2009)
• Wprowadzenie do systemu Twelf (2009)
• Obliczenia i wnioskowanie w systemie Coq (2008)
• Semantyka języków programowania (2008)
• Języki programowania i kontynuacje (2007)