Existentialize Your Generics
The two main approaches to compile generic programs are dynamic dispatch and monomorphization. While the latter is typically preferred in the context of low latency applications, where the overhead of boxing may be prohibitive, it also comes at the cost of important limitations in terms of modularity, expressiveness, and code size.
Authors
- Dimitri Racordon (ORCID: https://orcid.org/0000-0003-0299-3993)
- Matt Bovel (ORCID: https://orcid.org/0009-0005-5132-0279)
- Hamza Remmal (ORCID: https://orcid.org/0009-0005-0118-1071)
Institutions
- École Polytechnique Fédérale de Lausanne (CH)
Publication Details
- Published
- 2025-10-09
- DOI
- https://doi.org/10.1145/3759426.3760975
- Primary Topic
- Logic, programming, and type systems
- Type
- article
- Field-Weighted Citation Impact
- 0.00