conf.researchr.org / Ifaz Kabir
Ifaz Kabir

Registered user since Sun 19 Aug 2018

Name: Ifaz Kabir

Country: Canada

Affiliation: University of Alberta, Canada

Research interests: Programming Languages, Type Systems, Logic, Functional Programming, Compilers and Interpreters

Contributions

SPLASH 2019Panelist of Panel: Current PhD Students and Postdocs within the PLMW-track
Panelist in Speakers & Panelists within the PLMW-track
Scala 2018Author of κDOT: Scaling DOT with Mutation and Constructors within the Scala 2018-track
SPLASH 2017Author of A Simple Soundness Proof for Dependent Object Types within the OOPSLA-track