> For the complete documentation index, see [llms.txt](https://wiki.dewaka.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://wiki.dewaka.com/programming/functional-programming/uniqueness-typing.md).

# Uniqueness Typing

* [Uniqueness Typing Redefined](http://www.edsko.net/pubs/ifl06-paper.pdf)

## Posts

* [Tradeoffs between Unique Types and Monads](http://lambda-the-ultimate.org/node/1180)