F.: Run-time code generation and Modal-ML (1998)

by P Wickline, P Lee, Pfenning
Venue:In: Proc. of PLDI’98