Alex Hubers

According to our database, Alex Hubers authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc.

Alex Hubers, J. Garrett Morris

Proc. ACM Program. Lang., August, 2023

A Type-Based Approach to Divide-and-Conquer Recursion in Coq.

Pedro Abreu, Benjamin Delaware, Alex Hubers, Christa Jenkins, J. Garrett Morris, Aaron Stump

Proc. ACM Program. Lang., January, 2023

2022

Partial type constructors in practice.

Apoorv Ingle, Alex Hubers, J. Garrett Morris

Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022