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

by Philip Wickline , Peter Lee , Frank Pfenning , Rowan Davies
Citations:21 - 9 self