Skip to Main content Skip to Navigation
New interface


...
tel-03143040v1  Theses
Nicolas Szlifierski. Contrôle sûr de chaînes d'obfuscation logicielle
Langage de programmation [cs.PL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2020. Français. ⟨NNT : 2020IMTA0223⟩
...
tel-01895859v1  Theses
Pierre Vial. Non-idempotent typing operators, beyond the lambda-calculus
Computation and Language [cs.CL]. Université Sorbonne Paris Cité, 2017. English. ⟨NNT : 2017USPCC038⟩
...
tel-02119930v1  Theses
Tommaso Petrucciani. Polymorphic set-theoretic types for functional languages
Programming Languages [cs.PL]. Università di Genova; Université Sorbonne Paris Cité – Université Paris Diderot, 2019. English. ⟨NNT : ⟩
...
tel-01746182v2  Theses
Cody Roux. Size-based termination: Semantics and generalizations
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10034⟩
...
tel-01499951v1  Theses
Xavier Leroy. Typage polymorphe d'un langage algorithmique
Langage de programmation [cs.PL]. Université Paris 7, 1992. Français
...
tel-01599268v1  Theses
Ahmad Al Atrouni. Etude de l’épidémiologie moléculaire et de l’écologie d’Acinetobacter spp au Liban
Médecine humaine et pathologie. Université d'Angers; Université libannaise de Beyrouth, 2017. Français. ⟨NNT : 2017ANGE0004⟩
...
tel-03182873v1  Theses
Rayane Rafei. Etude du réservoir d'Acinetobacter baumannii au Liban
Médecine humaine et pathologie. Université d'Angers; Université Libanaise, 2014. Français. ⟨NNT : ⟩
...
tel-02061997v1  Theses
Fabien Dagnat. Vérification Statique de Programmes Répartis
Langage de programmation [cs.PL]. Institut National Polytechnique De Toulouse, 2001. Français. ⟨NNT : ⟩
...
tel-00816982v1  Theses
Quyet Thang Pham. Model Transformation Reuse: A Graph-based Model Typing Approach
Software Engineering [cs.SE]. Télécom Bretagne, Université de Rennes 1, 2012. English. ⟨NNT : ⟩
...
tel-00133591v3  Theses
Pierre Genevès. Logics for XML
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006. English
...
tel-03385008v1  Theses
Laetitia Fabre. Typage et sous-typage du genre Salmonella basé sur le polymorphisme des loci CRISPR
Microbiologie et Parasitologie. Institut agronomique, vétérinaire et forestier de France, 2017. Français. ⟨NNT : 2017IAVF0002⟩
...
tel-01067475v1  Theses
Etienne Millon. Analyse de sécurité de logiciels système par typage statique
Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2014. Français. ⟨NNT : 2014PA066120⟩
...
pastel-00000798v1  Theses
Cyril Carrez. Behavioural Contracts for Components
domain_other. Télécom ParisTech, 2003. English
...
tel-00011212v1  Habilitation à diriger des recherches
Pascal Fradet. Approches langages pour la conception et la mise en oeuvre de programmes
Génie logiciel [cs.SE]. Université Rennes 1, 2000
...
tel-00140652v1  Theses
Samuel Hym. Typage et contrôle de la mobilité
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2006. Français. ⟨NNT : ⟩
...
tel-00662500v1  Theses
Barbara Petit. On the lambda calculus with constructors
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0628⟩
...
tel-03124396v1  Habilitation à diriger des recherches
Anne Debourgogne. Fusarium solani, typage moléculaire et mécanisme d'adaptation à son environnement
Mycologie. Université de Lorraine, 2021
...
tel-03018107v1  Theses
Jim Newton. Representing and computing with types in dynamically typed languages
Symbolic Computation [cs.SC]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS440⟩