Difference between revisions of "DDC/FurtherReading"
< DDC
Jump to navigation
Jump to search
| Line 3: | Line 3: | ||
For effect typing (and DDC namesake) |
For effect typing (and DDC namesake) |
||
* The Type and Effect Discipline, ''Jean-Pierre Talpin and Pierre Jouvelot'', Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, 1992 |
* The Type and Effect Discipline, ''Jean-Pierre Talpin and Pierre Jouvelot'', Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, 1992 |
||
| + | |||
| + | For region typing. |
||
| + | Note that DDC uses regions to track mutability of object, not to manage allocation. |
||
| + | * A Region Inference Algorithm, ''Mads Tofte and Lars Birkedal'', ACM Transactions on Programming Languages and Systems, Vol 20, No 5, July 1998 |
||
Revision as of 07:15, 19 March 2008
The Disciple type system is a combination of several existing systems that have been around for some time. Until the authors thesis is finished (erk), these papers would be a good start if you wanted more information about how it works:
For effect typing (and DDC namesake)
- The Type and Effect Discipline, Jean-Pierre Talpin and Pierre Jouvelot, Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, 1992
For region typing. Note that DDC uses regions to track mutability of object, not to manage allocation.
- A Region Inference Algorithm, Mads Tofte and Lars Birkedal, ACM Transactions on Programming Languages and Systems, Vol 20, No 5, July 1998