![]() | ![]() |
2009 | ||
---|---|---|
2 | EE | Daniel Marino, Todd D. Millstein: A generic type-and-effect system. TLDI 2009: 39-50 |
2007 | ||
1 | EE | Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein: Enforcing and validating user-defined programming disciplines. PASTE 2007: 85-86 |
1 | Brian Chin | [1] |
2 | Shane Markstrum | [1] |
3 | Todd D. Millstein | [1] [2] |