eclecnant

3 ms·

1. 1.▲
   Interpreters with Non-Determinism Using a Free Monad(casperbp.net)

   1 points by eclecnant 7y ago|0 comments
2. 2.▲
   by eclecnant 13y ago

   "There are even serious discussions about whether C++ semantics can be formalized, that is, whether it is mathematically possible." Since it is mechanisable (several compilers exist), surely it is "mathematically" possib
3. 3.▲
   by eclecnant 13y ago

   Is that "JIF" meant to be pronounced in English or French, then? ;)
4. 4.▲
   by eclecnant 14y ago

   Dr. Anteater and Aunt Hillary [0] probably knew this all along. [0]: http://themindi.blogspot.co.uk/2007/02/chapter-11-prelude-an...