45 citations · 54 across the 4 of their papers we have counts for
4 papers
Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
Oleg Kiselyov, Tomoaki Kobayashi, Nick Palladinos
Processing large amounts of data fast, in constant and small space is the point of stream processing and the reason for its increasing use. Alas, the most performant, imperative pr…
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…
Stream Fusion, to Completeness
Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos +1
Stream processing is mainstream (again): Widely-used stream libraries are now available for virtually all modern OO and functional languages, from Java to C# to Scala to OCaml to H…
Clash of the Lambdas
Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis
The introduction of lambdas in Java 8 completes the slate of statically-typed, mainstream languages with both object-oriented and functional features. The main motivation for lambd…