Run-time Code Generation and Modal-ML.

Philip Wickline, Peter Lee, Frank Pfenning

Browse the full PLDI paper archive.