APLAS 2023
Sun 26 - Wed 29 November 2023 Taipei, Taiwan
Sun 26 Nov 2023 16:00 - 16:30 at Room 106 & 107, IIS - NIER Session 2 Chair(s): Anthony Widjaja Lin
Slides (APLAS2023NIER.pdf)1.34MiB
Abstract (APLAS2023NIER-abstract.pdf)33KiB

Sun 26 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

15:30 - 17:00
NIER Session 2APLAS NIER at Room 106 & 107, IIS
Chair(s): Anthony Widjaja Lin TU Kaiserslautern; MPI-SWS
15:30
30m
Talk
Environment-Friendly Monadic Equational Reasoning for OCaml
APLAS NIER
Jacques Garrigue Nagoya University, Reynald Affeldt National Institute of Advanced Industrial Science and Technology (AIST), Japan, Takafumi Saikawa Nagoya University
File Attached
16:00
30m
Talk
λGT: A Functional Language with Graphs as First-Class Data
APLAS NIER
Kazunori Ueda Waseda University, Jin Sano Waseda University
File Attached
16:30
30m
Talk
Bottom-Up Construction of Sublist Trees
APLAS NIER
Shin-Cheng Mu Academia Sinica, Taiwan