@inproceedings(DBLP:conf/oopsla/AminT16,
 author       = {Nada Amin and Ross Tate},
 year         = {2016},
 title        = {Java and {S}cala's type systems are unsound: the existential crisis of null pointers},
 booktitle    = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on Object-Oriented Programming, Systems, Languages, and Applications, {OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016},
 pages        = {838--848},
 doi          = {10.1145/2983990.2984004},
)
@inproceedings(bob-higher-kinds,
 author       = {Robert Atkey},
 year         = {2012},
 title        = {Relational Parametricity for Higher Kinds},
 editor       = {Patrick C\'{e}gielski and Arnaud Durand},
 booktitle    = {Computer Science Logic (CSL'12)},
 series       = {LIPIcs},
 volume       = {16},
 doi          = {10.4230/LIPIcs.CSL.2012.46},
)
@inproceedings(typing-dynamic-typing,
 author       = {Arthur I. Baars and S. Doaitse Swierstra},
 year         = {2002},
 title        = {Typing Dynamic Typing},
 booktitle    = {Proceedings of the 7th ACM SIGPLAN International Conference on Functional Programming},
 series       = {ICFP '02},
 publisher    = {ACM},
 doi          = {10.1145/581478.581494},
)
@article(mezzo,
 author       = {Thibaut Balabonski and Fran{\c{c}}ois Pottier and Jonathan Protzenko},
 year         = {2016},
 title        = {The Design and Formalization of Mezzo, a Permission-Based Programming Language},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {38},
 number       = {4},
 pages        = {14:1--14:94},
 doi          = {10.1145/2837022},
)
@inproceedings(safe-zero-cost-coercions-for-haskell,
 author       = {Joachim Breitner and Richard A. Eisenberg and Peyton Jones, Simon and Stephanie Weirich},
 year         = {2014},
 title        = {Safe Zero-cost Coercions for Haskell},
 booktitle    = {Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming},
 series       = {ICFP '14},
 publisher    = {ACM},
 doi          = {10.1145/2628136.2628141},
)
@article(CW-private-types,
 author       = {Luca Cardelli and Peter Wegner},
 year         = {1985},
 title        = {On Understanding Types, Data Abstraction, and Polymorphism},
 journal      = {ACM Comput. Surv.},
 volume       = {17},
 number       = {4},
 pages        = {471--523},
 doi          = {10.1145/6041.6042},
)
@techreport(first-class-phantom-types,
 author       = {James Cheney and Ralf Hinze},
 year         = {2003},
 title        = {{First-Class Phantom Types}},
 type         = {Technical Report},
 institution  = {Cornell University},
)
@article(church-types,
 author       = {Alonzo Church},
 year         = {1940},
 title        = {A Formulation of the Simple Theory of Types},
 journal      = {The Journal of Symbolic Logic},
 volume       = {5},
 number       = {2},
 doi          = {10.2307/2266170},
 url          = {http://www.jstor.org/stable/2266170},
)
@inproceedings(cretin:hal-00650910,
 author       = {Julien Cretin and Didier R{\'e}my},
 year         = {2012},
 title        = {{On the Power of Coercion Abstraction}},
 booktitle    = {{POPL 2012: 39th ACM SIGPLAN-SIGACT Symposium on Principle Of Programming Languages}},
 series       = {Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 organization = {{ACM}},
 publisher    = {{ACM}},
 address      = {Philadelphia, United States},
 doi          = {10.1145/2103656.2103699},
)
@inproceedings(Emir:2006:VGC:2171327.2171352,
 author       = {Burak Emir and Andrew Kennedy and Claudio Russo and Dachuan Yu},
 year         = {2006},
 title        = {Variance and Generalized Constraints for {C\#} Generics},
 booktitle    = {Proceedings of the 20th European Conference on Object-Oriented Programming},
 series       = {ECOOP'06},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/11785477_18},
)
@inproceedings(moby-subtyping,
 author       = {Kathleen Fisher and John Reppy},
 year         = {2000},
 title        = {Extending Moby with Inheritance-Based Subtyping},
 editor       = {Elisa Bertino},
 booktitle    = {ECOOP 2000 --- Object-Oriented Programming},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {83--107},
 doi          = {10.1007/3-540-45102-1_5},
)
@inbook(relaxing-the-value-restriction,
 author       = {Jacques Garrigue},
 year         = {2004},
 title        = {Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings},
 chapter      = {Relaxing the Value Restriction},
 publisher    = {Springer Berlin Heidelberg},
)
@inproceedings(private-rows,
 author       = {Jacques Garrigue},
 year         = {2006},
 title        = {Private Row Types: Abstracting the Unnamed},
 editor       = {Naoki Kobayashi},
 booktitle    = {Programming Languages and Systems: 4th Asian Symposium, APLAS 2006},
 publisher    = {Springer Berlin Heidelberg},
 doi          = {10.1007/11924661_3},
)
@misc(kmett-magpie,
 author       = {Edward Kmett},
 year         = {2010},
 title        = {Magpie},
 howpublished = {\url{https://github.com/ekmett/magpie/}. See also \url{https://issues.scala-lang.org/browse/SI-4040}},
)
@article(a-behavioural-notion-of-subtyping,
 author       = {Barbara H. Liskov and Jeannette M. Wing},
 year         = {1994},
 title        = {A Behavioral Notion of Subtyping},
 journal      = {ACM Trans. Program. Lang. Syst.},
 volume       = {16},
 number       = {6},
 doi          = {10.1145/197320.197383},
)
@inproceedings(gadts-meet-subtyping,
 author       = {Gabriel Scherer and Didier R{\'{e}}my},
 year         = {2013},
 title        = {{GADT}s Meet Subtyping},
 editor       = {Matthias Felleisen and Philippa Gardner},
 booktitle    = {22nd European Symposium on Programming, {ESOP} 2013},
 series       = {Lecture Notes in Computer Science},
 volume       = {7792},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-37036-6_30},
)
@phdthesis(vaugon:tel-01356695,
 author       = {Benoit Vaugon},
 year         = {2016},
 title        = {{Subtyping by Constraint Saturation, Theory and Implementation}},
 type         = {Theses},
 school       = {{Universit{\'e} Paris-Saclay}},
 url          = {https://pastel.archives-ouvertes.fr/tel-01356695},
)
@article(propositions-as-types,
 author       = {Philip Wadler},
 year         = {2015},
 title        = {Propositions As Types},
 journal      = {Commun. ACM},
 volume       = {58},
 number       = {12},
 doi          = {10.1145/2699407},
)
@article(type-safe-cast,
 author       = {Stephanie Weirich},
 year         = {2004},
 title        = {Functional Pearl: type-safe cast},
 journal      = {Journal of Functional Programming},
 volume       = {14},
 doi          = {10.1017/S0956796804005179},
)
@misc(modular-implicits,
 author       = {Leo White and Fr\'{e}d\'{e}ric Bour and Jeremy Yallop},
 year         = {2015},
 title        = {Modular Implicits},
 howpublished = {ACM Workshop on ML 2014 post-proceedings},
 doi          = {10.4204/EPTCS.198.2},
)
@misc(first-class-modules-ml-2010,
 author       = {Jeremy Yallop and Oleg Kiselyov},
 year         = {2010},
 title        = {First-class modules: hidden power and tantalizing promises},
 howpublished = {ACM SIGPLAN Workshop on ML},
 note         = {Baltimore, Maryland, United States},
)
@inproceedings(higher,
 author       = {Jeremy Yallop and Leo White},
 year         = {2014},
 title        = {Lightweight Higher-Kinded Polymorphism},
 editor       = {Michael Codish and Eijiro Sumii},
 booktitle    = {Functional and Logic Programming - 12th International Symposium, {FLOPS} 2014, Kanazawa, Japan. Proceedings},
 doi          = {10.1007/978-3-319-07151-0_8},
)