Login / Signup
Tsung-Ju Chiang
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 4
Top Topics
Declarative Language
Datalog Queries
Domain Independent
Automatically Detected
Top Venues
CoRR
J. Funct. Program.
FLOPS
</>
Publications
</>
Shin-Cheng Mu
,
Tsung-Ju Chiang
Longest segment of balanced parentheses - an exercise in program inversion in a segment problem (Functional Pearl).
CoRR
(2021)
Shin-Cheng Mu
,
Tsung-Ju Chiang
Deriving monadic quicksort (Declarative Pearl).
CoRR
(2021)
Shin-Cheng Mu
,
Tsung-Ju Chiang
Longest segment of balanced parentheses: an exercise in program inversion in a segment problem.
J. Funct. Program.
31 (2021)
Shin-Cheng Mu
,
Tsung-Ju Chiang
Declarative Pearl: Deriving Monadic Quicksort.
FLOPS
(2020)