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