vix.ing · top · new · best · stats · spec

Ting-Yan Lai

  1. Type Safe Redis Queries: A Case Study of Type-Level Programming in Haskell
    2017/08/30 by Ting-Yan Lai, Lai, Ting-Yan, Tyng–Ruey Chuang +4 · 1 voice
    Computer Science · #cs.PL