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.
Hendrik Pieter Barendregt (1985):
The lambda calculus - its syntax and semantics.
Studies in logic and the foundations of mathematics 103.
North-Holland.
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.
Luca Cardelli (1988):
A Semantics of Multiple Inheritance.
Inf. Comput. 76(2/3),
pp. 138–164,
doi:10.1016/0890-5401(88)90007-7.
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.
Luca Cardelli & John C. Mitchell (1991):
Operations on Records.
Math. Struct. Comput. Sci. 1(1),
pp. 3–48,
doi:10.1017/S0960129500000049.
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.
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.
Benedict R. Gaster & Mark P. Jones (1996):
A Polymorphic Type System for Extensible Records and Variants.
Technical Report.
University of Nottingham.
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.
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.
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.
Mark P. Jones (1994):
Qualified Types: Theory and Practice.
Distinguished Dissertations in Computer Science.
Cambridge University Press,
doi:10.1017/CBO9780511663086.
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.
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.
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.
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.
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.
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.
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.
Didier Rémy (1994):
Type Inference for Records in Natural Extension of ML,
pp. 6795.
MIT Press,
Cambridge, MA, USA.
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 http://www.ccs.neu.edu/home/wand/papers/wand-lics-87.pdf.
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.
eptcs@eptcs.org