SPLASH 2022 (series) / Manuel Serrano

Registered user since Fri 30 Jan 2015
Name:Manuel Serrano
Country:France
Affiliation:Inria; University of Côte d'Azur
Personal website:http://www-sop.inria.fr/members/Manuel.Serrano/
Contributions
SPLASH 2022 | Highly Illogical, Kirk: Spotting Type Mismatches in the Large Despite Broken Contracts, Unsound Types, and Too Many Linters | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2022-profile
View general profile
View general profile