‹Programming› 2019 (series) / Francesco Dagnino
Registered user since Thu 19 Apr 2018
Name:Francesco Dagnino
Country:Italy
Affiliation:DIBRIS, University of Genova, Italy
Personal website:https://www.dibris.unige.it/en/dagnino-francesco
Contributions
| ‹Programming› 2019 | A framework for big-step semantics A framework for big-step semantics (short presentation) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
‹Programming› 2019-profile
View general profile
View general profile