Alex Hubers

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 4

Top Topics

Microsoft Sql Server

Programming Language

Database Server

Top Venues

Proc. ACM Program. Lang.

Publications

Pedro Abreu, Benjamin Delaware, Alex Hubers, Christa Jenkins, J. Garrett Morris, Aaron Stump
A Type-Based Approach to Divide-and-Conquer Recursion in Coq. Proc. ACM Program. Lang. 7 (POPL) (2023)
Alex Hubers, J. Garrett Morris
Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Alex Hubers, J. Garrett Morris
Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc. CoRR (2023)
Apoorv Ingle, Alex Hubers, J. Garrett Morris
Partial type constructors in practice. Haskell (2022)