Powered by
Conference Publishing Consulting

11th ACM SIGPLAN Workshop on Generic Programming (WGP 2015), August 30, 2015, Vancouver, BC, Canada

WGP 2015 – Proceedings

Contents - Abstracts - Authors
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)
Session Types for Rust
Thomas Bracht Laumann Jespersen, Philip Munksgaard, and Ken Friis Larsen
(University of Copenhagen, Denmark)
Datatype Generic Programming in F#
Ernesto Rodriguez and Wouter Swierstra
(Utrecht University, Netherlands)
Dependently Typed Programming with Finite Sets
Denis Firsov and Tarmo Uustalu
(Tallinn University of Technology, Estonia)

proc time: 0.72