Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Oleg Kiselyov
Editorial PEPM2012
Higher-Order and Symbolic Computation
Delimited Dynamic Binding
ACM SIGPLAN Notices
Computer Science
Applicative Abstract Categorial Grammar
Delimited Dynamic Binding