- 1
NT
Nicolas Tabareau
1
Documents
Présentation
Publications
- 1
|
Compiling Functional Types to Relational Specifications for Low Level Imperative CodeTypes in Language Design and Implementation, Jan 2009, Savannah, United States
Communication dans un congrès
hal-00341404v1
|