Zobrazeno 1 - 3
of 3
pro vyhledávání: '"dependant type"'
Autor:
Delaunay, Pierre
Ce mémoire présente l'implémentation d'un nouveau langage de programmation nommé Typer. Typer est un langage fonctionnel orienté vers la méta programmation. Il a été conçu pour augmenter la productivité du programmeur et lui permettre d'éc
Externí odkaz:
http://hdl.handle.net/1866/19108
Autor:
Lasson, Marc
Cette thèse porte sur l’adaptation de la réalisabilité et la paramétricité au cas des types dépendants dans le cadre des Systèmes de Types Purs. Nous décrivons une méthode systématique pour construire une logique à partir d’un langage
Externí odkaz:
http://www.theses.fr/2012ENSL0764/document
Autor:
Lasson, Marc
This thesis focuses on the adaptation of realizability and parametricity to dependent types in the framework of Pure Type Systems. We describe a systematic method to build a logic from a programming language, both described as pure type systems. This
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::fee076f614c26a0fbc63fc2225c4e4b5
https://theses.hal.science/tel-00770669
https://theses.hal.science/tel-00770669