• Sign in
  • Sign up
conf.researchr.org / Andre Videla
  • ICFP 2021 profile
  • POPL 2024 profile
No Photo

Registered user since Wed 28 Jul 2021

Name:Andre Videla
Affiliation:University Of Strathclyde

Contributions

2024

WITS

  • Author of Binding Syntax for Dependently-Typed Programs within the WITS 2024-track

2021

TyDe

  • Author of Optics for Generic Declarative Server APIs (Extended Abstract) within the TyDe 2021-track
Share
xWed 21 May 10:13
using conf.researchr.org (v1.69.0)
Support page
Sign Up