Types Simples, Logique et Coercions Implicites - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

Types Simples, Logique et Coercions Implicites

Cody Roux
  • Function : Author
  • PersonId : 845905
Formal islands: foundations and applications

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.

Domains

Programming Languages [cs.PL]
Fichier principal
Vignette du fichier
roux.pdf (338.56 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Sandrine Blazy  : Connect in order to contact the contributor

https://inria.hal.science/inria-00202824

Submitted on : Tuesday, January 8, 2008-11:42:16 AM

Last modification on : Friday, March 24, 2023-2:52:49 PM

Long-term archiving on: Thursday, September 27, 2012-1:51:27 PM

Download

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA JFLA08 UNIV-LORRAINE INRIA2 LORIA
59 View
55 Download

Share

Gmail Facebook X LinkedIn More