[Grace-core] Links from telecon...

[James Noble]

Google Summer Scholarships:   http://www.google.com/research/university/relations/research_awards.html

look at NSG RAPID & 	EAGER grants?


Gradual Typing:  http://ecee.colorado.edu/~siek/gradualtyping.html

http://wiki.jvmlangsummit.com/pdf/28_Siek_gradual.pdf (cites Kim) 

KEVO:
http://www.google.co.nz/search?hl=en&client=safari&rls=en&q=KEVO+taivalsaari&aq=f&aqi=&aql=&oq=&gs_rfai=

Questions are
 * "Gradual" vs "Dynamic" 
   - Siek's Gradual permits assignment to and from Dynamic without casts
   - C# 3.0 permits assignments *to* Dynamic, but assignment from dynamic 
       to static casts require an 'explicit' type test.
 * What should the syntax be?
   - in particular, do we support local type inference?

* Underscores and primes...

J