2012-01-01

Superficially substructural types

Tags

Trustworthy Information Processing

Conference / Medium

ACM SIGPLAN International Conference on Functional Programming (ICFP 2012)

Date published

2012-01-01

Date last modified

2019-07-18 12:09:28

Authors

Neelakantan R. Krishnaswami
Aaron Turon
Derek Dreyer
Deepak Garg

Download