Marco Maggesi -

Registered user since Tue 28 Jan 2020

Name: Marco Maggesi

Affiliation: Università di Firenze

Contributions

miniKanren 2020	Author of Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System within the miniKanren 2020-track
POPL 2020	Author of Reduction Monads and Their Signatures within the Research Papers-track