An implementation of the mechanical correspondence between algorithms for type checking
-
Updated
Oct 12, 2012 - Standard ML
#
secd
Here are 17 public repositories matching this topic...
A VM-based runtime environment for functional programming languages
-
Updated
Feb 13, 2017 - Rust
SECD machine and Lispkit Lisp compiler, in Python
-
Updated
Oct 25, 2017 - Python
Abstract krivine machine implementing call-by-name semantics. In OCaml.
-
Updated
Apr 8, 2018 - OCaml
Implementation of abstract machines in Ocaml
-
Updated
Jun 6, 2018 - OCaml
This repository consists of various assignments given by Prof. Sanjiva in the COL226 course.
-
Updated
Nov 28, 2018 - OCaml
LaTeX source of my Cambridge Computer Science Part II dissertation
-
Updated
May 8, 2020 - TeX
btLISP: a Pure LISP Self-Compiling Compiler with a SECD-style Virtual Machine
python bootstrap scheme lisp compiler virtual-machine microbit bootstrapping secd scheme-compiler scheme-dialect self-compiling secd-machine
-
Updated
Feb 15, 2022 - Python
SECD machine implemented in c++
-
Updated
Feb 21, 2023 - C++
FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7
-
Updated
Feb 17, 2024 - C
A Simple Toy language made in Prolog and OCaml
-
Updated
Mar 25, 2024 - OCaml
Improve this page
Add a description, image, and links to the secd topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the secd topic, visit your repo's landing page and select "manage topics."