Displaying 1 to 3 from 3 results

sml-typed-abts - second-order abstract syntax

  •    Standard

This is an implementation of Abstract Binding Trees from Robert Harper's book, Practical Foundations for Programming Languages. The printer is in "debug mode", which means that all variables are annotated with a unique index; this is useful for convincing oneself that variables are being bound properly.

We have large collection of open source products. Follow the tags from Tag Cloud >>

Open source products are scattered around the web. Please provide information about the open source projects you own / you use. Add Projects.