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