Giters

nuprl / gtp

NSF grant website

Home Page:http://prl.ccs.neu.edu/gtp

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Papers to add

samth opened this issue · comments

commented
  • Sounds Gradual Typing, Only mostly dead: Bauman et al, OOPSLA 2017
  • Theorems for Free for Free: Parametricity, With and Without Types: Ahmed et al, ICFP 2017