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 Feb 26, 2024
TeX

zejiran / languages-and-machines

Star

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

sacerdot / Crumbling-Abstract-Machines

Star

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