Run-time code generation and modal-ML (1998)

by Philip Wickline, Peter Lee, Frank Pfenning
Venue:In the ACM SIGPLAN ’98 Conference on Programming Language Design and Implementation (PLDI