Co And Contravariance
TS
Used Sources:
- Polarized Higher-Order Subtyping - Martin Steffen
- I-Pierce, chapters 15, 16, 17, 26, 28, 31.
- Higher-Order Subtyping - Steffen, Pierce
- Polarized Higher-Order Subtyping - Steffen's Ph.D. Thesis
- Covariance and Contravariance: Conflict without a Cause - Giuseppe Castagna
| I | Attachment | Action | Size | Date | Who | Comment |
|---|---|---|---|---|---|---|
 hs | TDLang.hs | manage | 7.5 K | 05 Nov 2007 - 22:48 | JeielSchalkwijk | Our simple implementation |
 pdf | presentation-final.pdf | manage | 259.4 K | 05 Nov 2007 - 23:05 | JeielSchalkwijk | Final presentation |
| pdf | presentation-initial.pdf | manage | 184.9 K | 04 Oct 2007 - 13:39 | JeielSchalkwijk | First Presentation |