Accéder directement au contenu
NT

Nicolas Tabareau

1
Documents

Présentation

Publications

855965
Image document

Compiling Functional Types to Relational Specifications for Low Level Imperative Code

Nick Benton , Nicolas Tabareau
Types in Language Design and Implementation, Jan 2009, Savannah, United States
Communication dans un congrès hal-00341404v1