Filter your results
- 11
- 11
- 11
- 1
- 3
- 2
- 1
- 3
- 1
- 7
- 4
- 11
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Namely, Painless: A unifying approach to safe programming with first-order syntax with bindersProgramming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2012. English. ⟨NNT : ⟩
Theses
tel-00759059v1
|
||
|
Programming with first-class modules in a core language with subtyping, singleton kinds and open existential typesProgramming Languages [cs.PL]. Ecole Polytechnique X, 2010. English. ⟨NNT : ⟩
Theses
tel-00550331v1
|
||
|
Machines d'Eilenberg EffectivesInformatique [cs]. Université Paris-Diderot - Paris VII, 2009. Français. ⟨NNT : ⟩
Theses
tel-00463049v1
|
||
|
Which types have a unique inhabitant?Programming Languages [cs.PL]. Université Paris-Diderot, 2016. English. ⟨NNT : ⟩
Theses
tel-01309712v2
|
||
|
Formal verification of translation validatorsGénie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2009. Français. ⟨NNT : ⟩
Theses
tel-00437582v1
|
||
|
Mechanized Formal Semantics and Verified Compilation for C++ ObjectsProgramming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2012. English. ⟨NNT : 2012PA077001⟩
Theses
tel-00769044v1
|
||
|
Profilage mémoire d’applications OCamlInformatique [cs]. ENSTA ParisTech, 2014. Français. ⟨NNT : ⟩
Theses
tel-01122262v1
|
||
|
Mezzo: a typed language for safe effectful concurrent programsProgramming Languages [cs.PL]. Université Paris Diderot - Paris 7, 2014. English. ⟨NNT : ⟩
Theses
tel-01086106v1
|
||
|
Vérification formelle d'un compilateur optimisant pour langages fonctionnelsGénie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2009. Français. ⟨NNT : ⟩
Theses
tel-00452440v1
|
||
|
Graphical types and constraints - second-order polymorphism and inferenceSoftware Engineering [cs.SE]. Université Paris-Diderot - Paris VII, 2008. English. ⟨NNT : ⟩
Theses
tel-00357708v1
|
||
|
Erasable coercions: a unified approach to type systemsProgramming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2014. English. ⟨NNT : ⟩
Theses
tel-00940511v1
|