PLEASE POST --> SAS 2008 at the Technical University of Valencia
We are happy to announce that SAS 2008, the Static Analysis Symposium,
will take place at the Technical University of Valencia:
Submission of abstract: January 12, 2008
Submission of full paper:January 19, 2008
No
Conal Elliott wrote:
Oh. Simple enough. Thanks.
Another question: why the IO in readIVar :: IVar a -> IO a, instead
of just readIVar :: IVar a -> a? After all, won't readIVar iv yield
the same result (eventually) every time it's called?
Because it won't necessarily yield the same result th
