Suchergebnisse - "successive variable elimination algorithm"

Relational nullable types with Boolean unification

Autoren: Madsen, Magnus Van De Pol, Jaco

Quelle: Madsen, M & Van De Pol, J 2021, 'Relational nullable types with Boolean unification', Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA, 110, pp. 1-28. https://doi.org/10.1145/3485487

Schlagwörter: successive variable elimination algorithm, type inference, Boolean unification, 0202 electrical engineering, electronic engineering, information engineering, Algorithm W, choose construct, relational pattern matching, 0102 computer and information sciences, 02 engineering and technology, relational nullable type system, 01 natural sciences

Dateibeschreibung: application/pdf

Zugangs-URL: https://dl.acm.org/doi/pdf/10.1145/3485487
https://dlnext.acm.org/doi/10.1145/3485487
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#MadsenP21
https://dl.acm.org/doi/abs/10.1145/3485487
https://pure.au.dk/portal/en/publications/c96081f7-9f1d-4c2f-bfdc-8c190140eef6
http://www.scopus.com/inward/record.url?scp=85117576957&partnerID=8YFLogxK
https://doi.org/10.1145/3485487
https://pure.au.dk/portal/en/publications/c96081f7-9f1d-4c2f-bfdc-8c190140eef6
https://pure.au.dk/ws/files/289642581/3485487.pdf