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.