Changes between Version 84 and Version 85 of TypeFunctions

Show
Ignore:
Timestamp:
08/23/08 21:22:53 (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctions

    v84 v85  
    6464 * [http://www.cse.unsw.edu.au/~chak/papers/CKP05.html Associated Type Synonyms.] Manuel M. T. Chakravarty, Gabriele Keller, and Simon Peyton Jones. In Proceedings of The Tenth ACM SIGPLAN International Conference on Functional Programming, ACM Press, pages 241-253, 2005. 
    6565 * [http://www.cse.unsw.edu.au/~chak/papers/SSPC07.html Towards Open Type Functions for Haskell.] Tom Schrijvers, Martin Sulzmann, Simon Peyton-Jones, and Manuel M. T. Chakravarty. Presented at IFL 2007. 
    66  * [http://www.cse.unsw.edu.au/~chak/papers/SPCS08.html Type Checking with Open Type Functions.] Tom Schrijvers, Simon Peyton-Jones, Manuel M. T. Chakravarty, and Martin Sulzmann. Unpublished draft. 
     66 * [http://www.cse.unsw.edu.au/~chak/papers/SPCS08.html Type Checking with Open Type Functions.] Tom Schrijvers, Simon Peyton-Jones, Manuel M. T. Chakravarty, and Martin Sulzmann. ICFP 2008 : The 13th ACM SIGPLAN International Conference on Functional Programming, ACM Press, 2008. 
    6767 * Old and outdated wiki material on [wiki:TypeFunctionsSynTC type checking with indexed synonyms.] 
    6868