Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with abstract-machines
A curated list of projects in awesome lists tagged with abstract-machines .
https://github.com/dhil/phd-dissertation
A summary of my activities during the past four years
abstract-machines algebraic-effects computational-effects continuation-passing-style continuations control-effects effect-handler-oriented-programming effect-handlers expressiveness expressivity functional-programming phd-dissertation phd-thesis research unix
Last synced: 17 Dec 2024
https://github.com/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,USA,39 pages.
abstract-machines formalization lambda-calculus
Last synced: 14 Dec 2024
