1. Sandra Alves, Maribel Fernández & Miguel Ramos (2020): EVL: A Typed Higher-order Functional Language for Events. In: Cláudia Nalon & Giselle Reis: Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2020, Electronic Notes in Theoretical Computer Science 351. Elsevier, pp. 3–23, doi:10.1016/j.entcs.2020.08.002.
  2. Hendrik Pieter Barendregt (1985): The lambda calculus - its syntax and semantics. Studies in logic and the foundations of mathematics 103. North-Holland.
  3. Peter Buneman & Atsushi Ohori (1996): Polymorphism and Type Inference in Database Programming. ACM Trans. Database Syst. 21(1), pp. 30–76, doi:10.1145/227604.227609.
  4. Luca Cardelli (1988): A Semantics of Multiple Inheritance. Inf. Comput. 76(2/3), pp. 138–164, doi:10.1016/0890-5401(88)90007-7.
  5. Luca Cardelli & John C. Mitchell (1990): Operations on records. In: M. Main, A. Melton, M. Mislove & D. Schmidt: Mathematical Foundations of Programming Semantics. Springer New York, New York, NY, pp. 22–52, doi:10.1145/62678.62700.
  6. Luca Cardelli & John C. Mitchell (1991): Operations on Records. Math. Struct. Comput. Sci. 1(1), pp. 3–48, doi:10.1017/S0960129500000049.
  7. Luca Cardelli & Peter Wegner (1985): On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4), pp. 471–522, doi:10.1145/6041.6042.
  8. Luís Damas & Robin Milner (1982): Principal Type-Schemes for Functional Programs. In: Richard A. DeMillo: Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982. ACM Press, pp. 207–212, doi:10.1145/582153.582176.
  9. Benedict R. Gaster (1998): Records, variants and qualified types. University of Nottingham, UK. Available at
  10. Benedict R. Gaster & Mark P. Jones (1996): A Polymorphic Type System for Extensible Records and Variants. Technical Report. University of Nottingham.
  11. Robert Harper & John C. Mitchell (1993): On the Type Structure of Standard ML. ACM Trans. Program. Lang. Syst. 15(2), pp. 211–252, doi:10.1145/169701.169696.
  12. Robert Harper & Benjamin C. Pierce (1991): A Record Calculus Based on Symmetric Concatenation. In: David S. Wise: Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, USA, January 21-23, 1991. ACM Press, pp. 131–142, doi:10.1145/99583.99603.
  13. Lalita A. Jategaonkar & John C. Mitchell (1993): Type Inference with Extended Pattern Matching and Subtypes. Fundam. Inf. 19(12), pp. 127165, doi:10.3233/FI-1993-191-206.
  14. Mark P. Jones (1994): Qualified Types: Theory and Practice. Distinguished Dissertations in Computer Science. Cambridge University Press, doi:10.1017/CBO9780511663086.
  15. Mark P. Jones (1994): A Theory of Qualified Types. Sci. Comput. Program. 22(3), pp. 231–256, doi:10.1016/0167-6423(94)00005-0.
  16. Daan Leijen (2005): Extensible records with scoped labels. In: Marko C. J. D. van Eekelen: Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005, Trends in Functional Programming 6. Intellect, pp. 179–194.
  17. Atsushi Ohori (1995): A Polymorphic Record Calculus and Its Compilation. ACM Trans. Program. Lang. Syst. 17(6), pp. 844–895, doi:10.1145/218570.218572.
  18. Atsushi Ohori & Peter Buneman (1988): Type Inference in a Database Programming Language. In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, July 25-27, 1988, Snowbird, Utah, USA.. ACM, pp. 174–183, doi:10.1145/62678.62700.
  19. Benjamin C. Pierce & David N. Turner (1994): Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming 4(2), pp. 207247, doi:10.1017/S0956796800001040.
  20. Didier Rémy (1989): Typechecking Records and Variants in a Natural Extension of ML. In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989. ACM Press, pp. 77–88, doi:10.1145/75277.75284.
  21. Didier Rémy (1992): Typing Record Concatenation for Free. In: Ravi Sethi: Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 19-22, 1992. ACM Press, pp. 166–176, doi:10.1145/143165.143202.
  22. Didier Rémy (1994): Type Inference for Records in Natural Extension of ML, pp. 6795. MIT Press, Cambridge, MA, USA.
  23. Mitchell Wand (1987): Complete Type Inference for Simple Objects. In: Proceedings of the Symposium on Logic in Computer Science (LICS '87), Ithaca, New York, USA, June 22-25, 1987. IEEE Computer Society, pp. 37–44. Available at
  24. Mitchell Wand (1989): Type Inference for Record Concatenation and Multiple Inheritance. In: Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), Pacific Grove, California, USA, June 5-8, 1989. IEEE Computer Society, pp. 92–97, doi:10.1109/LICS.1989.39162.

Comments and questions to:
For website issues: