UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types (Extended Version)

Bellia, Marco and Occhiuto, Maria Eugena (2013) Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types (Extended Version). Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Other (Gzip)
Available under License Creative Commons Attribution No Derivatives.

Download (514Kb)

    Abstract

    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.

    Item Type: Book
    Uncontrolled Keywords: Java, Object oriented programming, Lambda expressions, SAM types, Nominal type equivalence, Type inference, Constraint judgement
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (from 2013) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 22 Oct 2014 16:54
    Last Modified: 22 Oct 2014 16:54
    URI: http://eprints.adm.unipi.it/id/eprint/2303

    Repository staff only actions

    View Item