From 0f4521bc4a8aee0b7aa95a9a0525876243236645 Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Tue, 12 May 2026 14:03:48 +0200 Subject: [PATCH] feat(research): add intro papers --- research/00_intro.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 research/00_intro.md 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