top
new
show
ask
jobs
about

Can Advanced Type Systems Be Usable? [pdf]

cs.cmu.edu

4 points by azhenley a day ago