FHPNC 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 Heriot-Watt 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, 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