5 citations · 10 across the 5 of their papers we have counts for
5 papers
Deriving monadic quicksort (Declarative Pearl)
Shin-Cheng Mu, Tsung-Ju Chiang
To demonstrate derivation of monadic programs, we present a specification of sorting using the non-determinism monad, and derive pure quicksort on lists and state-monadic quicksort…
Calculating a backtracking algorithm: an exercise in monadic program derivation
Shin-Cheng Mu
Equational reasoning is among the most important tools that functional programming provides us. Curiously, relatively less attention has been paid to reasoning about monadic progra…
Equational reasoning for non-determinism monad: the case of Spark aggregation
Shin-Cheng Mu
As part of the author's studies on equational reasoning for monadic programs, this report focus on non-determinism monad. We discuss what properties this monad should satisfy, what…
Type Safe Redis Queries: A Case Study of Type-Level Programming in Haskell
Ting-Yan Lai, Tyng-Ruey Chuang, Shin-Cheng Mu
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 v…
An Executable Sequential Specification for Spark Aggregation
Yu-Fang Chen, Chih-Duo Hong, Ondřej Lengál +3
Spark is a new promising platform for scalable data-parallel computation. It provides several high-level application programming interfaces (APIs) to perform parallel data aggregat…