Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems

Magnus Madsen, Jaco Van De Pol, Troels Henriksen

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems'. Sammen danner de et unikt fingeraftryk.

Computer Science