DDC/FurtherReading

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