09:00
–
17:30
Workshop
TyDe 2023
Youyou Cong, Pierre-Evariste Dagand
Program Committee: Jonathan Protzenko
September 4, 2023 –
September 9, 2023
Microsoft at ICFP 2023
Pacific Daylight Time (UTC -7)
Location: Seattle, Washington
All times are in PDT (UTC -7)
Monday, September 4, 2023
Wednesday, September 6, 2023
-
09:00 – 10:00 Keynote Grand Ballroom 3
TypeScript: Static types for JavaScript
-
10:30 – 12:00 Talk session Grand Ballroom 3
Verification 1
Thursday, September 7, 2023
-
10:30 – 12:00 Talk session Grand Ballroom 3
Language design
Friday, September 8, 2023
-
09:00 – 17:30 Workshop
Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023
Committee members: Lars Bergstrom, Martin Elsman, Matthew Fluet, Jacques Garrigue, Oleg Kiselyov, Julia Lawall, Andrey Mokhov, Benoît Montagu, Guillaume Munch-Maccagnoni, Matija Pretnar, Andreas Rossberg, Gabriel Scherer
Saturday, September 9, 2023
-
09:00 Workshop
OCaml Users and Developers Workshop 2023
Committee members: Kenichi Asai, Jonah Beckford, Raja Boujbel, Chris Casinghino, Nathanaëlle Courant, Jacques Garrigue, Kiran Gopinathan, Oleg Kiselyov, Andrey Mokhov, Benoît Montagu, Sudha Parimala, Matija Pretnar, Jonathan Protzenko, Claude Rubinson, Gabriel Scherer