SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Ifaz Kabir

Registered user since Sun 19 Aug 2018

Name:Ifaz Kabir
Affiliation:University of Alberta
Research interests:Programming Languages, Type Systems, Logic, Functional Programming, Compilers and Interpreters

Contributions

Scala 2020 Toward a Simpler Syntactic Soundness for DOT (Student Talk)
SPLASH 2020 Session Chair of M-6 (part of OOPSLA)
ιDOT: A DOT Calculus with Object Initialization
ιDOT: A DOT Calculus with Object Initialization
Show activities from other conferences

SPLASH 2020-profile
View general profile