



Publications 

1. 
Chen, LiangTing and Ko, HsiangShang, "A formal treatment of bidirectional typing," 33rd European Symposium on Programming (ESOP 2024), volume 14576, Lecture Notes in Computer Science, Stephanie Weirich, editor, Springer, Cham, 2024. 
2. 
Chen, LiangTing and Ko, HsiangShang, "Realising intensional S4 and GL modalities," 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), volume 216, Leibniz International Proceedings in Informatics (LIPIcs), F. Manea and A. Simpson, editors, Schloss Dagstuhl  LeibnizZentrum für Informatik, pages 14:114:17, January 2022. 
3. 
Ko, HsiangShang and Chen, LiangTing and Lin, TzuChi, "Datatypegeneric programming meets elaborator reflection," Proceedings of the ACM on Programming Languages, volume 6, number ICFP, pages 225253, 2022. 
4. 
Adámek, Jiří and Chen, LiangTing and Milius, Stefan and Urbat, Henning, "Reiterman’s theorem on finite algebras for a monad," ACM Transactions on Computational Logic, volume 22, number 4, pages 148, 2021. 
5. 
Chen, LiangTing and Roggenbach, Markus and Tucker, John V, "An algebraic theory for data linkage," Recent Trends in Algebraic Development Techniques  24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 25, 2018, Revised Selected Papers, Lecture Notes in Computer Science, 11563, Fiadeiro, José Luiz and Țuțu and Ionuț, editors, Springer, June 2019. 
6. 
Chen, LiangTing, "Monadic typed tactic programming by reflection (extended abstract)," 2019. 
7. 
Urbat, Henning and Adámek, Jiri and Chen, LiangTing and Milius, Stefan, "Eilenberg Theorems for Free," 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), volume 83, Leibniz International Proceedings in Informatics, Larsen, Kim G. and Bodlaender, Hans L. and Raskin and JeanFrancois, editors, Schloss DagstuhlLeibnizZentrum fuer Informatik, pages 43:143:15, December 2017. 
8. 
Chen, LiangTing and Urbat, Henning, "Schützenberger products in a category," Proceedings of the 20th International Conference on Developments in Language Theory, Lecture Notes in Computer Science, 9840, Brlek, Srečko and Reutenauer and Christophe, editors, pages 89101, July 2016. 
9. 
Chen, LiangTing and Adámek, Jiří and Milius, Stefan and Urbat, Henning, "Profinite monads, profinite equations, and Reiterman's theorem," Proceedings of the 19th International Conference on the Foundations of Software Sciences and Computer Structures, Lecture Notes in Computer Science, 9634, Jacobs, Bart and Löding and Christof, editors, Springer Berlin Heidelberg, pages 531547, April 2016. 
10. 
Chen, LiangTing and Urbat, Henning, "A fibrational approach to automata theory," Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, volume 35, Leibniz International Proceedings in Informatics (LIPIcs), Moss, Lawrence S. and Sobocinski and Pawel, editors, Schloss DagstuhlLeibnizZentrum fuer Informatik, pages 5065, October 2015. 
11. 
Chen, LiangTing and Jung, Achim, "On a categorical framework for coalgebraic modal logic," Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX), volume 308, Electronic Notes in Theoretical Computer Science, Elsevier, pages 109128, October 2014. 
12. 
Chen, LiangTing, "On a Purely Categorical Framework for Coalgebraic Modal Logic," PhD thesis, University of Birmingham, 2014. 











