Liang-Ting Chen

19 papers B 6C 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2026 B conf
Can We Formalise Type Theory Intrinsically without Any Compromise? A Case Study in Cubical Agda.
CPP
Liang-Ting Chen, Fredrik Nordvall Forsberg, Tzu-Chun Tsai
2026 J jnl
Folding the Heighway dragon curve.
CoRR
Ting-Wu Chang, Liang-Ting Chen, Shin-Cheng Mu
2024 — conf
A Formal Treatment of Bidirectional Typing.
ESOP (1)
Liang-Ting Chen, Hsiang-Shang Ko
2022 J jnl
Datatype-generic programming meets elaborator reflection.
Proc. ACM Program. Lang.
Hsiang-Shang Ko, Liang-Ting Chen, Tzu-Chi Lin
2022 B conf
Realising Intensional S4 and GL Modalities.
CSL
Liang-Ting Chen, Hsiang-Shang Ko
2021 J jnl
Reiterman's Theorem on Finite Algebras for a Monad.
CoRR
Jirí Adámek, Liang-Ting Chen, Stefan Milius, Henning Urbat
2021 J jnl
Reiterman's Theorem on Finite Algebras for a Monad.
ACM Trans. Comput. Log.
Jirí Adámek, Liang-Ting Chen, Stefan Milius, Henning Urbat
2018 — conf
An Algebraic Theory for Data Linkage.
WADT
Liang-Ting Chen, Markus Roggenbach, John V. Tucker
2018 J jnl
An algebraic theory for data linkage.
CoRR
Liang-Ting Chen, Markus Roggenbach, John V. Tucker
2017 B conf
Eilenberg Theorems for Free.
MFCS
Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius
2016 J jnl
One Eilenberg Theorem to Rule Them All.
CoRR
Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius
2016 B conf
Profinite Monads, Profinite Equations, and Reiterman's Theorem.
FoSSaCS
Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat
2016 C conf
Schützenberger Products in a Category.
DLT
Liang-Ting Chen, Henning Urbat
2016 J jnl
Schützenberger Products in a Category.
CoRR
Liang-Ting Chen, Henning Urbat
2015 B conf
A Fibrational Approach to Automata Theory.
CALCO
Liang-Ting Chen, Henning Urbat
2015 J jnl
A Fibrational Approach to Automata Theory.
CoRR
Liang-Ting Chen, Henning Urbat
2015 J jnl
Profinite Monads, Profinite Equations and Reiterman's Theorem.
CoRR
Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat
2014 B conf
On a Categorical Framework for Coalgebraic Modal Logic.
MFPS
Liang-Ting Chen, Achim Jung
2014 — —
On a purely categorical framework for coalgebraic modal logic.
Liang-Ting Chen