Tsung-Ju Chiang

According to our database¹, Tsung-Ju Chiang authored at least 4 papers between 2020 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

Longest segment of balanced parentheses: an exercise in program inversion in a segment problem.

[BibT_eX]

[DOI]

J. Funct. Program., 2021

Deriving monadic quicksort (Declarative Pearl).

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

2020

Declarative Pearl: Deriving Monadic Quicksort.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020