References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. James Cheney & Ralf Hinze (2003): First-Class Phantom Types. Technical Report. Cornell University.
  8. Alonzo Church (1940): A Formulation of the Simple Theory of Types. The Journal of Symbolic Logic 5(2), doi:10.2307/2266170. Available at http://www.jstor.org/stable/2266170.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. Edward Kmett (2010): Magpie. https://github.com/ekmett/magpie/. See also https://issues.scala-lang.org/browse/SI-4040.
  15. Barbara H. Liskov & Jeannette M. Wing (1994): A Behavioral Notion of Subtyping. ACM Trans. Program. Lang. Syst. 16(6), doi:10.1145/197320.197383.
  16. 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.
  17. Benoit Vaugon (2016): Subtyping by Constraint Saturation, Theory and Implementation. Theses. Université Paris-Saclay. Available at https://pastel.archives-ouvertes.fr/tel-01356695.
  18. Philip Wadler (2015): Propositions As Types. Commun. ACM 58(12), doi:10.1145/2699407.
  19. Stephanie Weirich (2004): Functional Pearl: type-safe cast. Journal of Functional Programming 14, doi:10.1017/S0956796804005179.
  20. Leo White, Frédéric Bour & Jeremy Yallop (2015): Modular Implicits. ACM Workshop on ML 2014 post-proceedings, doi:10.4204/EPTCS.198.2.
  21. Jeremy Yallop & Oleg Kiselyov (2010): First-class modules: hidden power and tantalizing promises. ACM SIGPLAN Workshop on ML. Baltimore, Maryland, United States.
  22. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org