Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
ICFP 2018 (series) / ML 2018 (series) / ML 2018 /

Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules

Martin Elsman, Philip Munksgaard, Ken Friis Larsen
ML 2018
Fri 28 Sep 2018 11:35 - 12:00 at New York Central - Session 1

We describe our experience with using Standard ML modules and Standard ML’s core language typing features for ensuring type-safety across tiers in an extensive web application built around a database-backed server platform and advanced client code that accesses the server through asynchronous server requests.

http://elsman.com/pdf/final-ml18.pdf
Martin Elsman
Martin Elsman
University of Copenhagen, Denmark
Denmark
small-avatar
Philip Munksgaard
Intelligent Alpha AG, Switzerland
Ken Friis Larsen
Ken Friis Larsen
DIKU, University of Copenhagen

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:20 - 12:00
Session 1ML at New York Central
10:20
25m
Talk
Safely Mixing OCaml and Rust
ML
Stephen Dolan University of Cambridge
10:45
25m
Talk
Rust Distilled: An Expressive Tower of Languages
ML
Aaron Weiss Northeastern University, Daniel Patterson Northeastern University, Amal Ahmed Northeastern University, USA
Link to publication Pre-print
11:10
25m
Talk
Generating Mutually Recursive Definitions
ML
Jeremy Yallop University of Cambridge, UK, Oleg Kiselyov
Pre-print
11:35
25m
Talk
Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules
ML
Martin Elsman University of Copenhagen, Denmark, Philip Munksgaard Intelligent Alpha AG, Switzerland, Ken Friis Larsen DIKU, University of Copenhagen
Link to publication