generated at
漸進的型付け
Gradual typing



論文
Safe & Efficient Gradual Typing for TypeScript
https://www.microsoft.com/en-us/research/wp-content/uploads/2014/07/safets.pdf
Gradual Typing for Functional Languages
http://scheme2006.cs.uchicago.edu/13-siek.pdf
Gradual Typing for Objects
https://link.springer.com/chapter/10.1007/978-3-540-73589-2_2

https://blog.sigplan.org/2019/07/12/gradual-typing-theory-practice/
https://golem.ph.utexas.edu/category/2018/02/gradual_typing.html
https://yigarashi.hatenablog.com/entry/future-of-gradual-typing
https://qiita.com/t2y/items/0a604384e18db0944398
http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/papers/pdf/ggen-oopsla11.pdf#targetText=A%20typical%20gradual%20type%20system,or%20even%20fully%20dynamically%20typed.
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.650.1531&rep=rep1&type=pdf
https://behindthetech.libsynpro.com/
https://mizchi.hatenablog.com/entry/2018/07/05/180219
http://yu-i9.hatenablog.com/entry/future-of-gradual-typing
https://qiita.com/uhyo/items/df276348b966f0e9fe1c
tsでの検証

https://www.jstage.jst.go.jp/article/jssst/26/2/26_2_2_18/_pdf/-char/ja
https://en.wikipedia.org/wiki/Gradual_typing
Misreading Chat 26
https://github.com/jsiek/gradual-typing-in-agda
Agda