Oleg Kiselyov profile picture

Oleg Kiselyov

Stand Alone

Reasoned Schemer
The Reasoned Schemer
Functional and Logic Programming
Programming Languages and Systems
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation