Guillaume Duboc

An existential crisis resolved: type inference for first-class existential types

2021 · Proceedings of the ACM on Programming Languages

Despite the great success of inferring and programming with universal types, their dual—existential types—are much harder to work with. Existential types are useful in building abstract types, working with indexed types, and providing first-class support …

The Design Principles of the Elixir Type System

2023 · arXiv (Cornell University)

Elixir is a dynamically-typed functional language running on the Erlang Virtual Machine, designed for building scalable and maintainable applications. Its characteristics have earned it a surging adoption by hundreds of industrial actors and tens of …