PEPM
8 years 5 months ago
2016 ACM
Constructing parsers based on declarative specification of operator precedence is a very old research topic, and there are various existing approaches. However, these approaches ...
PEPM
8 years 5 months ago
2016 ACM
This paper relates 2-level λ-calculus and staged λ-calculus (restricted to 2 stages) to obtain monovariant binding-time analysis for λ-calculus that produces the output in the ...
PEPM
8 years 5 months ago
2016 ACM
Staging is a program generation paradigm with a clean, wellinvestigated semantics which statically ensures that the generated code is always well-typed and well-scoped. Staging is...
PEPM
8 years 5 months ago
2016 ACM
Generic programming libraries such as Scrap Your Boilerplate eliminate the need to write repetitive code, but typically introduce significant performance overheads. This leaves p...
|