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.
Keywords : functions polymorphic-type inference objects
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
https://hal.inria.fr/hal-01149745
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

File

Vignette du document
2004-types-04.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01149745, version 1

Collections

CNRS | INRIA | PPS | UNIV-PARIS | I3S | UNIV-COTEDAZUR | UP-SCIENCES

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles

 

Contact                    Legal Notice                    Personal Data