Title Page

Foreword

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)


@InProceedings{WGP15p1, author = {Alp Mestanogullari and Sönke Hahn and Julian K. Arni and Andres Löh}, title = {Type-Level Web APIs with Servant: An Exercise in Domain-Specific Generic Programming}, booktitle = {Proc.\ WGP}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, }

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


@InProceedings{WGP15p13, author = {Thomas Bracht Laumann Jespersen and Philip Munksgaard and Ken Friis Larsen}, title = {Session Types for Rust}, booktitle = {Proc.\ WGP}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2015}, }

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


@InProceedings{WGP15p25, author = {Ernesto Rodriguez and Wouter Swierstra}, title = {Datatype Generic Programming in F#}, booktitle = {Proc.\ WGP}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2015}, }

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


@InProceedings{WGP15p37, author = {Denis Firsov and Tarmo Uustalu}, title = {Dependently Typed Programming with Finite Sets}, booktitle = {Proc.\ WGP}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2015}, }