I'm trying to combine algebraic effects with substructural...
User OceanSpray, in the Programming Languages subreddit,
I'm trying to combine algebraic effects with substructural types. There seems to be a lack of literature at the intersection of…
The best of both worlds: linear functional programming without compromise
Overview of attention for article published in arXiv, September 2016