Registered user since Sun 16 Oct 2016
I am a Professor in the Department of Computer Science in the Maseeh College of Engineering & Computer Science at Portland State University in Portland, Oregon, USA.
My research interests include all aspects of programming language design, implementation, and application. I am particularly interested in the use of advanced programming language technologies for systems programming, and in the development and application of expressive type and module systems that support the construction and certification of secure and reliable software systems.
|POPL 2020||Partial Type Constructors: Or, Making Ad Hoc Datatypes Less Ad Hoc|
|Show activities from other conferences|
View general profile