SPLASH 2022 (series) / Louis Mandel
Registered user since Thu 5 May 2016
Name:Louis Mandel
Affiliation:IBM Research, USA
Personal website:http://researcher.watson.ibm.com/person/us-lmandel
Contributions
| SPLASH 2022 | Translating canonical SQL to imperative code in Coq | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile