‹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