## Type safe Redis queries — a case study of type-level programming in Haskell

Ting-Yan Lai, Tyng-Ruey Chuang, and Shin-Cheng Mu. In *2nd Workshop on Type-Driven Development (TyDe)*, 2017.

[PDF]

Skip to content
# Workshop

## Type safe Redis queries — a case study of type-level programming in Haskell

## Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning

## Quantum functional programming

## Inverting the Burrows-Wheeler Transform

## On building trees with minimum height, relationally

## Optimisation problems in logic programming: an algebraic approach

## Out-of-core functional programming with type-based primitives

Ting-Yan Lai, Tyng-Ruey Chuang, and Shin-Cheng Mu. In *2nd Workshop on Type-Driven Development (TyDe)*, 2017.

[PDF]

Shin-Cheng Mu, Yu-Han Lyu, and Akimasa Morihata. Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. In the *6th ACM SIGPLAN workshop on Generic programming (WGP 2010)*, pages 97-108, Sep. 2010. [PDF]

S-C. Mu and R. S. Bird, Quantum functional programming. In *2nd Asian Workshop on Programming Languages and Systems* , KAIST, Dajeaon, Korea, December 17-18, 2001.

[GZipped Postscript]

R. S. Bird and S-C. Mu, Inverting the Burrows-Wheeler Transform. In *ACM SIGPLAN 2001 Haskell Workshop*, Firenze, Italy, September 2001.

Superseded by the extended version for Journal of Functional Programming.

S-C. Mu and R. S. Bird, On building trees with minimum height, relationally. In *First Asian Workshop on Programming Languages and Systems*, Singapore, December 2000.

[GZipped Postscript]

S. Seres and S-C. Mu, Optimisation problems in logic programming: an algebraic approach. In *Proceedings of LPSE’00*, July 2000.

[GZipped Postscript]

T-R. Chuang and S-C. Mu, Out-of-core functional programming with type-based primitives. In *2nd International Workshop on Practical Aspects of Declarative Languages*, January 2000.

[GZipped Postscript]