5 packages found
Teaching language for _Essentials of Programming Languages_
Persistent Functional Vectors
This package needs documentation
This package needs license metadata
PCF with Contracts and Symbolic Values
Purely Functional Random Access Lists
A brief introduction to the Redex and Abstracting Abstract Machines.