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.

Affiliation:University of Edinburgh, UK
Research interests:functional programming, type systems, compilers, formal verification

Contributions

ICFP 2022 Author of Constraint-based type inference for FreezeML within the ICFP Papers and Events-track
ML 2020 Author of The Virtues of Semi-Explicit Polymorphism within the ML 2020-track
PLDI 2020 Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the PLDI Research Papers-track
ML 2019 Author of (TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the ML 2019-track
TyDe 2019 Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the TyDe 2019-track
POPL 2019 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
‹Programming› 2018 Author of Language-integrated provenance in Haskell within the Research Papers-track
POPL 2018 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
HIW 2017 Session Chair of Compiling to LLVM (part of HIW 2017)
Committee Member in Program Committee within the HIW 2017-track
ICFP 2017 Author of Imperative Functional Programs That Explain Their Work within the Research Papers-track