Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Inferring types for functional methods (where method calls come for free)

Luigi Liquori 1 Arnaud Spiwack 2
1 KAIROS - Logical Time for Formal Embedded System Design
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
2 PI.R2 - Design, study and implementation of languages for proofs and programs
CNRS - Centre National de la Recherche Scientifique, Inria de Paris, UP - Université de Paris, IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale
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.
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Luigi Liquori Connect in order to contact the contributor
Submitted on : Thursday, May 7, 2015 - 3:56:31 PM
Last modification on : Tuesday, January 11, 2022 - 11:16:07 AM
Long-term archiving on: : Wednesday, April 19, 2017 - 7:22:23 PM


Files produced by the author(s)


  • HAL Id : hal-01149745, version 1


Luigi Liquori, Arnaud Spiwack. Inferring types for functional methods (where method calls come for free). 2004. ⟨hal-01149745⟩



Les métriques sont temporairement indisponibles