Title Page

Article: icfpws15wgpforeword-fm000-p doi:

Foreword

Article: icfpws15wgpforeword-fm001-p doi:

Type-Level Web APIs with Servant: An Exercise in Domain-Specific Generic Programming
Alp Mestanogullari, Sönke Hahn, Julian K. Arni, and Andres Löh
(Kitty Knows, UK; Zalora SEA, Singapore; Well-Typed, UK)

Article: icfpws15wgpmain-wgpmainicfp-wgp15-2-p doi:

Session Types for Rust
Thomas Bracht Laumann Jespersen, Philip Munksgaard, and Ken Friis Larsen
(University of Copenhagen, Denmark)

Article: icfpws15wgpmain-wgpmainicfp-wgp15-3-p doi:

Datatype Generic Programming in F#
Ernesto Rodriguez and Wouter Swierstra
(Utrecht University, Netherlands)

Article: icfpws15wgpmain-wgpmainicfp-wgp15-5-p doi:

Dependently Typed Programming with Finite Sets
Denis Firsov and Tarmo Uustalu
(Tallinn University of Technology, Estonia)

Article: icfpws15wgpmain-wgpmainicfp-wgp15-6-p doi: