@inproceedings(AlvesFR20,
 author       = {Sandra Alves and Maribel Fern{\'{a}}ndez and Miguel Ramos},
 year         = {2020},
 title        = {{EVL:} {A} Typed Higher-order Functional Language for Events},
 editor       = {Cl{\'{a}}udia Nalon and Giselle Reis},
 booktitle    = {Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
 series       = {Electronic Notes in Theoretical Computer Science},
 volume       = {351},
 publisher    = {Elsevier},
 pages        = {3--23},
 doi          = {10.1016/j.entcs.2020.08.002},
)
@book(Barendregt85,
 author       = {Hendrik Pieter Barendregt},
 year         = {1985},
 title        = {The lambda calculus - its syntax and semantics},
 series       = {Studies in logic and the foundations of mathematics},
 volume       = {103},
 publisher    = {North-Holland},
)
@article(BunemanO96,
 author       = {Peter Buneman and Atsushi Ohori},
 year         = {1996},
 title        = {Polymorphism and Type Inference in Database Programming},
 journal      = {{ACM} Trans. Database Syst.},
 volume       = {21},
 number       = {1},
 pages        = {30--76},
 doi          = {10.1145/227604.227609},
)
@article(Cardelli88,
 author       = {Luca Cardelli},
 year         = {1988},
 title        = {A Semantics of Multiple Inheritance},
 journal      = {Inf. Comput.},
 volume       = {76},
 number       = {2/3},
 pages        = {138--164},
 doi          = {10.1016/0890-5401(88)90007-7},
)
@inproceedings(Cardelli90,
 author       = {Luca Cardelli and John C. Mitchell},
 year         = {1990},
 title        = {Operations on records},
 editor       = {M. Main and A. Melton and M. Mislove and D. Schmidt},
 booktitle    = {Mathematical Foundations of Programming Semantics},
 publisher    = {Springer New York},
 address      = {New York, NY},
 pages        = {22--52},
 doi          = {10.1145/62678.62700},
)
@article(CardelliM91,
 author       = {Luca Cardelli and John C. Mitchell},
 year         = {1991},
 title        = {Operations on Records},
 journal      = {Math. Struct. Comput. Sci.},
 volume       = {1},
 number       = {1},
 pages        = {3--48},
 doi          = {10.1017/S0960129500000049},
)
@article(CardelliW85,
 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--522},
 doi          = {10.1145/6041.6042},
)
@inproceedings(DamasM82,
 author       = {Lu{\'{\i}}s Damas and Robin Milner},
 year         = {1982},
 title        = {Principal Type-Schemes for Functional Programs},
 editor       = {Richard A. DeMillo},
 booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
 publisher    = {{ACM} Press},
 pages        = {207--212},
 doi          = {10.1145/582153.582176},
)
@phdthesis(Gaster98,
 author       = {Benedict R. Gaster},
 year         = {1998},
 title        = {Records, variants and qualified types},
 school       = {University of Nottingham, {UK}},
 url          = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.262959},
)
@techreport(Gaster96,
 author       = {Benedict R. Gaster and Mark P. Jones},
 year         = {1996},
 title        = {A Polymorphic Type System for Extensible Records and Variants},
 type         = {Technical Report},
 institution  = {University of Nottingham},
)
@article(HarperM93,
 author       = {Robert Harper and John C. Mitchell},
 year         = {1993},
 title        = {On the Type Structure of Standard {ML}},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {15},
 number       = {2},
 pages        = {211--252},
 doi          = {10.1145/169701.169696},
)
@inproceedings(HarperP91,
 author       = {Robert Harper and Benjamin C. Pierce},
 year         = {1991},
 title        = {A Record Calculus Based on Symmetric Concatenation},
 editor       = {David S. Wise},
 booktitle    = {Conference Record of the Eighteenth Annual {ACM} Symposium on Principles of Programming Languages, Orlando, Florida, USA, January 21-23, 1991},
 publisher    = {{ACM} Press},
 pages        = {131--142},
 doi          = {10.1145/99583.99603},
)
@article(Jategaonkar93,
 author       = {Lalita A. Jategaonkar and John C. Mitchell},
 year         = {1993},
 title        = {Type Inference with Extended Pattern Matching and Subtypes},
 journal      = {Fundam. Inf.},
 volume       = {19},
 number       = {1\IeC{\textendash}2},
 pages        = {127\IeC{\textendash}165},
 doi          = {10.3233/FI-1993-191-206},
)
@book(Jones94a,
 author       = {Mark P. Jones},
 year         = {1994},
 title        = {Qualified Types: Theory and Practice},
 series       = {Distinguished Dissertations in Computer Science},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511663086},
)
@article(Jones94,
 author       = {Mark P. Jones},
 year         = {1994},
 title        = {A Theory of Qualified Types},
 journal      = {Sci. Comput. Program.},
 volume       = {22},
 number       = {3},
 pages        = {231--256},
 doi          = {10.1016/0167-6423(94)00005-0},
)
@inproceedings(Leijen05,
 author       = {Daan Leijen},
 year         = {2005},
 title        = {Extensible records with scoped labels},
 editor       = {Marko C. J. D. van Eekelen},
 booktitle    = {Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
 series       = {Trends in Functional Programming},
 volume       = {6},
 publisher    = {Intellect},
 pages        = {179--194},
)
@article(Ohori95,
 author       = {Atsushi Ohori},
 year         = {1995},
 title        = {A Polymorphic Record Calculus and Its Compilation},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {17},
 number       = {6},
 pages        = {844--895},
 doi          = {10.1145/218570.218572},
)
@inproceedings(OhoriB88,
 author       = {Atsushi Ohori and Peter Buneman},
 year         = {1988},
 title        = {Type Inference in a Database Programming Language},
 booktitle    = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional Programming, {LFP} 1988, July 25-27, 1988, Snowbird, Utah, {USA.}},
 publisher    = {{ACM}},
 pages        = {174--183},
 doi          = {10.1145/62678.62700},
)
@article(PT1994,
 author       = {Benjamin C. Pierce and David N. Turner},
 year         = {1994},
 title        = {Simple type-theoretic foundations for object-oriented programming},
 journal      = {Journal of Functional Programming},
 volume       = {4},
 number       = {2},
 pages        = {207\IeC{\textendash}247},
 doi          = {10.1017/S0956796800001040},
)
@inproceedings(Remy89,
 author       = {Didier R{\'{e}}my},
 year         = {1989},
 title        = {Typechecking Records and Variants in a Natural Extension of {ML}},
 booktitle    = {Conference Record of the Sixteenth Annual {ACM} Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989},
 publisher    = {{ACM} Press},
 pages        = {77--88},
 doi          = {10.1145/75277.75284},
)
@inproceedings(Remy92,
 author       = {Didier R{\'{e}}my},
 year         = {1992},
 title        = {Typing Record Concatenation for Free},
 editor       = {Ravi Sethi},
 booktitle    = {Conference Record of the Nineteenth Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 19-22, 1992},
 publisher    = {{ACM} Press},
 pages        = {166--176},
 doi          = {10.1145/143165.143202},
)
@inbook(Remy94,
 author       = {Didier R\'{e}my},
 year         = {1994},
 title        = {Type Inference for Records in Natural Extension of ML},
 pages        = {67\IeC{\textendash}95},
 publisher    = {MIT Press},
 address      = {Cambridge, MA, USA},
)
@inproceedings(Wand87,
 author       = {Mitchell Wand},
 year         = {1987},
 title        = {Complete Type Inference for Simple Objects},
 booktitle    = {Proceedings of the Symposium on Logic in Computer Science {(LICS} '87), Ithaca, New York, USA, June 22-25, 1987},
 publisher    = {{IEEE} Computer Society},
 pages        = {37--44},
 url          = {http://www.ccs.neu.edu/home/wand/papers/wand-lics-87.pdf},
)
@inproceedings(Wand89,
 author       = {Mitchell Wand},
 year         = {1989},
 title        = {Type Inference for Record Concatenation and Multiple Inheritance},
 booktitle    = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science {(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
 publisher    = {{IEEE} Computer Society},
 pages        = {92--97},
 doi          = {10.1109/LICS.1989.39162},
)