Changes between Version 6 and Version 7 of ExplicitTypeApplication


Ignore:
Timestamp:
Dec 15, 2011 10:17:22 AM (2 years 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