Search results for: Oleg Kiselyov
Lecture Notes in Computer Science > Embedded Software and Systems > Track 9 Real-Time System > 488-493
Lecture Notes in Computer Science > Functional and Logic Programming > Constructive Arithmetic > 64-80
Lecture Notes in Computer Science > Generative Programming and Component Engineering > Multi-stage Programming > 256-274
Lecture Notes in Computer Science > Generative Programming and Component Engineering > Regular Papers > 202-217
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Regular Papers > 209-224
Reflections on the Work of C.A.R. Hoare > 301-331
Science of Computer Programming > 2015 > 112 > P2 > 120-144
Theoretical Computer Science > 2012 > 435 > Complete > 56-76
Science of Computer Programming > 2011 > 76 > 5 > 349-375
Higher-Order and Symbolic Computation > 2011 > 24 > 4 > 311-340
Electronic Notes in Theoretical Computer Science > 2007 > 174 > 7 > 79-104
Science of Computer Programming > 2006 > 62 > 1 > 25-46
Higher-Order and Symbolic Computation > 2005 > 18 > 3-4 > 355-370