diff --git a/research/00_intro.md b/research/00_intro.md new file mode 100644 index 0000000..170e390 --- /dev/null +++ b/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