• Sign in
  • Sign up
conf.researchr.org / Marco Maggesi
  • ICFP 2020 profile
  • ICFP 2022 profile
  • POPL 2020 profile

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

Share
xFri 9 Jun 21:05
using conf.researchr.org (v1.60.0)
Support page
Sign Up