
20 Dec
2011
20 Dec
'11
2:06 a.m.
* Alexander Solla
* Documentation that discourages thinking about bottom as a 'value'. It's not a value, and that is what defines it.
In denotational semantics, every well-formed term in the language must have a value. So, what is a value of "fix id"? -- Roman I. Cheplyaka :: http://ro-che.info/