Ml module mania: A type-safe, separately compiled, extensible interpreter (0)

by N Ramsey
Venue:Electronic Notes in Theoretical Computer Science