Philip Wickline

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies
Modal Types as Staging Specifications for Run-Time Code Generation. ACM Comput. Surv. 30 (3es) (1998)
Philip Wickline, Peter Lee, Frank Pfenning
Run-time Code Generation and Modal-ML. PLDI (1998)