Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types

Issue title: Concurrency, Specification and Programming

Article type: Research Article

Authors: Bellia, Marco | Occhiuto, M. Eugenia

Affiliations: Dipartimento di Informatica, Università di Pisa, Italy. {bellia,occhiuto}@di.unipi.it

Note: [] Address for correspondence: Dipartimento di Informatica, Università di Pisa, Italy

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.

DOI: 10.3233/FI-2013-930

Journal: Fundamenta Informaticae, vol. 128, no. 1-2, pp. 17-33, 2013