Travelled to:1 × France
1 × Italy
1 × United Kingdom
2 × Estonia
5 × Japan
9 × USA
Collaborated with:∅ C.Shan Y.Kameyama J.Carette A.Sabry D.P.Friedman A.Pimlott S.Krishnamurthi A.v.d.Ploeg H.Ishii Tatsuya Katsushima J.Yallop S.Fischer R.Lämmel K.Schupke C.Swords Jun Inoue 0001 Kenichi Suzuki B.Aktemur W.E.Byrd K.N.Swadi W.Taha E.Pasalic A.Biboudis N.Palladinos Y.Smaragdakis A.Rodriguez J.Jeuring P.Jansson A.Gerdes B.C.d.S.Oliveira
Talks about:stage (8) monad (8) program (7) function (5) type (5) code (5) abstract (4) languag (4) delimit (4) system (4)
♂ Person: Oleg Kiselyov
DBLP: Kiselyov:Oleg
Facilitated 2 volumes:
PrCo
EdContributed to:
20142014201320122010
2009200920082008
2007200620062006
200520112005
2003200220021998
2004200820132014201520162017
20172019Wrote 35 papers:
- FLOPS-2014-Kiselyov #design #implementation
- The Design and Implementation of BER MetaOCaml — System Description (OK), pp. 86–102.
- PEPM-2014-KameyamaKS #code generation #combinator
- Combinators for impure yet hygienic code generation (YK, OK, CcS), pp. 3–14.
- PEPM-2013-AktemurKKS #challenge #generative #programming
- Shonan challenge for generative programming: short position paper (BA, YK, OK, CcS), pp. 147–154.
- FLOPS-2012-Kiselyov
- Iteratees (OK), pp. 166–181.
- FLOPS-2010-Kiselyov #ml
- Delimited Control in OCaml, Abstractly and Concretely: System Description (OK), pp. 304–320.
- ICFP-2009-FischerKS #functional #lazy evaluation #nondeterminism #programming
- Purely functional lazy non-deterministic programming (SF, OK, CcS), pp. 11–22.
- PEPM-2009-KameyamaKS #staging
- Shifting the stage: staging with delimited control (YK, OK, CcS), pp. 111–120.
- FLOPS-2008-KiselyovBFS #declarative
- Pure, Declarative, and Constructive Arithmetic Relations (OK, WEB, DPF, CcS), pp. 64–80.
- PEPM-2008-KameyamaKS #staged
- Closing the stage: from staged code to typed closures (YK, OK, CcS), pp. 147–157.
- TLCA-2007-KiselyovS #continuation #type system
- A Substructural Type System for Delimited Continuations (OK, CcS), pp. 223–239.
- FLOPS-2006-PimlottK #trust
- Soutei, a Logic-Based Trust-Management System (AP, OK), pp. 130–145.
- ICFP-2006-KiselyovSS
- Delimited dynamic binding (OK, CcS, AS), pp. 26–37.
- PEPM-2006-SwadiTKP #approach #monad #staging
- A monadic approach for avoiding code duplication when staging memoized functions (KNS, WT, OK, EP), pp. 160–169.
- GPCE-2005-CaretteK #abstraction #monad #multi #programming
- Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code (JC, OK), pp. 256–274.
- GPCE-J-2005-CaretteK11 #abstraction #monad #multi #programming
- Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code (JC, OK), pp. 349–375.
- ICFP-2005-KiselyovSFS #backtracking #monad
- Backtracking, interleaving, and terminating monad transformers: (OK, CcS, DPF, AS), pp. 192–203.
- PADL-2003-KiselyovK #named #xml
- SXSLT: Manipulation Language for XML (OK, SK), pp. 256–272.
- GPCE-2002-Kiselyov #metaprogramming
- Macros That Compose: Systematic Macro Programming (OK), pp. 202–217.
- PADL-2002-Kiselyov #functional #parsing #programming #xml
- A Better XML Parser through Functional Programming (OK), pp. 209–224.
- ICFP-1998-Kiselyov
- LAND*: an AND with local bindings, a guarded LET* special form (OK), p. 336.
- ICFP-1998-Kiselyov98a #abstraction #c++ #functional
- Functional Style in C++: Closures, Late Binding, and λ Abstractions (OK), p. 337.
- ICFP-1998-Kiselyov98b
- A Delegation Language to Request Weather Products and a Scheme of Its Interpretation (OK), p. 343.
- ICFP-1998-Kiselyov98c #lazy evaluation
- A Lazy CGI Namespace in Scheme (OK), p. 349.
- Haskell-2004-KiselyovLS
- Strongly typed heterogeneous collections (OK, RL, KS), pp. 96–107.
- Haskell-2004-KiselyovS #functional
- Functional pearl: implicit configurations-or, type classes reflect the values of types (OK, CcS), pp. 33–44.
- Haskell-2008-KiselyovS #lightweight #monad
- Lightweight monadic regions (OK, CcS), pp. 1–12.
- Haskell-2008-RodriguezJJGKO #haskell #library #programming
- Comparing libraries for generic programming in haskell (AR, JJ, PJ, AG, OK, BCdSO), pp. 111–122.
- Haskell-2013-KiselyovSS #monad
- Extensible effects: an alternative to monad transformers (OK, AS, CS), pp. 59–70.
- Haskell-2014-PloegK #monad #sequence
- Reflection without remorse: revealing a hidden sequence to speed up monadic reflection (AvdP, OK), pp. 133–144.
- Haskell-2015-KiselyovI #monad
- Freer monads, more extensible effects (OK, HI), pp. 94–105.
- PEPM-2016-InoueKK #challenge #staging
- Staging beyond terms: prospects and challenges (JI0, OK, YK), pp. 103–108.
- PEPM-2016-SuzukiKK #performance #query
- Finally, safely-extensible and efficient language-integrated query (KS, OK, YK), pp. 37–48.
- PEPM-2017-KatsushimaK #query
- Language-integrated query with ordering, grouping and outer joins (poster paper) (TK, OK), pp. 123–124.
- POPL-2017-KiselyovBPS
- Stream fusion, to completeness (OK, AB, NP, YS), pp. 285–299.
- PEPM-2019-YallopK #generative #recursion
- Generating mutually recursive definitions (JY, OK), pp. 75–81.