# 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)