Nicolas Pouillard - Wissenschaftliche Veröffentlichungen

(1 - 6 von 6

)

A unified treatment of syntax with bindersHal-Inria

inria.hal.science

A unified treatment of syntax with binders. Nicolas Pouillard (1) , François Pottier (1). Afficher plus de détails. 1 GALLIUM - Programming languages, types ... A unified treatment of syntax with binders. Nicolas Pouillard (1) , François Pottier (1). Afficher plus de détails. 1 GALLIUM - Programming languages, types ...

A unifying approach to safe programming with first-order ...HAL Thèses

theses.hal.science

... Nicolas Pouillard (1). Afficher plus de détails. 1 GALLIUM - Programming languages, types, compilation and proofs. Nicolas Pouillard. Fonction : Auteur Nicolas Pouillard (1). Afficher plus de détails. 1 GALLIUM - Programming languages, types, compilation and proofs. Nicolas Pouillard. Fonction : Auteur ...

Verwandte Suchanfragen zu Nicolas Pouillard

Personen
Vorname "Nicolas" (11812)
Name "Pouillard" (7)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Nicolas Pouillard

A unified treatment of syntax with bindersHal-Inria

A unifying approach to safe programming with first-order ...HAL Thèses

Nicolas PouillardDBLP

dblp: BibTeX records: Nicolas Pouillard

dblp: ICFP 2011: Tokyo, Japan

dblp: Journal of Functional Programming, Volume 22