publications

My publications by year.

2023

  1. rows.png
    Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc
    Alex Hubers, and J. Garrett Morris
    In ACM SIGPLAN International Conference on Functional Programming, ICFP’23, Seattle, WA, USA - September 5 - 8, 2023, 2023
  2. coq.png
    A Type-Based Approach to Divide-and-Conquer Recursion in Coq
    Pedro Abreu, Benjamin Delaware, Alex Hubers, and 3 more authors
    In Proceedings of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2023, Boston, MA, USA - January 18-20, 2023, 2023

2022

  1. ptc.png
    Partial type constructors in practice
    Apoorv Ingle, Alex Hubers, and J. Garrett Morris
    In Haskell ’22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022, 2022

2016

  1. maps.png
    A Method for Establishing Correspondences Between Hand-Drawn and Sensor-Generated Maps
    Leo Bowen-Biggs, Suzanne Dazo, Yili Zhang, and 5 more authors
    In Social Robotics - 8th International Conference, ICSR 2016, Kansas City, MO, USA, November 1-3, 2016, Proceedings, 2016

2015

  1. robot.png
    Using Video Manipulation to Protect Privacy in Remote Presence Systems
    Alexander Hubers, Emily Andrulis, Levi Scott, and 6 more authors
    In Social Robotics - 7th International Conference, ICSR 2015, Paris, France, October 26-30, 2015, Proceedings, 2015