ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Fri 16 Sep 2022 16:00 - 16:20 at Štih - Applications & Teaching Chair(s): Benoît Montagu

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 state machines. It supports finite and infinite streams with the familiar declarative interface, of any combination of map, filter, take(while), drop(while), zip, flatmap combinators and tupling. Experienced users may use the lower-level interface of stateful streams and implement accumulating maps, compression and windowing. The library is based on assured code generation (at present, of OCaml and C) and guarantees in all cases complete fusion.

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

16:00 - 17:30
Applications & TeachingOCaml at Štih
Chair(s): Benoît Montagu Inria
16:00
20m
Talk
Highest-performance Stream Processing
OCaml
Oleg Kiselyov Tohoku University, Japan, Tomoaki Kobayashi Tohoku University, Aggelos Biboudis Oracle, Nick Palladinos Nessos Information Technologies, SA
Pre-print
16:20
20m
Talk
Introducing the Bindoj library, a datatype-centric generative programming library for real-world programming in OCaml
OCaml
Haochen M. Kotoi-Xie Kotoi-Xie Consultancy, Inc., Hirotetsu Hongo Kotoi-Xie Consultancy, Inc., Yuta Sato Kotoi-Xie Consultancy, Inc., Shinya Yamaguchi Kotoi-Xie Consultancy, Inc.
File Attached
16:50
20m
Talk
Supporting FLAT concepts in Learn-OCaml: seeing is believing, programming is understanding
OCaml
Artur Miguel Dias NOVA University of Lisbon and NOVA LINCS, Simão Melo de Sousa Universidade da Beira Interior and NOVA LINCS, António Ravara NOVA LINCS & FCT, NOVA University of Lisbon
Pre-print
17:10
20m
Talk
OCamello: A Course and Summer School with Learn-OCaml
OCaml
Roberto Blanco Max Planck Institute for Security and Privacy (MPI-SP), Ricardo J. Rodríguez University of Zaragoza
File Attached