dvanhorn/redex-aam-tutorial

Stars
101
Rank 338,166 (Top 7 %)
Language
Racket
License
Academic Free Lic...
Created over 10 years ago
Updated 8 months ago

dvanhorn/redex-aam-tutorial

dvanhorn

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An Introduction to Redex with Abstracting Abstract Machines

This tutorial is available online at:

Copyright © 2014 David Van Horn

Licensed under the Academic Free License version 3.0

oaam

Optimizing Abstract Abstract Machines

dpc

Designing Programs with Class

pcf

PCF with Contracts and Symbolic Values

ubik

Small Scheme interpreter and compiler

ralist

RaList: Purely Functional Random-access Lists for Racket.

fector

Fector: Functional Persistent Vectors in Racket

jam

JavaScript Abstract Machine and Analysis

cmsc631-notes

snake

eqil

Interpreter and Abstract Interpreter for Coq Intermediate language

backgammon

Rackgammon: Backgammon for Racket

www

CMSC 430 Design and Implementation of Programming Langauges

typed-student

Typed Student: typed languages and libraries for HtDP