Types, Sémantique et Sécurité

Features to be implemented

• comments TP04
• function application (right association) TP04
• lambda abstractions TP04
• global context binding (let) TP04
• read from file TP04
• REPL TP04
• if-then-else TP05
• naturals TP05
• booleans TP05
• type-system TP05
• unit value & type TP07
• sequences TP07
• local context binding (let-in) TP07
• records (key-value) TP07
• type variants TP07
• recursive function definition TP07
• references (mutable memory slot) TP08
• exceptions TP09