Types Simples, Logique et Coercions Implicites - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

Types Simples, Logique et Coercions Implicites

(1)
1
Cody Roux
  • Function : Author
  • PersonId : 845905

Abstract

Nous définissons un système général de coercions implicites dans les types simples et donnons un algorithme d'inférence de type. Ceci est réalisé grâce à une logique adéquate, inspirée de la logique linéaire, pour laquelle nous prouvons l'élimination des coupures.
Fichier principal
Vignette du fichier
roux.pdf (338.56 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00202824 , version 1 (08-01-2008)

Identifiers

  • HAL Id : inria-00202824 , version 1

Cite

Cody Roux. Types Simples, Logique et Coercions Implicites. 19e Journées Francophones des Langages Applicatifs - JFLA 2008, INRIA, Jan 2008, Etretat, France. pp.79-90. ⟨inria-00202824⟩
56 View
52 Download

Share

Gmail Facebook Twitter LinkedIn More