Lîm Tsú-thuàn

Lîm Tsú-thuàn [dan-0001]

    This blog majorly writes about computer science and mathematics, also is my personal public notes. Feel free to point out any good reference of topic you view on the site, I will add them into reference if proper.

    1. Blog Posts [#623]

      2. Notes [#624]

        3. Projects [#625]

          4. Talks [talks]

            Reference. General recursion [talk-0006]

            • October, 2023
            • Lîm Tsú-thuàn
            • Kaohsiung Medical University, Healthcare Adminstration and Medical Informatics
            • Slides

            Reference. Types cross languages [talk-0005]

            Reference. Can this program stop? [talk-0004]

            • November, 2022
            • Lîm Tsú-thuàn
            • Kaohsiung Medical University, Healthcare Adminstration and Medical Informatics
            • Slides

            Reference. Closure conversion [talk-0003]

            Reference. Clojure isn't lisp enough [talk-0002]

            Reference. Macro as type [talk-0001]

            Copyright © 2017-2024 Lîm Tsú-thuàn some rights reserved. Content is available under CC-BY-SA 4.0 unless otherwise noted.
            Creative Commons License