Changes between Version 6 and Version 7 of ExplicitTypeApplication

Show
Ignore:
Timestamp:
12/15/11 02:17:22 (17 months ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ExplicitTypeApplication

    v6 v7  
    5252A problem with taking the inferred signature is that it is tied to 
    5353many assumptions, including that of principal types. 
     54[Dimitrios: Can you expand on this?] 
    5455 
    5556