1. 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.
  2. Roberto M. Amadio & Luca Cardelli (1993): Subtyping Recursive Types. ACM Trans. Program. Lang. Syst. 15(4), pp. 575–631, doi:10.1145/155183.155231.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. Ş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.
  10. Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest & Clifford Stein (2009): Introduction to Algorithms, 3rd edition. The MIT Press.
  11. 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.
  12. 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.
  13. Olivier Danvy & Lasse R. Nielsen (2004): Refocusing in Reduction Semantics. BRICS Report Series 11(26), doi:10.7146/brics.v11i26.21851.
  14. Matthias Felleisen & Matthew Flatt (2006): Programming Languages and Lambda Calculi. Notes available at and last accessed in August 2021.
  15. 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.
  16. 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.
  17. Benjamin Mourad (2019): Lang-n-Change Tool..
  18. 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.
  19. Benjamin C. Pierce (2002): Types and Programming Languages, 1st edition. The MIT Press.
  20. 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.

Comments and questions to:
For website issues: