PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Abstract : This paper introduces a functional calculus, called OhML that features objects and message sending via functional application. A sound (message-not-found preventing) first-order type system featuring width subtyping is presented. The paper presents also a sound and complete type inference algorithm that calculates a principal constrained type or fails.
https://hal.inria.fr/hal-01149745
Contributeur : Luigi Liquori
<>
Soumis le : jeudi 7 mai 2015 - 15:56:31
Dernière modification le : vendredi 25 mai 2018 - 12:02:06
Document(s) archivé(s) le : mercredi 19 avril 2017 - 19:22:23
Luigi Liquori, Arnaud Spiwack. Inferring types for functional methods (where method calls come for free). Presented at Types for Proofs and Programs: International Workshop, TYPES 2004, December 15-18, 2.. 2004. 〈hal-01149745〉
