ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
ICFP/SPLASH 2025 (series) / NUS School of Computing /

Room information: Seminar Room 2

VenueNUS School of Computing
Room nameSeminar Room 2
Floor2
Room numberCOM1-02-04
Capacity80
Room Information

Venue layout

app-screen

Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 12 Oct

Displayed time zone: Perth change

09:00 - 10:30
Keynote talkTyDe at Seminar Room 2
09:00
60m
Talk
From Datatype-Generic Programming to Language-Generic Programming
TyDe
Liang-Ting Chen Academia Sinica
11:00 - 12:30
Session 1TyDe at Seminar Room 2
Chair(s): Jeremy G. Siek Indiana University
11:00
30m
Talk
Representing Data Structures with Invariants in Haskell: the cases of BST and AVL [Remote]
TyDe
Nicolas Rodriguez Instituto de Computación, Universidad de la República, Alberto Pardo Universidad de la Republica, Uruguay, Marcos Viera University of the Republic, Uruguay
11:30
30m
Talk
Towards a Performance Comparison of Syntax and Type-Directed NbE (Extended Abstract)
TyDe
Chester Gould University of British Columbia, William J. Bowman University of British Columbia
Pre-print
12:00
30m
Talk
The conatural numbers form an exponential commutative semiring
TyDe
Szumi Xie Eötvös Loránd University (ELTE), Viktor Bense Eötvös Loránd University (ELTE)
DOI Pre-print
14:00 - 15:30
Session 2TyDe at Seminar Room 2
Chair(s): Szumi Xie Eötvös Loránd University (ELTE)
14:00
30m
Talk
Gradual Metaprogramming
TyDe
Tianyu Chen Indiana University, Darshal Shetty Indiana University, Jeremy G. Siek Indiana University, Chao-Hong Chen Meta, Weixi Ma Meta, Arnaud Venet Meta, Rocky Liu Meta
Link to publication DOI Pre-print
14:30
30m
Talk
Unification Modulo Isomorphisms between Dependent Types for Type-based Library Search
TyDe
Satoshi Takimoto Institute of Science Tokyo, Sosuke Moriguchi Institute of Science Tokyo, Takuo Watanabe Institute of Science Tokyo
DOI
15:00
30m
Talk
Generating a corpus of Hazel programs from ill-typed OCaml programs (Extended Abstract)
TyDe
Patrick Ferris University of Cambridge, UK, Anil Madhavapeddy University of Cambridge, UK
File Attached
16:00 - 17:30
Session 3TyDe at Seminar Room 2
Chair(s): Sosuke Moriguchi Institute of Science Tokyo
16:00
30m
Talk
Constrained generation of well-typed programs (Extended Abstract) [Remote]
TyDe
Hugo Barreiro École Polytechnique, Gabriel Scherer Université Paris Cité - Inria - CNRS
16:30
30m
Talk
Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints (Extended Abstract) [Remote]
TyDe
Abhijit Paul Samsung R&D Institute, Bangladesh
17:00
30m
Talk
A Formalization of Opaque Definitions for a Dependent Type Theory [Remote]
TyDe
Nils Anders Danielsson University of Gothenburg, Eve Geng Chalmers University of Technology, Gothenburg, Sweden

Sun 12 Oct

Displayed time zone: Perth change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Seminar Room 2

TyDe

Keynote talk

TyDe

Session 1

TyDe

Session 2

TyDe

Session 3

Sun 12 Oct

Displayed time zone: Perth change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Seminar Room 2
TyDe
From Datatype-Generic Programming to Language-Generic Programming
09:00 - 10:00
TyDe
Representing Data Structures with Invariants in Haskell: the cases of B ...
11:00 - 11:30
TyDe
Towards a Performance Comparison of Syntax and Type-Directed NbE (Exten ...
11:30 - 12:00
TyDe
The conatural numbers form an exponential commutative semiring
12:00 - 12:30
TyDe
Gradual Metaprogramming
14:00 - 14:30
TyDe
Unification Modulo Isomorphisms between Dependent Types for Type-based ...
14:30 - 15:00
TyDe
Generating a corpus of Hazel programs from ill-typed OCaml programs (Ex ...
15:00 - 15:30
TyDe
Constrained generation of well-typed programs (Extended Abstract) [Remote]
16:00 - 16:30
TyDe
Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of ...
16:30 - 17:00
TyDe
A Formalization of Opaque Definitions for a Dependent Type Theory [Remote]
17:00 - 17:30