‹Programming› 2018 (series) / Jan Stolarek

Registered user since Tue 4 Apr 2017
Name: Jan Stolarek
Bio: I am a Research Associate at Laboratory for Foundations of Computer Science, University of Edinburgh, UK. I am on a sabbatical leave from Instytut Informatyki (Institute of Information Technology), Politechnika Łódzka (Łódź University of Technology), Poland.
Country: Poland
Affiliation: University of Edinburgh, UK
Personal website: http://ics.p.lodz.pl/~stolarek
Research interests: functional programming, type systems, compilers, formal verification
Contributions
‹Programming› 2018 | Author of Language-integrated provenance in Haskell within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
‹Programming› 2018-profile
View general profile
View general profile