Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Sun 3 Sep 2017 14:00 - 14:30 at L2 - Full papers 2

Redis is an in-memory data structure store, often used as a database, with a Haskell interface Hedis. Redis is dynamically typed — a key can be discarded and re-associated to a value of a different type, and a command, when fetching a value of a type it does not expect, signals a runtime error. We develop a domain-specific language that, by exploiting Haskell type-level programming techniques including indexed monad, type-level literals and closed type families, keeps track of types of values in the database and statically guarantees that type errors cannot happen for a class of Redis programs.

Sun 3 Sep

tyde-2017-papers
14:00 - 15:00: TyDe 2017 - Full papers 2 at L2
tyde-2017-papers150444000000014:00 - 14:30
Talk
Ting-Yan LaiInstitute of Information Science, Academia Sinica, Tyng-Ruey ChuangInstitute of Information Science, Academia Sinica, Shin-Cheng MuAcademia Sinica, Taiwan
tyde-2017-papers150444180000014:30 - 15:00
Talk
Victor Cacciari MiraldoUniversity of Utrecht, Pierre-Evariste DagandLIP6/CNRS , Wouter SwierstraUniversity of Utrecht