Search - Archive ouverte HAL Access content directly

Filter your results

11 Results
Structure: Internal structure identifier : 454410
Image document

Namely, Painless: A unifying approach to safe programming with first-order syntax with binders

Nicolas Pouillard
Programming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2012. English. ⟨NNT : ⟩
Theses tel-00759059v1
Image document

Programming with first-class modules in a core language with subtyping, singleton kinds and open existential types

Benoît Montagu
Programming Languages [cs.PL]. Ecole Polytechnique X, 2010. English. ⟨NNT : ⟩
Theses tel-00550331v1
Image document

Machines d'Eilenberg Effectives

Benoit Razet
Informatique [cs]. Université Paris-Diderot - Paris VII, 2009. Français. ⟨NNT : ⟩
Theses tel-00463049v1
Image document

Which types have a unique inhabitant?

Gabriel Scherer
Programming Languages [cs.PL]. Université Paris-Diderot, 2016. English. ⟨NNT : ⟩
Theses tel-01309712v2
Image document

Formal verification of translation validators

Jean-Baptiste Tristan
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2009. Français. ⟨NNT : ⟩
Theses tel-00437582v1
Image document

Mechanized Formal Semantics and Verified Compilation for C++ Objects

Tahina Ramananandro
Programming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2012. English. ⟨NNT : 2012PA077001⟩
Theses tel-00769044v1
Image document

Profilage mémoire d’applications OCaml

Çağdaş Bozman
Informatique [cs]. ENSTA ParisTech, 2014. Français. ⟨NNT : ⟩
Theses tel-01122262v1
Image document

Mezzo: a typed language for safe effectful concurrent programs

Jonathan Protzenko
Programming Languages [cs.PL]. Université Paris Diderot - Paris 7, 2014. English. ⟨NNT : ⟩
Theses tel-01086106v1
Image document

Vérification formelle d'un compilateur optimisant pour langages fonctionnels

Zaynah Dargaye
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2009. Français. ⟨NNT : ⟩
Theses tel-00452440v1
Image document

Graphical types and constraints - second-order polymorphism and inference

Boris Yakobowski
Software Engineering [cs.SE]. Université Paris-Diderot - Paris VII, 2008. English. ⟨NNT : ⟩
Theses tel-00357708v1
Image document

Erasable coercions: a unified approach to type systems

Julien Cretin
Programming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2014. English. ⟨NNT : ⟩
Theses tel-00940511v1