Update README

ymyzk · ymyzk · commit 60f5185214b0 · 2018-03-02T11:56:26.000+09:00
diff --git a/README.md b/README.md
@@ -179,4 +179,5 @@ line 13, character 23 -- line 13, character 24
 ```
 
 ## References
+- Yusuke Miyazaki. Runtime Type Inference for Gradual Typing. Master's Thesis. Graduate School of Informatics, Kyoto University, 2018.
 - [Ronald Garcia and Matteo Cimini. Principal Type Schemes for Gradual Programs. In Proc. of ACM POPL, 2015.](https://dl.acm.org/citation.cfm?id=2676992)
