# Reference

0. [An Introduction to Session Types](https://wen.works/2020/12/17/an-introduction-to-session-types/)