Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Franklyn A. Turbak"'
Publikováno v:
ACM SIGPLAN Notices. 34:90-101
We investigate finite-rank intersection type systems, analyzing the complexity of their type inference problems and their relation to the problem of recognizing semantically equivalent terms. Intersection types allow something of type τ 1 Λ τ 2 to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::10bd3fd380b2200fe778b98ba993b4e2
https://doi.org/10.1145/317765.317788
https://doi.org/10.1145/317765.317788
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.