Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Inférence de types"'
Autor:
Babonnaud, William
Publikováno v:
Informatique [cs]. Université de Lorraine, 2022. Français. ⟨NNT : 2022LORR0312⟩
This thesis investigates the use of type theories and types with regards to compositionality in the formal semantic models of computational linguistics. Semantic types play a fundamental role in the detection and representation of semantic phenomena
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::55d89d75091cbfb5dff2c023cabf2c1d
https://hal.science/tel-03935669
https://hal.science/tel-03935669
Autor:
Petrucciani, Tommaso
Publikováno v:
Programming Languages [cs.PL]. Università di Genova; Université Sorbonne Paris Cité – Université Paris Diderot, 2019. English
We study set-theoretic types: types that include union, intersection, and negation connectives. Set-theoretic types, coupled with a suitable subtyping relation, are useful to type several programming language constructs – including conditional bran
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b6ce2bacd492fcb5dd106100de8c1fed
https://tel.archives-ouvertes.fr/tel-02119930
https://tel.archives-ouvertes.fr/tel-02119930
Autor:
Yakobowski, Boris
MLF est un système de types combinant le polymorphisme implicite de seconde classe de ML avec le polymorphisme de première classe mais explicite du Système F. Nous proposons une représentation des types de MLF qui superpose un graphe acyclique or
Autor:
Le Botlan, Didier
Nous nous intéressons à une extension de ML avec polymorphismede première classe, à la manière du Système F.Cette extension, nommée MLF, utilise les annotations de typesd'ordre supérieur données explicitement dans le programme pour inférerd
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00007132
http://tel.archives-ouvertes.fr/docs/00/04/71/91/PDF/tel-00007132.pdf
http://tel.archives-ouvertes.fr/docs/00/04/71/91/PDF/tel-00007132.pdf
Autor:
ZIMMER, Pascal
Dans une première partie, nous définissons un nouveau langage à base fonctionnelle et avec récursion généralisée, en utilisant le système de types avec degrés de Boudol pour éliminer les récursions dangereuses. Ce langage est ensuite éten