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

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

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

Contributions

2022

ICFP

Author of Constraint-based type inference for FreezeML within the ICFP Papers and Events-track

2020

ML

Author of The Virtues of Semi-Explicit Polymorphism within the ML 2020-track

PLDI

Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the PLDI Research Papers-track

2019

ML

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

TyDe

Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the TyDe 2019-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2018

‹Programming›

Author of Language-integrated provenance in Haskell within the Research Papers-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2017

HIW

ICFP

Author of Imperative Functional Programs That Explain Their Work within the Research Papers-track