feat(research): add intro papers

research/00_intro.md

@@ -0,0 +1,12 @@
+# Introduction papers on the subject of gradual typing and type systems
+
+## Gradual Typing for Functional Languages
+
+- **URL**: https://www.researchgate.net/publication/213883236_Gradual_typing_for_functional_languages
+- **Authors**: Jeremy Siek, Walid Taha
+
+
+## Geometry types for graphics programming
+
+- **URL**: https://dl.acm.org/doi/10.1145/3428241
+- **Authors**: Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, Adrian Sampson