Haskell 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
co-located with ICFP 2023
VenueThe Westin Seattle
Room nameGrand Crescent
Floor4
Capacity140
Room InformationNo extra information available
Program

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

Mon 4 Sep

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30
HIW: Introduction + GHC status reportHIW at Grand Crescent
Chair(s): Ryan Scott Galois, Inc.
09:00
30m
Talk
Introduction
HIW
Ryan Scott Galois, Inc.
09:30
60m
Talk
GHC status report
HIW
Simon Peyton Jones Epic Games , Ben Gamari Well-Typed LLP

Fri 8 Sep

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30
09:00
30m
Talk
Resource polymorphism: proposal for integrating first-class resources into MLRemote
Higher-order, Typed, Inferred, Strict: ML Family Workshop
09:30
30m
Talk
Modernizing Standard ML of New Jersey: A Status Report
Higher-order, Typed, Inferred, Strict: ML Family Workshop
David MacQueen University of Chicago (Emeritus), John Reppy University of Chicago, USA
10:00
30m
Talk
Semi-explicit polymorphic parameters
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Leo White Jane Street
11:00 - 12:30
11:00
30m
Talk
A New Standard ML Prettyprinter Library, An Experience Report
Higher-order, Typed, Inferred, Strict: ML Family Workshop
David MacQueen University of Chicago (Emeritus)
11:30
30m
Talk
Exploring Perceus For OCaml
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Elton Pinto Georgia Institute of Technology, Daan Leijen Microsoft Research
Pre-print
12:00
30m
Talk
Immutable Arrays Help Mutating Arrays More Efficiently
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Sven-Bodo Scholz Radboud University
14:00 - 15:30
14:00
30m
Talk
Programming with Explicit Effects in ReML
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Martin Elsman University of Copenhagen, Denmark
14:30
30m
Talk
Wasocaml: a compiler from OCaml to WebAssembly (moved from OCaml workshop)
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Léo Andrès LMF, OCamlPro, Pierre Chambart OCamlPRO
15:00
30m
Talk
Layout Polymorphism: Using static computation to allow efficient polymorphism over variable representations
Higher-order, Typed, Inferred, Strict: ML Family Workshop
File Attached

Sat 9 Sep

Displayed time zone: Pacific Time (US & Canada) change

11:00 - 12:30
Session 2OCaml at Grand Crescent
Chair(s): Chris Casinghino Jane Street
11:00
22m
Talk
Efficient OCaml compilation with Flambda 2
OCaml
Pierre Chambart OCamlPRO, Vincent LAVIRON OCamlPro, Mark Shinwell Jane Street
File Attached
11:22
22m
Talk
Less Power for More Learning: Restricting OCaml Features for Effective TeachingRemote
OCaml
Max Lang Technische Universität München, Nico Petzendorfer Department of Computer Science, Technische Universität München, Garching, Germany
File Attached
11:45
22m
Talk
Osiris: an Iris-based program logic for OCamlRemote
OCaml
File Attached
12:07
22m
Talk
Safe and efficient generic functions with MacoCaml
OCaml
Dmitrij Szamozvancev University of Cambridge, Leo White Jane Street, Ningning Xie University of Toronto / Google DeepMind, Jeremy Yallop University of Cambridge
File Attached
16:00 - 17:30
Session 4OCaml at Grand Crescent
Chair(s): Jeremy Yallop University of Cambridge
16:00
20m
Talk
MetaOCaml Theory and Implementation
OCaml
Oleg Kiselyov Tohoku University
File Attached
16:25
20m
Talk
Owi: an interpreter and a toolkit for WebAssembly written in OCaml
OCaml
Léo Andrès LMF, OCamlPro, Pierre Chambart OCamlPRO, Eric Patrizio OCamlPro, Dario Pinto OCamlPro
File Attached

Mon 4 Sep

Displayed time zone: Pacific Time (US & Canada) change

Sat 9 Sep

Displayed time zone: Pacific Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Grand Crescent

Fri 8 Sep

Displayed time zone: Pacific Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Grand Crescent