|
|
| |
| |
| Publications |
| |
| 1. |
Chen, Liang-Ting and Ko, Hsiang-Shang, "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, Liang-Ting and Ko, Hsiang-Shang, "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 - Leibniz-Zentrum für Informatik, pages 14:1--14:17, January 2022. |
| 3. |
Ko, Hsiang-Shang and Chen, Liang-Ting and Lin, Tzu-Chi, "Datatype-generic programming meets elaborator reflection," Proceedings of the ACM on Programming Languages, volume 6, number ICFP, pages 225--253, 2022. |
| 4. |
Adámek, Jiří and Chen, Liang-Ting 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 1--48, 2021. |
| 5. |
Chen, Liang-Ting 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 2--5, 2018, Revised Selected Papers, Lecture Notes in Computer Science, 11563, Fiadeiro, José Luiz and Țuțu and Ionuț, editors, Springer, June 2019. |
| 6. |
Chen, Liang-Ting, "Monadic typed tactic programming by reflection (extended abstract)," 2019. |
| 7. |
Urbat, Henning and Adámek, Jiri and Chen, Liang-Ting 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 Jean-Francois, editors, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pages 43:1--43:15, December 2017. |
| 8. |
Chen, Liang-Ting 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 89--101, July 2016. |
| 9. |
Chen, Liang-Ting 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 531--547, April 2016. |
| 10. |
Chen, Liang-Ting 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 Dagstuhl--Leibniz-Zentrum fuer Informatik, pages 50--65, October 2015. |
| 11. |
Chen, Liang-Ting 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 109--128, October 2014. |
| 12. |
Chen, Liang-Ting, "On a Purely Categorical Framework for Coalgebraic Modal Logic," PhD thesis, University of Birmingham, 2014. |
|
| |
|
|
|
|
|
 |
|
|
|
|
