Introducing the Bindoj library, a datatype-centric generative programming library for real-world programming in OCaml (OCaml 2022 - OCaml Users and Developers Workshop 2022)

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Who

Haochen M. Kotoi-Xie, Hirotetsu Hongo, Yuta Sato, Shinya Yamaguchi

Track

OCaml 2022

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Fri 16 Sep 2022 16:20 - 16:40 at Štih - Applications & Teaching Chair(s): Benoît Montagu

Abstract

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.

File attachments

Talk Proposal (bindoj-ocaml2022.bb23f.pdf)	85KiB
slide (bindoj-slides-ocaml22.bb37b.pdf)	13.35MiB

Haochen M. Kotoi-Xie

Kotoi-Xie Consultancy, Inc.

Japan

Hirotetsu Hongo

Kotoi-Xie Consultancy, Inc.

Yuta Sato

Kotoi-Xie Consultancy, Inc.

Shinya Yamaguchi

Kotoi-Xie Consultancy, Inc.

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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