Nada Amin & Ross Tate (2016):
Java and Scala's type systems are unsound: the existential crisis of null pointers.
In: 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,
pp. 838–848,
doi:10.1145/2983990.2984004.
Robert Atkey (2012):
Relational Parametricity for Higher Kinds.
In: Patrick Cégielski & Arnaud Durand: Computer Science Logic (CSL'12),
LIPIcs 16,
doi:10.4230/LIPIcs.CSL.2012.46.
Arthur I. Baars & S. Doaitse Swierstra (2002):
Typing Dynamic Typing.
In: Proceedings of the 7th ACM SIGPLAN International Conference on Functional Programming,
ICFP '02.
ACM,
doi:10.1145/581478.581494.
Thibaut Balabonski, François Pottier & Jonathan Protzenko (2016):
The Design and Formalization of Mezzo, a Permission-Based Programming Language.
ACM Trans. Program. Lang. Syst. 38(4),
pp. 14:1–14:94,
doi:10.1145/2837022.
Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones & Stephanie Weirich (2014):
Safe Zero-cost Coercions for Haskell.
In: Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming,
ICFP '14.
ACM,
doi:10.1145/2628136.2628141.
Luca Cardelli & Peter Wegner (1985):
On Understanding Types, Data Abstraction, and Polymorphism.
ACM Comput. Surv. 17(4),
pp. 471–523,
doi:10.1145/6041.6042.
Julien Cretin & Didier Rémy (2012):
On the Power of Coercion Abstraction.
In: POPL 2012: 39th ACM SIGPLAN-SIGACT Symposium on Principle Of Programming Languages,
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.
ACM.
ACM,
Philadelphia, United States,
doi:10.1145/2103656.2103699.
Burak Emir, Andrew Kennedy, Claudio Russo & Dachuan Yu (2006):
Variance and Generalized Constraints for C# Generics.
In: Proceedings of the 20th European Conference on Object-Oriented Programming,
ECOOP'06.
Springer-Verlag,
doi:10.1007/11785477_18.
Kathleen Fisher & John Reppy (2000):
Extending Moby with Inheritance-Based Subtyping.
In: Elisa Bertino: ECOOP 2000 — Object-Oriented Programming.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 83–107,
doi:10.1007/3-540-45102-1_5.
Jacques Garrigue (2004):
Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings, chapter Relaxing the Value Restriction.
Springer Berlin Heidelberg.
Jacques Garrigue (2006):
Private Row Types: Abstracting the Unnamed.
In: Naoki Kobayashi: Programming Languages and Systems: 4th Asian Symposium, APLAS 2006.
Springer Berlin Heidelberg,
doi:10.1007/11924661_3.
Edward Kmett (2010):
Magpie.
https://github.com/ekmett/magpie/. See also https://issues.scala-lang.org/browse/SI-4040.
Barbara H. Liskov & Jeannette M. Wing (1994):
A Behavioral Notion of Subtyping.
ACM Trans. Program. Lang. Syst. 16(6),
doi:10.1145/197320.197383.
Gabriel Scherer & Didier Rémy (2013):
GADTs Meet Subtyping.
In: Matthias Felleisen & Philippa Gardner: 22nd European Symposium on Programming, ESOP 2013,
Lecture Notes in Computer Science 7792.
Springer,
doi:10.1007/978-3-642-37036-6_30.
Leo White, Frédéric Bour & Jeremy Yallop (2015):
Modular Implicits.
ACM Workshop on ML 2014 post-proceedings,
doi:10.4204/EPTCS.198.2.
Jeremy Yallop & Oleg Kiselyov (2010):
First-class modules: hidden power and tantalizing promises.
ACM SIGPLAN Workshop on ML.
Baltimore, Maryland, United States.
Jeremy Yallop & Leo White (2014):
Lightweight Higher-Kinded Polymorphism.
In: Michael Codish & Eijiro Sumii: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan. Proceedings,
doi:10.1007/978-3-319-07151-0_8.