#

abstract-machines

Here are 7 public repositories matching this topic...

dhil / phd-dissertation

A summary of my activities during the past four years

algebraic-effects unix research functional-programming phd-thesis continuation-passing-style phd-dissertation continuations expressiveness effect-handlers abstract-machines expressivity computational-effects control-effects effect-handler-oriented-programming

Updated Oct 11, 2024
TeX

sacerdot / Crumbling-Abstract-Machines

This repository contains the formalization of part of the theory behind the Crumbling Abstract Machines, that has been introduced and partially developed in Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, and Claudio Sacerdoti Coen. 2019. Crumbling Abstract Machines. In Proceedings of ACM Conference (Conference’17). ACM, New York, NY,US…

lambda-calculus formalization abstract-machines

Updated Dec 21, 2021
Mathematica

zejiran / languages-and-machines

Collection of projects made on a language and computation theory course at Universidad de los Andes

automata petri-nets turing-machine language-processing uniandes finite-state-transducers abstract-machines

Updated Jun 5, 2022
HTML

iafisher / cs399

My senior thesis in computer science

lambda-calculus abstract-interpretation abstract-machines faceted-execution

Updated Apr 30, 2019
TeX

fixedpoint / tag

A Tag system processor

dynamical-systems abstract-machines

Updated Jun 22, 2023
C

sankethire / COL226-Programming-Languages

Assignments under the Programming Languages Course

functional-programming ocaml ocamllex abstract-machines ocamlyacc

Updated May 6, 2019
OCaml

pradyumnameena / COL226-Programming-Languages

This repository consists of various assignments given by Prof. Sanjiva in the COL226 course.

typechecker functional-programming ocaml prolog secd krivine-machine abstract-machines

Updated Nov 28, 2018
OCaml

Improve this page

Add a description, image, and links to the abstract-machines topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the abstract-machines topic, visit your repo's landing page and select "manage topics."