Oleg Kiselyov

Identifiers

Open LibraryOL7935331A

Top Subjects

Programming languages (electronic computers) (2)
Logic programming (1)
Functional programming (computer science) (1)
High performance computing (1)

Books by Oleg Kiselyov

Total count: 5

The Reasoned SchemerFirst Edition

The MIT Press2005-01-01
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation

Association for Computing Machinery2012-01-01
Functional and Logic Programming13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Springer London, Limited2016-01-01
Reasoned Schemer, Second Edition

MIT Press2018-01-01
Reconciling Abstraction with High PerformanceA MetaOCaml Approach

Now Publishers2018-01-01