Modal Types as Staging Specifications for Run-Time Code Generation

Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies. Modal Types as Staging Specifications for Run-Time Code Generation. ACM Computing Surveys, 30(3es):8, 1998. [doi]

Abstract

Abstract is missing.