30 Jan
2006
30 Jan
'06
5:57 a.m.
As I read it, the POPL'05 paper cited by the wiki page asserts that there is a problem, but does not explain what it is. Is there a better reference?
7049
Age (days ago)
7052
Last active (days ago)
1 comments
2 participants
participants (2)
-
Manuel M T Chakravarty -
Ross Paterson