Modal Types as Staging Specifications for Run-time Code Generation (1998)

by Philip Wickline , Peter Lee , Frank Pfenning , Rowan Davies
Citations:24 - 10 self