TY  - RPRT
TI  - Type Safe Redis Queries: A Case Study of Type-Level Programming in Haskell
AU  - Ting-Yan Lai
AU  - Tyng-Ruey Chuang
AU  - Shin-Cheng Mu
PY  - 2017
UR  - https://arxiv.org/abs/1708.09158
ID  - 1708.09158
ER  -