45 citations · 146 across the 18 of their papers we have counts for
18 papers
Demo: New View on Plasma Fractals -- From the High Point of Array Languages
Oleg Kiselyov, Toshihiro Nakayama
Plasma fractals is a technique to generate random and realistic clouds, textures and terrains~-- traditionally using recursive subdivision. We demonstrate a new approach, based on…
Highest-performance Stream Processing
Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis +1
We present the stream processing library that achieves the highest performance of existing OCaml streaming libraries, attaining the speed and memory efficiency of hand-written stat…
Do Mutable Variables Have Reference Types?
Oleg Kiselyov
Implicit heterogeneous metaprogramming (a.k.a. offshoring) is an attractive approach for generating C with some correctness guarantees: generate OCaml code, where the correctness g…
let (rec) insertion without Effects, Lights or Magic
Oleg Kiselyov, Jeremy Yallop
Let insertion in program generation is producing code with definitions (let-statements). Although definitions precede uses in generated code, during code generation `uses' come fir…
Effects Without Monads: Non-determinism -- Back to the Meta Language
Oleg Kiselyov
We reflect on programming with complicated effects, recalling an undeservingly forgotten alternative to monadic programming and checking to see how well it can actually work in mod…
Eff Directly in OCaml
Oleg Kiselyov, KC Sivaramakrishnan
The language Eff is an OCaml-like language serving as a prototype implementation of the theory of algebraic effects, intended for experimentation with algebraic effects on a large…