• Sign in
  • Sign up
conf.researchr.org / William Blair
  • ICFP 2020 profile
  • ICFP 2023 profile

Not registered as user yet

Name:William Blair
Affiliation:Boston University

Contributions

2023

TyDe

  • Author of A Dependently Typed Language with Dynamic Equality within the TyDe 2023-track

2020

TyDe

  • Author of Developing a Dependently Typed Language with Runtime Proof Search (Extended Abstract) within the TyDe 2020-track
Share
xMon 4 Dec 07:21
using conf.researchr.org (v1.62.0)
Support page
Sign Up