OCamello: A Course and Summer School with Learn-OCaml (OCaml 2022 - OCaml Users and Developers Workshop 2022) - ICFP 2022

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Who

Roberto Blanco, Ricardo J. Rodríguez

Track

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

When

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

Abstract

We report on a week-long summer school on functional programming and OCaml, entitled \emph{Advanced Programming Techniques: The Functional Paradigm}, part of the 95th Annual Edition of the interdisciplinary summer university of the University of Zaragoza. We develop new custom learning materials using Learn-OCaml as an integrated learning platform and bring together academic and industry members of the OCaml community for an associated outreach event.

File attachments

Submission (paper.pdf)	416KiB

Roberto Blanco

Max Planck Institute for Security and Privacy (MPI-SP)

Ricardo J. Rodríguez

University of Zaragoza

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

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