|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 12 van 17 gevonden artikelen
| Titel: |
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types |
| Auteur: |
Bellia, Marco Occhiuto, M. Eugenia |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 128 (2013) nr. 1-2 pagina's 17-33 |
| Jaar: |
2013-11-14 |
| Inhoud: |
The last proposal for Java closures, as emerged in JSR 000335, is mainly innovative in: (1) Use of nominal types, SAM types, for closures; (2) Introduction of target types and compatibility for a contextual typing of closures; (3) Need for a type inference that reconstructs the omitted type annotations of closures and closure arguments. The paper provides a sound and complete type system, with nominal types, for such a type inference and discusses role and formalization of targeting and of compatibility in the designed inference process. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 12 van 17 gevonden artikelen
| << vorige | volgende >> |