DDC/FurtherReading
Jump to navigation
Jump to search
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