3 packages found
an environment for exploring memory management
This package needs documentation
The `plai-typed' language for use with Programming Languages: Application and Interpretation, Second Edition
The Plait language is a hybrid of Racket (concrete syntax) and ML (type system) that is intended for use in an interpreters-based programming-languages course. It's an improved variant of `plai-typed`.