Abstract krivine machine implementing call-by-name semantics. In OCaml.
-
Updated
Apr 8, 2018 - OCaml
#
krivine-machine
Here are 9 public repositories matching this topic...
A Simple Toy language made in Prolog and OCaml
-
Updated
Mar 25, 2024 - OCaml
The code in this repository is relevant to the assignments given in the course COL226, taught by Prof. Sanjiva Prasad, in IIT Delhi, 2nd semester, 2017-2018.
-
Updated
May 14, 2018 - OCaml
Course assignments of COL226:- Programming Languages course at IIT Delhi under Professor Sanjiva Prasad
-
Updated
Dec 1, 2024 - OCaml
Implementation of abstract machines in Ocaml
-
Updated
Jun 6, 2018 - OCaml
An implementation of Krivine Machine that introduced by the "A Core Quantitative Coeffect Calculus".
-
Updated
May 29, 2020 - OCaml
This repository consists of various assignments given by Prof. Sanjiva in the COL226 course.
-
Updated
Nov 28, 2018 - OCaml
Consists of a Functional language as well as an Imperative language, implemented using Ocaml
-
Updated
Jan 27, 2021 - OCaml
Designed and Implemented Krivine and SECD machine that executes Call By Name and Call By Value semantics respectively.
-
Updated
Aug 24, 2020 - OCaml
Improve this page
Add a description, image, and links to the krivine-machine topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the krivine-machine topic, visit your repo's landing page and select "manage topics."