Marco Maggesi -

Registered user since Tue 28 Jan 2020

Name:Marco Maggesi

Affiliation:Università di Firenze

Contributions

miniKanRen 2022	PC Member in Program Committee within the miniKanren 2022-track
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