Tomas Petricek's research on Coeffects
75 views
Skip to first unread message
Suminda Dharmasena
May 10, 2016, 11:53:31 PM5/10/16
to dotty-internals
These might be useful:
- http://tomasp.net/coeffects/
- http://tomasp.net/academic/papers/structural/
- http://tomasp.net/academic/papers/coeffects/
- http://tomasp.net/blog/2014/why-coeffects-matter/
In addition perhaps this:
- https://www.fstar-lang.org/tutorial/ - see Ch 2 and 9
Reply all
Reply to author
Forward
0 new messages