Add reference to previous thesis

opprop · Apr 26, 2024 · 70b3ff0 · 70b3ff0
1 parent c843a86
commit 70b3ff0
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -3,3 +3,8 @@
 
 
 PICO is a type system that supports class level and object level immutability based on Checker Framework.
+
+### Reference
+[Haifeng Shi: Context-Sensitive Optional Type Systems Meet Generics: A Uniform Treatment and Formalization](https://uwspace.uwaterloo.ca/handle/10012/20163)\
+[Lian Sun: An Immutability Type System for Classes and Objects: Improvements, Experiments, and Comparisons](https://uwspace.uwaterloo.ca/handle/10012/16882)\
+[Mier Ta: Context Sensitive Typechecking And Inference: Ownership And Immutability](https://uwspace.uwaterloo.ca/handle/10012/13185)