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

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

Published in: CoRR (2017)

Keyphrases

programming language
database
neural network
databases
information retrieval
relational databases
query processing
query language
web search
higher level
functional programming