Sciweavers

Share
37 search results - page 1 / 8
» POPL 2016
Sort
View
POPL
2016
ACM
1 years 9 months ago
Fully-abstract compilation by approximate back-translation
Dominique Devriese, Marco Patrignani, Frank Piesse...
POPL
2016
ACM
1 years 9 months ago
Dependent types and multi-monadic effects in F
Nikhil Swamy, Catalin Hritcu, Chantal Keller, Asee...
POPL
2016
ACM
1 years 9 months ago
Binding as sets of scopes
Our new macro expander for Racket builds on a novel approach to hygiene. Instead of basing macro expansion on variable renamings that are mediated by expansion history, our new ex...
Matthew Flatt
POPL
2016
ACM
1 years 9 months ago
Unboundedness and downward closures of higher-order pushdown automata
We show the diagonal problem for higher-order pushdown automata (HOPDA), and hence the simultaneous unboundedness problem, is decidable. From recent work by Zetzsche this means th...
Matthew Hague, Jonathan Kochems, C.-H. Luke Ong
books