[coreload]

The Concurrent Clean programming language is based on uniqueness typing, related to linear typing. This may have some inspiration for other concurrent languages.

https://wiki.clean.cs.ru.nl/Clean