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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI