Tagged Questions
6
votes
0answers
142 views
Using uniqueness types to implement safe parallelism
I've been interested in uniqueness types as an alternative to monads in pure functional languages for some time; unfortunately, this is kind of an esoteric area of CS research and online resources ...