TB-Docs/research/00_intro.md

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