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: |
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 |
+ | '''For effect typing:''' |
+ | |||
+ | This is where DDC gets is 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 |
* The Type and Effect Discipline, ''Jean-Pierre Talpin and Pierre Jouvelot'', Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, 1992 |
||
+ | '''For region typing:''' |
||
⚫ | |||
+ | |||
⚫ | |||
* A Region Inference Algorithm, ''Mads Tofte and Lars Birkedal'', ACM Transactions on Programming Languages and Systems, Vol 20, No 5, July 1998 |
* A Region Inference Algorithm, ''Mads Tofte and Lars Birkedal'', ACM Transactions on Programming Languages and Systems, Vol 20, No 5, July 1998 |
||
+ | |||
+ | '''For closure typing:''' |
||
+ | |||
+ | Closure typing was originally intended for O'CAML, but was not fully implemented as it was thought to complicate the interface files too much. In Haskell and DDC you don't have to write your own interface files, so this isn't a problem. |
||
+ | * Polymorphic type inference and assignment. ''Xavier Leroy and Pierre Weis'', Proc 18th Symp. Principles of Programming Languages, 1991. |
Revision as of 07:20, 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:
This is where DDC gets is 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
For region typing:
Note that DDC uses regions to track mutability of objects, not to manage allocation.
- A Region Inference Algorithm, Mads Tofte and Lars Birkedal, ACM Transactions on Programming Languages and Systems, Vol 20, No 5, July 1998
For closure typing:
Closure typing was originally intended for O'CAML, but was not fully implemented as it was thought to complicate the interface files too much. In Haskell and DDC you don't have to write your own interface files, so this isn't a problem.
- Polymorphic type inference and assignment. Xavier Leroy and Pierre Weis, Proc 18th Symp. Principles of Programming Languages, 1991.