Philip Wickline

Modal types as staging specifications for run-time code generation

Peter Lee, Frank Pfenning, Rowan Davies, 1998, CSUR.

Selected Reports: Fall 1997 Soft ware Systems Course (CMU-CS-98-103)

Istvan Derenyi, Mihai Budiu, Chuck Rosenberg, 1998 .

Run-time code generation and modal-ML

Peter Lee, Frank Pfenning, Philip Wickline, 1998, PLDI.