Run-time Code Generation and Modal-ML. - Philip Wickline; Peter Lee 001; Frank Pfenning (PLDI, 1998)

Modal Types as Staging Specifications for Run-Time Code Generation. - Philip Wickline; Peter Lee 001; Frank Pfenning; Rowan Davies (ACM Comput. Surv., 1998)