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

We propose to give a talk at the OCaml Users and Developers Workshop 2022, about our to-be-open-sourced project Bindoj being developed at KXC (Kotoi-Xie Consultancy, Inc.) Bindoj is a generative programming tooling library written in OCaml that centering around descriptions of datatypes which are mainly used in business / application logics.

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