Supporting FLAT concepts in Learn-OCaml: seeing is believing, programming is understanding (OCaml 2022 - OCaml Users and Developers Workshop 2022) - ICFP 2022

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Who

Artur Miguel Dias, Simão Melo de Sousa, António Ravara

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 16:50 - 17:10 at Štih - Applications & Teaching Chair(s): Benoît Montagu

Abstract

We present the motivation and principles that lead to the development of support for exercises on Formal Languages and Automata Theory in Learn-OCaml, its integration with OFLAT, our web based teaching environment (mostly implemented in OCaml), its uses in the classroom in two Portuguese Universities, and in supporting students independent work.

Link to Preprint

https://release.di.ubi.pt/leafs/publications/ocamlws22.pdf

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

Portugal

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