search

CompSciCabal / SMRTYPRTY

We read computer science books for fun. This is where the secret notes live.
The Unlicense
77 stars 10 forks source link

Call-by-Name Gradual Type Theory #89

Open hzafar opened 6 years ago

hzafar commented 6 years ago

https://arxiv.org/pdf/1802.00061.pdf