Knowledge Tree

researcher / François Pottier

François Pottier

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Synthese de types en presence de sous-typage : de la theorie a la pratique

Directed Thesis:

Mechanized verification of the correctness and asymptotic complexity of programs : the right answer at the right time

Mezzo : a typed language for safe effectful concurrent programs

Une approche unifiante pour programmer sûrement avec de la syntaxe du premier ordre contenant des lieurs

Vérification de programmes à l'aide de formules caractéristiques

Des types aux assertions logiques : preuve automatique ou assistée de propriétés sur les programmes fonctionnels

Inférence de flots d'information pour ML : formalisation et implantation