search

vendethiel / read

(Meta) Read list.
0 stars 0 forks source link

Dependent Type Systems as Macros #91

Closed vendethiel closed 4 years ago

vendethiel commented 4 years ago

https://www.ccs.neu.edu/home/stchang/pubs/cbtb-popl2020.pdf