Sciweavers

Share
4 search results - page 1 / 1
» pepm 2016
Sort
View
PEPM
2016
ACM
3 years 10 days ago
Staging generic programming
Generic programming libraries such as Scrap Your Boilerplate eliminate the need to write repetitive code, but typically introduce significant performance overheads. This leaves p...
Jeremy Yallop
PEPM
2016
ACM
3 years 10 days ago
Toward introducing binding-time analysis to MetaOCaml
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 ...
Kenichi Asai
PEPM
2016
ACM
3 years 10 days ago
Operator precedence for data-dependent grammars
Constructing parsers based on declarative specification of operator precedence is a very old research topic, and there are various existing approaches. However, these approaches ...
Ali Afroozeh, Anastasia Izmaylova
PEPM
2016
ACM
3 years 10 days ago
Staging beyond terms: prospects and challenges
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...
Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
books