@Inproceedings{EPTCS176.4, author = {Gan, Edward and Tov, Jesse A. and Morrisett, Greg}, year = {2015}, title = {Type Classes for Lightweight Substructural Types}, editor = {Alves, Sandra and Cervesato, Iliano}, booktitle = {{\rm Proceedings Third International Workshop on} Linearity, {\rm Vienna, Austria, 13th July, 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {176}, publisher = {Open Publishing Association}, pages = {34-48}, doi = {10.4204/EPTCS.176.4}, }