Martín Abadi & Luca Cardelli (1996):
A Theory of Objects,
2nd edition,
Monographs in Computer Science.
Springer-Verlag,
doi:10.1007/978-1-4419-8598-9.
Roberto M. Amadio & Luca Cardelli (1993):
Subtyping Recursive Types.
ACM Trans. Program. Lang. Syst. 15(4),
pp. 575–631,
doi:10.1145/155183.155231.
Casper Bach Poulsen & Peter D. Mosses (2014):
Deriving Pretty-Big-Step Semantics from Small-Step Semantics.
In: Proceedings of the 23rd European Symposium on Programming Languages and Systems 8410.
Springer-Verlag,
Berlin, Heidelberg,
pp. 270–289,
doi:10.1007/978-3-642-54833-8_15.
Gilad Bracha & William Cook (1990):
Mixin-Based Inheritance.
In: Proceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications,
OOPSLA/ECOOP '90.
Association for Computing Machinery,
New York, NY, USA,
pp. 303–311,
doi:10.1145/97945.97982.
Luca Cardelli (1988):
A Semantics of Multiple Inheritance.
Information and Computation 76(2/3),
pp. 138–164,
doi:10.1016/0890-5401(88)90007-7.
Luca Cardelli, John C. Mitchell, Simone Martini & Andre Scedrov (1994):
An Extension of System F with Subtyping.
Information and Computation 109(1/2),
pp. 4–56,
doi:10.1006/inco.1994.1013.
Matteo Cimini & Jeremy G. Siek (2016):
The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems.
In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
POPL '16.
Association for Computing Machinery,
New York, NY, USA,
pp. 443–455,
doi:10.1145/2837614.2837632.
Matteo Cimini & Jeremy G. Siek (2017):
Automatically Generating the Dynamic Semantics of Gradually Typed Languages.
In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages,
POPL 2017.
ACM,
New York, NY, USA,
pp. 789–803,
doi:10.1145/3093333.3009863.
Ştefan Ciobâcă (2013):
From Small-Step Semantics to Big-Step Semantics, Automatically.
In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings,
pp. 347–361,
doi:10.1007/978-3-642-38613-8_24.
Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest & Clifford Stein (2009):
Introduction to Algorithms,
3rd edition.
The MIT Press.
Olivier Danvy (2005):
From Reduction-based to Reduction-free Normalization.
Electronic Notes in Theoretical Computer Science 124(2),
pp. 79–100,
doi:10.1016/j.entcs.2005.01.007.
Olivier Danvy (2008):
Defunctionalized Interpreters for Programming Languages.
In: Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming,
ICFP '08.
ACM,
New York, NY, USA,
pp. 131–142,
doi:10.1145/1411204.1411206.
Olivier Danvy & Lasse R. Nielsen (2004):
Refocusing in Reduction Semantics.
BRICS Report Series 11(26),
doi:10.7146/brics.v11i26.21851.
Matthias Felleisen & Matthew Flatt (2006):
Programming Languages and Lambda Calculi.
Notes available at https://www.cs.utah.edu/~mflatt/past-courses/cs7520/public_html/s06/notes.pdf and last accessed in August 2021.
Jean-Louis Krivine (2007):
A Call-by-Name Lambda-Calculus Machine.
Higher-Order and Symbolic Computation 20(3),
pp. 199–207,
doi:10.1007/s10990-007-9018-9.
Peter J. Landin (1965):
Correspondence Between ALGOL 60 and Church's Lambda-Notation: Part I.
Communications of the ACM 8,
pp. 89–101,
doi:10.1145/363744.363749.
Benjamin Mourad (2019):
Lang-n-Change Tool..
https://github.com/bmourad01/lang-n-change.
Benjamin Mourad & Matteo Cimini (2020):
A Calculus for Language Transformations.
In: 46th International Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2020).
Springer,
pp. 547–555,
doi:10.1007/978-3-030-38919-2_44.
Benjamin C. Pierce (2002):
Types and Programming Languages,
1st edition.
The MIT Press.
Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar & Rok Strniša (2007):
Ott: Effective Tool Support for the Working Semanticist.
In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming,
ICFP '07.
ACM,
New York, NY, USA,
pp. 1–12,
doi:10.1145/1291151.1291155.