SPLASH 2020
Sun 15 - Fri 20 November 2020 Online Conference
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

Scala 2020Author of Toward a Simpler Syntactic Soundness for DOT (Student Talk) within the Scala-track
SPLASH 2020Author of ιDOT: A DOT Calculus with Object Initialization within the OOPSLA-track
Author of ιDOT: A DOT Calculus with Object Initialization within the OOPSLA Artifacts-track
Show activities from other conferences

Using general profile