TY  - RPRT
TI  - Type Classes for Lightweight Substructural Types
AU  - Edward Gan
AU  - Jesse A. Tov
AU  - Greg Morrisett
PY  - 2015
DO  - 10.4204/eptcs.176.4
UR  - https://arxiv.org/abs/1502.04772
ID  - 1502.04772
ER  -