The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking
|
Autor(en):
|
Beneš, Jiří; Brachthäuser, Jonathan Immanuel
|
|
Tübinger Autor(en):
|
|
|
Erschienen in:
|
Proceedings of the ACM on Programming Languages
(2025-10-09), Bd.
Volume 9,
Issue OOPSLA2, Article No.: 390
|
|
Verlagsangabe:
|
ACM
|
|
Sprache:
|
Englisch
|
|
Referenz zum Volltext:
|
https://doi.org/10.1145/3763168
|
|
DDC-Klassifikation:
|
004 - Informatik
|
|
Dokumentart:
|
Wissenschaftlicher Artikel
|
|
Zur Langanzeige
|
