Oleg Kiselyov

Reasoned Schemer, Second Editi

Reasoned Schemer, Second Edition

2018

Reconciling Abstraction with H

Reconciling Abstraction with High Performance

2018

Proceedings of the ACM SIGPLAN

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation

2012

The Reasoned Schemer

2005