Changes between Version 1 and Version 2 of Commentary/CmmKinds


Ignore:
Timestamp:
Jan 9, 2010 10:12:02 PM (6 years ago)
Author:
duncan
Comment:

expand out tinyurl redirects to their targets

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/CmmKinds

    v1 v2  
    55
    66Probably not.  GHC Cmm is a sort of pidgin version of C-- 2.0, and
    7 true C-- kinds are explained in the C-- specification, section 5.1.
    8 Downloadable from http://tinyurl.com/4sqmq6.
     7true C-- kinds are explained in the [http://www.cminusminus.org/code.html C-- specification, section 5.1].
    98
    109  When I was portabilizing that code area a while ago I had ignorantly
     
    2120
    2221If you like dense, indigestible academic papers full of formalism,
    23 there's one I'm quite proud of at http://tinyurl.com/4gwjub.
     22there's [http://www.cs.tufts.edu/~nr/pubs/staged-abstract.html one I'm quite proud of].
    2423It explains in detail how kinds are useful for specifying and
    2524implementing procedure calling conventions, which is the use to which