Tsung-Ju Chiang | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Shin-Cheng Mu
6 publications

research

∙ 01/27/2021

Deriving monadic quicksort (Declarative Pearl)

To demonstrate derivation of monadic programs, we present a specificatio...

0 Shin-Cheng Mu, et al. ∙

research

∙ 01/24/2021

Longest segment of balanced parentheses – an exercise in program inversion in a segment problem (Functional Pearl)

Given a string of parentheses, the task is to find a longest consecutive...

0 Shin-Cheng Mu, et al. ∙