GPCE 2017
Mon 23 - Tue 24 October 2017 Vancouver, Canada
co-located with SPLASH 2017
Ifaz Kabir

Registered user since Sun 19 Aug 2018

Name:Ifaz Kabir
Affiliation:University of Waterloo, Canada


SPLASH 2017 A Simple Soundness Proof for Dependent Object Types
Show activities from other conferences

SPLASH 2017-profile
View general profile