Alex Hubers -

Registered user since Tue 6 Dec 2022

Name:Alex Hubers

Country:United States

Affiliation:University of Iowa

Personal website: https://homepage.cs.uiowa.edu/~ahubers/

GitHub: https://github.com/ahubers

Research interests:Programming Languages, Functional Programming, Type Theory

Contributions

2023

ICFP

Author of Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc within the ICFP Papers and Events-track
Author of Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc within the Artifact Evaluation-track

POPL

Author of A Type-Based Approach to Divide-and-Conquer Recursion in Coq within the POPL-track

2022

Haskell

Author of Partial Type Constructors in Practice within the Haskell 2022-track