Difference between revisions of "DDC/FurtherReading"
< DDC
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
+ | 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) |
||
− | Many |
||
+ | * The Type and Effect Discipline |
||
+ | Jean-Pierre Talpin and Pierre Jouvelot |
||
+ | Seventh Annual {IEEE} Symposium on Logic in Computer Science, Santa Cruz, California, 1992 |
Revision as of 07:08, 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