Some useful resources

[nikgalanop]

Some Edsger implementations in OCaml:

• https://github.com/abenetopoulos/edsger-compiler
• https://github.com/ctsan/Edsger-Compiler/
• https://github.com/StathisGln/Ntua-Compilers-2016

[nikgalanop]

Testing Resources for OCaml:

• https://cs3110.github.io/textbook/chapters/data/ounit.html
• https://dev.realworldocaml.org/testing.html
• https://dune.readthedocs.io/en/stable/tests.html

[nikgalanop]

Dune Documentation:

• https://jbuilder.readthedocs.io/en/latest/quick-start.html?fbclid=IwAR0BKJJZqTg7p4h_PqFCsOYLC5gjzZv9rVTa-RiuvY1i3Hehm_YX2KFpmRM

[nikgalanop]

OCaml Programming Guidelines:

• https://ocaml.org/docs/guidelines?fbclid=IwAR1FRijFiGy6-n1oo0BvObw_oi_oISuzGq5QfcFVg22SG9y8iTiMUe4nx_8

[nikgalanop]

OCaml References:

• https://cs3110.github.io/textbook/cover.html
• https://dev.realworldocaml.org/
• https://v2.ocaml.org/manual/index.html

[nikgalanop]

Some info about Pascal: (Since Edsger follows the same scope rules as Pascal)

• https://www.marcocantu.com/epascal/English/ch06proc.htm
• https://www.freepascal.org/docs-html/ref/refse97.html (Forward Declarations)
• https://www.freepascal.org/docs-html/ref/refse96.html (Function Overloading)

[nikgalanop]

Typecasting in C:

• https://kremlin.cc/k&r.pdf (p. 42)
• https://zhu45.org/posts/2017/Jan/19/typecasting-in-c/
• https://en.cppreference.com/w/c/language/cast

[nikgalanop]

Course lab code:

• http://courses.softlab.ntua.gr/compilers/2022a/Labs/ (2022, Minibasic Compiler in C/C++)
• https://courses.softlab.ntua.gr/compilers/2011a/examples/minibasic/OCaml/ (2011, Minibasic Compiler in OCaml)

[nikgalanop]

Language Specifications:

• Edsger
• C99
• Alan

[nikgalanop]

LLVM Resources:

• Getting Started with LLVM
• Kaleidoscope in OCaml
• LLVM OCaml Module
    1. Basic Documentation
• Some slides about structured data in LLVM

[nikgalanop]

Nested Functions

• Basic Idea
• Function Closures
• Pass everything as a parameter?
• A discussion
• Another discussion

[nikgalanop]

Some implementation references:

• https://github.com/kimonides/GinNTony/blob/master/llvm/ast.hpp
• https://github.com/papachristoumarios/pcl/blob/master/pcl/ast.py