Difference between revisions of "DDC/FurtherReading"
< DDC
Jump to navigation
Jump to search
Line 2: | Line 2: | ||
For effect typing (and DDC namesake) |
For effect typing (and DDC namesake) |
||
⚫ | |||
− | * The Type and Effect Discipline |
||
− | Jean-Pierre Talpin and Pierre Jouvelot |
||
⚫ |
Revision as of 07:10, 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