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

proc time: 0.04