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