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

Luigi Liquori 1, 2 Arnaud Spiwack 3
1 MIRHO - Objects, types and prototypes : semantics and validation
CRISAM - Inria Sophia Antipolis - Méditerranée , UHP - Université Henri Poincaré - Nancy 1, Université Nancy 2, INPL - Institut National Polytechnique de Lorraine, CNRS - Centre National de la Recherche Scientifique : UMR7503
3 PI.R2 - Design, study and implementation of languages for proofs and programs
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.
Type de document :
Pré-publication, Document de travail
Presented at Types for Proofs and Programs: International Workshop, TYPES 2004, December 15-18, 2.. 2004
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01149745
Contributeur : Luigi Liquori <>
Soumis le : jeudi 7 mai 2015 - 15:56:31
Dernière modification le : jeudi 11 janvier 2018 - 16:44:54
Document(s) archivé(s) le : mercredi 19 avril 2017 - 19:22:23

Fichier

2004-types-04.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01149745, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

164

Téléchargements de fichiers

43