| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl) | Gordon, Colin S. | 2020 |
| 2 | Lifting Sequential Effects to Control Operators | Gordon, Colin S. | 2020 |
| 3 | A Generic Approach to Flow-Sensitive Polymorphic Effects | Gordon, Colin S. | 2017 |
| 4 | Trace Typing: An Approach for Evaluating Retrofitted Type Systems | Andreasen, Esben et al. | 2016 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 4 |