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

Alp Mestanogullari, Snke Hahn, Julian K. Arni, Andres Lh

Browse the full ICFP paper archive.