Types Simples, Logique et Coercions Implicites

Cody Roux (1)

1 PAREO - Formal islands: foundations and applications

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.

Domaines: Langage de programmation [cs.PL]

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⟩