Registered user since Tue 5 Sep 2017

Name: Adam Ścibior

Affiliation: University of Cambridge

Personal website: http://mlg.eng.cam.ac.uk/adam/

POPL 2017 Activities

• Author of Building inference algorithms from monad transformers within the PPS-track in PPS 2017
• Show activities from other conferences