PEPM
2016
ACM
8 years 16 days 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
2016
ACM
8 years 16 days 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...
PEPM
2016
ACM
8 years 16 days 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
2016
ACM
8 years 16 days 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 ...