Registered user since Tue 4 Apr 2017
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.
|ML 2019||(TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism|
|TyDe 2019||FreezeML: Complete and Easy Type Inference for First-Class Polymorphism|
|Show activities from other conferences|
View general profile