ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter

Norman Ramsey
2006 Electronical Notes in Theoretical Computer Science  
doi:10.1016/j.entcs.2005.11.045 fatcat:pkxzkzhn3zer7lcl4oxvhtlffm