
Registered user since Tue 1 Jul 2014
Name:Guido Salvaneschi
Country:Switzerland
Affiliation:University of St. Gallen
Personal website:http://www.guidosalvaneschi.com/
Research interests:Programming languages, software engineering
Contributions
PLDI 2023 | Type-Checking CRDT Convergence | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile