
Registered user since Mon 27 Aug 2018
Name:Larry Diehl
Contributions
TyDe 2016 | Generic Lookup and Update for Infinitary Inductive-Recursive Types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2016-profile
View general profile
View general profile
Registered user since Mon 27 Aug 2018
Contributions
TyDe 2016 | Generic Lookup and Update for Infinitary Inductive-Recursive Types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |