• Sign in
  • Sign up
conf.researchr.org / Michael Shulman
  • ICFP 2017 profile
  • POPL 2017 profile
  • POPL 2024 profile
No Photo

Registered user since Fri 18 Nov 2016

Name:Michael Shulman

Contributions

2024

POPL

  • Author of Internal parametricity, without an interval within the POPL-track

2017

FSCD

  • Author of A Fibrational Framework for Substructural and Modal Logics within the FSCD 2017-track

CPP

  • Author of The HoTT library: a formalization of homotopy type theory in Coq within the CPP-track
Share
xSun 25 May 13:17
using conf.researchr.org (v1.69.0)
Support page
Sign Up