BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kiselyov:Oleg

Facilitated 2 volumes:

SLE 2013PrCo
PEPM 2012Ed

Contributed to:

FLOPS 20142014
PEPM 20142014
PEPM 20132013
FLOPS 20122012
FLOPS 20102010
ICFP 20092009
PEPM 20092009
FLOPS 20082008
PEPM 20082008
TLCA 20072007
FLOPS 20062006
ICFP 20062006
PEPM 20062006
GPCE 20052005
GPCE 20052011
ICFP 20052005
PADL 20032003
GPCE 20022002
PADL 20022002
ICFP 19981998
Haskell 20042004
Haskell 20082008
Haskell 20132013
Haskell 20142014
Haskell 20152015
PEPM 20162016
PEPM 20172017
POPL 20172017
PEPM 20192019

Wrote 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.
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.
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.
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.
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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.