Not registered as user yet

Name: Tyng-Ruey Chuang

Affiliation: Institute of Information Science, Academia Sinica

ICFP 2017 Activities

• Author of Type safe Redis queries -- a case study of type-level programming in Haskell within the TyDe 2017-track in TyDe 2017
• Show activities from other conferences