‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy

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