This page will list down the course activities in addition to the lectures.

Programming Assignments (6 x 8% = 48% + 2%):

Note: All deadlines are set to 23:59.

Assignment #0 (2%) : Aug 15, 2021 (submit here).
Aim : docker set up, jupyter notebook setup - basic OCaml.
Assignment #1 (8%) : Sep 04, 2021 (submit here).
Aim : Programming in OCaml - Lists, Tuples, Records, Variants, Recursion.
Assignment #2 (8%) : Sep 25, 2021 (submit here).
Aim : Building an interpreter for untyped lambda calculus interpreter (using OCaml).
Assignment #3 (8%) : Oct 24, 2021 (submit here).
Aim : Side effects, Modules, Structure, Signature, and Functors in OCaml.
Assignment #4 (8%) : Nov 01, 2021 (submit here).
Aim : Basic Programming in SWIProlog.
Assignment #5 (8%) : Nov 7, 2021 (submit here).
Aim : Lists and self-reference in Prolog (in SWIProlog)
Assignment #6 (8%) : Nov 12, 2021 (submit here).
Aim : To build a prolog interpreter in OCaml.

(Ack: We are reusing the assignment ideas from an an earlier offering of this course at IIT Madras by KC Sivaramakrishnan. Thanks KC for the permission !.)

Exams :

Note: All exams will be online on moodle with questions randomly chosen from a bigger set of questions.

CS3100 - Paradigms of Programming