Very interesting video.  Having also read the OOPSLA/SCOOL paper on the CCR would I be right is assuming that CCR is a step above Comega (not knowing anything about Comega)?  Is there any timelines for these work making it into C#?

Given the amount of research being done on the CLR, one can probably assume that somewhere around 2010, Windows will become a managed OS built using the work Microsoft Research is doing today - CCR, Comega, Singularity etc.