Ting-Yan Lai

According to our database, Ting-Yan Lai authored at least 1 paper in 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Type Safe Redis Queries: A Case Study of Type-Level Programming in Haskell.

Ting-Yan Lai, Tyng-Ruey Chuang, Shin-Cheng Mu

CoRR, 2017