Alex Hubers

I am a doctoral candidate in Computer Science at the University of Iowa, where I’m a member of the Computational Logic Center. I like (functional) programming languages, semantics, and type theory.

My active research interest is in expressing extensible data types using row types (with Dr. J. Garrett Morris, Co-Advisor). My current work is in expanding the expressivity of System Rω, a higher-order row calculus with label-generic combinators.

I am also very interested in:

• various applications of row type systems, e.g. session types, and algebraic effects & handlers;
• language mechanization in Agda, by way of both shallow embeddings (with denotational semantics) and deep embeddings (with operational semantics);
• and using Mendler-style recursion schemes to enforce type-based termination checking in total languages (e.g. Coq).