Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
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: United Kingdom

Affiliation: University of Edinburgh, UK

Personal website: http://ics.p.lodz.pl/~stolarek

Research interests: functional programming, type systems, compilers, formal verification

Contributions

ML 2019Author of (TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the ML 2019-track
TyDe 2019Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the TyDe 2019-track
Show activities from other conferences

Using general profile