https://github.com/adityjhaa/col226

Programming Languages
https://github.com/adityjhaa/col226

Last synced: 4 days ago
JSON representation

Programming Languages

• Host: GitHub
• URL: https://github.com/adityjhaa/col226
• Owner: adityjhaa
• Created: 2024-01-12T15:56:50.000Z (12 months ago)
• Default Branch: main
• Last Pushed: 2024-05-04T03:46:43.000Z (8 months ago)
• Last Synced: 2024-11-10T02:40:54.791Z (2 months ago)
• Language: OCaml
• Homepage:
• Size: 41.4 MB
• Stars: 4
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: Readme.md

Awesome Lists containing this project

README

        
# COL226

## Programming Languages



### Assignments

- *Assignment 1* : Sets in Prolog

- *Assignment 2* : Type checker in Prolog

- *Assignment 3* : Lexer with Ocamllex

- *Assignment 4* : Parser with Ocamlyacc

- *Assignment 5* : Most General Unifier

- *Assignment 6* : The SECD Machine 

- *Assignment 7* : The Krivine Machine 

- *Assignment 8* : A Prolog Enterpreter 

  



### Course Text

- Programming Languages (Prof. S. Arun Kumar)

- OCAML from the very Beginning (Ocaml software Foundation)

- Programming in Prolog (Clocksin & Mellish)

- Programming Language Pragmatics (Michael L. Scott)

- Algrithms + Data Structures = Programs (Niklaus Wirth)