GitHub - piyush7gupta/Krivine-and-SECD-Machine: Designed and Implemented Krivine and SECD machine that executes Call By Name and Call By Value semantics respectively.

piyush7gupta / Krivine-and-SECD-Machine Public

Designed and Implemented Krivine and SECD machine that executes Call By Name and Call By Value semantics respectively.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Makefile		Makefile
a.out		a.out
code.ml		code.ml

About

Designed and Implemented Krivine and SECD machine that executes Call By Name and Call By Value semantics respectively.

No releases published

No packages published