WGP 2015- Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming

Full Citation in the ACM Digital Library

Type-level web APIs with Servant: an exercise in domain-specific generic programming

• Alp Mestanogullari
• Sönke Hahn
• Julian K. Arni
• Andres Löh

Session types for Rust

• Thomas Bracht Laumann Jespersen
• Philip Munksgaard
• Ken Friis Larsen

Datatype generic programming in F#

• Ernesto Rodriguez
• Wouter Swierstra

Dependently typed programming with finite sets

• Denis Firsov
• Tarmo Uustalu