@article(computationabramsky,
 author       = "Samson Abramsky",
 year         = "1993",
 title        = "Computational Interpretations of Linear Logic",
 journal      = "Theor. Comput. Sci.",
 volume       = "111",
 number       = "1-2",
 doi          = "10.1016/0304-3975(93)90181-R",
)
@inproceedings(stepindexed,
 author       = "Amal Ahmed and Matthew Fluet and Greg Morrisett",
 year         = "2005",
 title        = "A Step-Indexed Model of Substructural State",
 booktitle    = "Proc.~10th ACM SIGPLAN International Conference on Functional Programming (ICFP'05)",
 doi          = "10.1145/1086365.1086376",
)
@inproceedings(recursor,
 author       = "Sandra Alves and Maribel Fern\'{a}ndez and M\'{a}rio Florido and Ian Mackie",
 year         = "2011",
 title        = "Linearity and Recursion in a Typed Lambda-calculus",
 booktitle    = "Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practices of Declarative Programming",
 series       = "PPDP '11",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "173--182",
 doi          = "10.1145/2003476.2003500",
)
@article(linquick,
 author       = "Henry G. Baker",
 year         = "1994",
 title        = "A ``linear logic'' Quicksort",
 journal      = "SIGPLAN Not.",
 volume       = "29",
 number       = "2",
 pages        = "13--18",
 doi          = "10.1145/181748.181750",
)
@inproceedings(uniqueness,
 author       = "Erik Barendsen and Sjaak Smetsers",
 year         = "1996",
 title        = "Uniqueness Typing for Functional Languages with Graph Rewriting Semantics",
 booktitle    = "Math. Struct. Comp. Sci.",
)
@phdthesis(ill,
 author       = "Gavin M. Bierman",
 year         = "1993",
 title        = "On Intuitionistic Linear Logic",
 school       = "University of Cambridge",
)
@article(computational-linear,
 author       = "Jawahar Chirimar and Carl A. Gunter and Jon G. Riecke",
 year         = "1996",
 title        = "Reference Counting as a Computational Interpretation of Linear Logic",
 journal      = "Journal of Functional Programming",
 volume       = "6",
 pages        = "6--2",
 doi          = "10.1017/S0956796800001660",
)
@inproceedings(damas82,
 author       = "Luis Damas and Robin Milner",
 year         = "1982",
 title        = "Principal Type-Schemes for Functional Programs",
 booktitle    = "Proc.~9th Annual ACM Symposium on Principles of Programming Languages (POPL'82)",
 doi          = "10.1145/582153.582176",
)
@techreport(ganthesis,
 author       = "Edward Gan",
 year         = "2013",
 title        = "Clamp: Type Classes for Substructural Types",
 type         = "Senior Thesis",
 institution  = "Harvard University",
 url          = "http://edgan8.github.io/",
)
@article(sessiongay,
 author       = "Simon J. Gay and Vasco T. Vasconcelos",
 year         = "2010",
 title        = "Linear type theory for asynchronous session types",
 journal      = "Journal of Functional Programming",
 volume       = "20",
 pages        = "19--50",
 doi          = "10.1017/S0956796809990268",
)
@phdthesis(girardF,
 author       = "Jean-Yves Girard",
 year         = "1972",
 title        = "Interpr{\'e}tation fonctionnelle et Elimination des coupures de l'arithm{\'e}tique d'ordre sup{\'e}rieur",
 type         = "These d'{\'e}tat",
 school       = "Universit{\'e} de Paris 7",
 doi          = "10.1016/0304-3975(87)90045-4",
)
@book(qualtypes,
 author       = "Mark P. Jones",
 year         = "1995",
 title        = "Qualified Types: Theory and Practice",
 publisher    = "Cambridge University Press",
 address      = "New York",
)
@inproceedings(typinghaskell,
 author       = "Mark P. Jones",
 year         = "1999",
 title        = "Typing {Haskell} in {Haskell}",
 booktitle    = "Proc.~1999 Haskell Workshop",
)
@inproceedings(fpop,
 author       = "Karl Mazurak and Jianzhou Zhao and Steve Zdancewic",
 year         = "2010",
 title        = "Lightweight Linear Types in {System~F}$^\circ $",
 booktitle    = "Proc.~5th ACM SIGPLAN Workshop on Types in Language Design and Implementation",
 doi          = "10.1145/1708016.1708027",
)
@unpublished(haskell98,
 author       = "Simon {Peyton Jones} and John Hughes, ed.",
 year         = "1999",
 title        = "Haskell 98: A Non-Strict, Purely Functional Language",
)
@phdthesis(tovthesis,
 author       = "Jesse A. Tov",
 year         = "2012",
 title        = "Practical Programming with Substructural Types",
 school       = "Northeastern University",
)
@inproceedings(practical-affine,
 author       = "Jesse A. Tov and Riccardo Pucella",
 year         = "2011",
 title        = "Practical Affine Types",
 booktitle    = "Proc.~38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'11)",
 doi          = "10.1145/1926385.1926436",
)
@incollection(uniqueness-simple,
 author       = "Edsko Vries and Rinus Plasmeijer and David M. Abrahamson",
 year         = "2008",
 title        = "Implementation and Application of Functional Languages",
 chapter      = "Uniqueness Typing Simplified",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "201--218",
 doi          = "10.1007/978-3-540-85373-2\_12",
)
@inproceedings(wadleradhoc,
 author       = "Philip Wadler and Stephen Blott",
 year         = "1989",
 title        = "How to Make Ad-Hoc Polymorphism Less Ad Hoc",
 booktitle    = "Proc.~16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'89)",
 doi          = "10.1145/75277.75283",
)
@inbook(atapl,
 author       = "David Walker",
 year         = "2005",
 title        = "Advanced Topics in Types and Programming Languages",
 chapter      = "1",
 publisher    = "MIT Press",
 address      = "Cambridge, Mass., U.S.A.",
)
@inproceedings(onceuponpolymorphic,
 author       = "Keith Wansbrough and Simon Peyton Jones",
 year         = "1999",
 title        = "Once upon a Polymorphic Type",
 booktitle    = "Proc.~26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'99)",
 publisher    = "ACM",
 pages        = "15--28",
 doi          = "10.1145/292540.292545",
)