VSL 2014: VIENNA SUMMER OF LOGIC 2014

HOR 2014 WORKSHOP PROCEEDINGS: AUTHOR INDEX

PapersPapers with AbstractsAuthor IndexKeyword Index
Shortcuts: ABKMRV
A
Accattoli, Beniamino
Distilling Abstract Machines (Extended Abstract) (PDF, talk)
B
Barenbaum, Pablo
Distilling Abstract Machines (Extended Abstract) (PDF, talk)
K
Kop, Cynthia
The Higher-Order Dependency Pair Framework (PDF, talk)
M
Mazza, Damiano
Distilling Abstract Machines (Extended Abstract) (PDF, talk)
R
Rose, Kristoffer
Experience with Higher Order Rewriting from the Compiler Teaching Trenches (PDF, talk)
V
van Oostrom, Vincent
The dynamic pattern calculus as a higher-order pattern rewriting system (PDF, talk)
Feebly not weakly (PDF, talk)
van Raamsdonk, Femke
The dynamic pattern calculus as a higher-order pattern rewriting system (PDF, talk)
Disclaimer | Powered by EasyChair Smart Program