Changes between Version 85 and Version 86 of TypeFunctions


Ignore:
Timestamp:
Aug 24, 2008 4:23:14 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v85 v86  
    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. ICFP 2008 : The 13th ACM SIGPLAN International Conference on Functional Programming, ACM Press, 2008. 
     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