Sandra Alves
Maribel Fernández
Miguel Ramos
2020
EVL: A Typed Higher-order Functional Language for Events
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
3–23
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
30–76
10.1145/227604.227609
Luca Cardelli
1988
A Semantics of Multiple Inheritance
Inf. Comput.
76
2/3
138–164
10.1016/0890-5401(88)90007-7
Luca Cardelli
John C. Mitchell
1990
Operations on records
M. Main
A. Melton
M. Mislove
D. Schmidt
Mathematical Foundations of Programming Semantics
Springer New York
New York, NY
22–52
10.1145/62678.62700
Luca Cardelli
John C. Mitchell
1991
Operations on Records
Math. Struct. Comput. Sci.
1
1
3–48
10.1017/S0960129500000049
Luca Cardelli
Peter Wegner
1985
On Understanding Types, Data Abstraction, and Polymorphism
ACM Comput. Surv.
17
4
471–522
10.1145/6041.6042
Luís Damas
Robin Milner
1982
Principal Type-Schemes for Functional Programs
Richard A. DeMillo
Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982
ACM Press
207–212
10.1145/582153.582176
Benedict R. Gaster
1998
Records, variants and qualified types
University of Nottingham, UK
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.262959
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
211–252
10.1145/169701.169696
Robert Harper
Benjamin C. Pierce
1991
A Record Calculus Based on Symmetric Concatenation
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
131–142
10.1145/99583.99603
Lalita A. Jategaonkar
John C. Mitchell
1993
Type Inference with Extended Pattern Matching and Subtypes
Fundam. Inf.
19
12
127165
10.3233/FI-1993-191-206
Mark P. Jones
1994
Qualified Types: Theory and Practice
Distinguished Dissertations in Computer Science
Cambridge University Press
10.1017/CBO9780511663086
Mark P. Jones
1994
A Theory of Qualified Types
Sci. Comput. Program.
22
3
231–256
10.1016/0167-6423(94)00005-0
Daan Leijen
2005
Extensible records with scoped labels
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
179–194
Atsushi Ohori
1995
A Polymorphic Record Calculus and Its Compilation
ACM Trans. Program. Lang. Syst.
17
6
844–895
10.1145/218570.218572
Atsushi Ohori
Peter Buneman
1988
Type Inference in a Database Programming Language
Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, July 25-27, 1988, Snowbird, Utah, USA.
ACM
174–183
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
207247
10.1017/S0956796800001040
Didier Rémy
1989
Typechecking Records and Variants in a Natural Extension of ML
Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989
ACM Press
77–88
10.1145/75277.75284
Didier Rémy
1992
Typing Record Concatenation for Free
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
166–176
10.1145/143165.143202
Didier Rémy
1994
Type Inference for Records in Natural Extension of ML
6795
MIT Press
Cambridge, MA, USA
Mitchell Wand
1987
Complete Type Inference for Simple Objects
Proceedings of the Symposium on Logic in Computer Science (LICS '87), Ithaca, New York, USA, June 22-25, 1987
IEEE Computer Society
37–44
http://www.ccs.neu.edu/home/wand/papers/wand-lics-87.pdf
Mitchell Wand
1989
Type Inference for Record Concatenation and Multiple Inheritance
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), Pacific Grove, California, USA, June 5-8, 1989
IEEE Computer Society
92–97
10.1109/LICS.1989.39162