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⟩
...
hal-01673518v2  Theses
Frédéric Gilbert. Extending higher-order logic with predicate subtyping
Logic in Computer Science [cs.LO]. Université Sorbonne Paris Cité; Université Paris Diderot, 2018. English. ⟨NNT : ⟩
...
tel-00538274v1  Theses
James Richard Heron Steel. Model Typing
Software Engineering [cs.SE]. Université Rennes 1, 2007. English. ⟨NNT : ⟩
...
tel-00010546v1  Theses
Benjamin Wack. Typage et déduction dans le calcul de réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2005. Français. ⟨NNT : ⟩
...
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-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-00858744v1  Theses
Zhiwu Xu. PARAMETRIC POLYMORPHISM FOR XML PROCESSING LANGUAGES
Programming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2013. English. ⟨NNT : ⟩
...
tel-01499951v1  Theses
Xavier Leroy. Typage polymorphe d'un langage algorithmique
Langage de programmation [cs.PL]. Université Paris 7, 1992. Français
...
tel-02058937v1  Theses
Frédéric Gilbert. Extending higher-order logic with predicate subtyping : application to PVS
Logic in Computer Science [cs.LO]. Université Sorbonne Paris Cité, 2018. English. ⟨NNT : 2018USPCC009⟩
...
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-00345845v1  Theses
Cécile Capponi. Identification et Exploitation des Types dans un modèle de connaissances à objets
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1995. 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-00921040v1  Theses
Florent Pompigne. Modélisation logique de la langue et Grammaires Catégorielles Abstraites
Informatique et langage [cs.CL]. Université de Lorraine, 2013. Français
...
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