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

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

Share
xFri 23 Apr 20:17
using conf.researchr.org (v1.45.0)
Support page
Sign Up