OCaml programming language interpreter

The project consists of following deliverables in the OCaml programming language:

• interpreter_bigstep: Interpreter of the language Arith in big-step evaluation semantics.

• interpreter_dynamic: Interpreter of the Lambda Calculus with dynamic scope and dynamic typing.

• interpreter: Interpreter of the language FPL with all the features we have seen up to the topic Exceptions included.

NOTE: The project consists of the following items, which must be done sequentially.

To switch to the next item, you need to pass all the tests prescribed for the previous items.

Refer to the below table for appropriate deliverables for all the features

Feature Deliverable

Syntax start interpreter_bigstep

Big-step semantics interpreter_bigstep completed

Small-step semantics start interpreter

Type systems continue on interpreter

Typed Lambda Calculus continue on interpreter

Dynamic Scoping start interpreter_dynamic

Dynamic Typing interpreter_dynamic completed

Recursion continue on interpreter

Exceptions interpreter completed

Note: Even if the deliverable folder name is same for the feature each feature code would be separate files in the respective folder.

Machine Learning (ML) AI (Artificial Intelligence) HW/SW

Project ID: #32136427

About the project