The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking

dc.contributor.author	Beneš, Jiří
dc.contributor.author	Brachthäuser, Jonathan Immanuel
dc.date.accessioned	2025-10-24T08:56:08Z
dc.date.available	2025-10-24T08:56:08Z
dc.date.issued	2025-10-09
dc.identifier.uri	http://hdl.handle.net/10900/171548
dc.language.iso	en	de_DE
dc.publisher	ACM	de_DE
dc.relation.uri	https://doi.org/10.1145/3763168	de_DE
dc.subject.ddc	004	de_DE
dc.title	The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking	de_DE
dc.type	Article	de_DE
utue.personen.roh	Beneš, Jiří
utue.personen.roh	Brachthäuser, Jonathan Immanuel
dcterms.isPartOf.ZSTitelID	Proceedings of the ACM on Programming Languages	de_DE
dcterms.isPartOf.ZS-Issue	Issue OOPSLA2, Article No.: 390	de_DE
dcterms.isPartOf.ZS-Volume	Volume 9	de_DE