Searching for "Modal Types as Staging Specifications for Run-Time Code Generation." – sorted by Relevance.
-
Modal Types as Staging Specifications for Run-time Code Generation
- Modal Types as Staging Specifications for Run-time Code Generation Philip Wickline Peter Lee Frank
- Cited by 20 (8 self) – Add To MetaCart

