Type Safe Redis Queries: A Case Study of Type-Level Programming in Haskell. - Ting-Yan Lai; Tyng-Ruey Chuang; Shin-Cheng Mu (CoRR, 2017)

Integrating semantic web into context-aware mobile application based on cloud computing. - Ting-Yan Lai; I-Ching Hsu (J. Cloud Comput., 2025)