Not registered as user yet

Name: Ting-Yan Lai

Affiliation: Institute of Information Science, Academia Sinica

Contributions

TyDe 2017Author of Type safe Redis queries -- a case study of type-level programming in Haskell within the TyDe 2017-track