O. Kiselyov
发表
O. Kiselyov,
2006
.
O. Kiselyov,
A. Sarvazyan,
D. Tikhonov,
1995,
Ultrasonics.
O. Kiselyov,
Usa oleg,
com Chung-chieh Shan,
2009
.
O. Kiselyov,
Keigo Imai,
2020
.
O. Kiselyov,
2017
.
Oleg Kiselyov,
Hiromi Ishii,
O. Kiselyov,
2015,
Haskell.
O. Kiselyov,
2006
.
Nils Anders Danielsson,
Tiago L. Alves,
Brett Gordon Giles,
2002
.
Oleg Kiselyov,
O. Kiselyov,
2002,
PADL.
O. Kiselyov,
J. Carette,
Chung-chieh Shan,
2013
.
O. Kiselyov,
2018
.
O. Kiselyov,
J. Jeuring,
A. R. Yakushev,
2008,
Haskell '08.
Oleg Kiselyov,
O. Kiselyov,
2016,
APLAS.
Chung-chieh Shan,
Oleg Kiselyov,
O. Kiselyov,
2009,
DSL.
Chung-chieh Shan,
Oleg Kiselyov,
O. Kiselyov,
2009,
UAI.
Oleg Kiselyov,
O. Kiselyov,
2016,
JSAI-isAI Workshops.
O. Kiselyov,
J. Carette,
Chung-chieh Shan,
2013
.
In search of a program generator to implement generic transformations for high-performance computing
David A. Padua,
Albert Cohen,
María Jesús Garzarán,
2006,
Sci. Comput. Program..
Oleg Kiselyov,
O. Kiselyov,
1998,
ICFP '98.
William E. Byrd,
Daniel P. Friedman,
Chung-chieh Shan,
2008,
FLOPS.
Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
Jacques Carette,
Oleg Kiselyov,
O. Kiselyov,
2005,
GPCE'05.
Oleg Kiselyov,
O. Kiselyov,
2018,
FLOPS.
O. Kiselyov,
J. Gibbons,
Aggelos Biboudis,
2021
.
Oleg Kiselyov,
O. Kiselyov,
2010,
SSGIP.
Chung-chieh Shan,
Oleg Kiselyov,
O. Kiselyov,
2008,
Haskell '08.
Chung-chieh Shan,
Oleg Kiselyov,
O. Kiselyov,
2007,
PLPV@IJCAR.
Oleg Kiselyov,
Tatsuya Katsushima,
O. Kiselyov,
2017,
APLAS.
Sebastian Fischer,
Chung-chieh Shan,
Oleg Kiselyov,
2009,
Journal of Functional Programming.
Oleg Kiselyov,
Andrew Pimlott,
O. Kiselyov,
2006,
FLOPS.
Oleg Kiselyov,
Andrew Pimlott,
O. Kiselyov,
2006
.
Chung-chieh Shan,
Oleg Kiselyov,
O. Kiselyov,
2007,
CONTEXT.
Amr Sabry,
Daniel P. Friedman,
Chung-chieh Shan,
2005,
ICFP '05.
Oleg Kiselyov,
O. Kiselyov,
2005
.
Oleg Kiselyov,
O. Kiselyov,
2003,
ArXiv.
Amr Sabry,
Oleg Kiselyov,
Cameron Swords,
2013,
Haskell '13.
Jacques Carette,
Chung-chieh Shan,
Oleg Kiselyov,
2007,
Journal of Functional Programming.
Chung-chieh Shan,
Yukiyoshi Kameyama,
Oleg Kiselyov,
2011,
J. Funct. Program..
Chung-chieh Shan,
Yukiyoshi Kameyama,
Oleg Kiselyov,
2009,
PEPM '09.
Amr Sabry,
Chung-chieh Shan,
Oleg Kiselyov,
2006,
ICFP '06.
Oleg Kiselyov,
Paul Fisher,
O. Kiselyov,
1994,
Proceedings of IEEE Data Compression Conference (DCC'94).
Chung-chieh Shan,
Oleg Kiselyov,
O. Kiselyov,
2007,
TLCA.
Simon L. Peyton Jones,
Chung-chieh Shan,
Oleg Kiselyov,
2010,
Reflections on the Work of C. A. R. Hoare.
Oleg Kiselyov,
O. Kiselyov,
2019,
ML/OCaml.
Chung-chieh Shan,
Oleg Kiselyov,
O. Kiselyov,
2004,
Haskell '04.
O. Kiselyov,
2015,
NLCS@ICALP/LICS.
Chung-chieh Shan,
Yukiyoshi Kameyama,
Oleg Kiselyov,
2013,
PEPM '13.
O. Kiselyov,
J. Yallop,
2022,
ArXiv.
Walid Taha,
Emir Pasalic,
Oleg Kiselyov,
2006,
PEPM '06.
Walid Taha,
Oleg Kiselyov,
Kedar Swadi,
2005
.
Jeremy Yallop,
Oleg Kiselyov,
O. Kiselyov,
2019,
PEPM@POPL.
Yukiyoshi Kameyama,
Kenichi Suzuki,
Oleg Kiselyov,
2016,
PEPM.
Chung-chieh Shan,
Yukiyoshi Kameyama,
Oleg Kiselyov,
2008,
PEPM '08.
Jacques Carette,
Chung-chieh Shan,
Oleg Kiselyov,
2007,
APLAS.
Walid Taha,
Oleg Kiselyov,
O. Kiselyov,
2004,
ICESS.