Reference General Recursion [general-recursion]
Slide: /hami2023
Kaohsiung Medical University, Healthcare Adminstration and Medical Informatics
Reference types cross languages [type-cross-language]
Slide: https://dannypsnl.github.io/typecafe2023/typecafe2023.html
∞-type café 2023
Reference Can this program stop? [program-termination]
Slide: https://dannypsnl.github.io/hami2022/hami2022.html
Kaohsiung Medical University, Healthcare Adminstration and Medical Informatics
Reference closure conversion [closure-conversion]
Slide: https://dannypsnl.me/~slide/2022-07-closure-conversion.pdf
coscup 2022
Reference clojure isn't lisp enough [clojure-isnt-lisp-enough]
Slide: https://dannypsnl.me/~slide/2021-04-clojure-isnt-lisp-enough.pdf
clojure taiwan
Reference macro as type [macro-as-type]
- slides: https://dannypsnl.me/~slide/2021-03-racketfest.rkt
- video: https://youtu.be/BLHxUzj7F-Q
- venue: racketfest 2021