Viewing profile — eclecnant

eclecnant

HN member

No profile information was provided.

story
Interpreters with Non-Determinism Using a Free Monad
Sun, May 12, 2019, 6:56 PM UTC
comment
Comment #6012386
"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 exis…

Tue, Jul 09, 2013, 12:54 PM UTC
comment
Comment #5750578
Is that "JIF" meant to be pronounced in English or French, then? ;)

Wed, May 22, 2013, 1:21 PM UTC
comment
Comment #4433496
Dr. Anteater and Aunt Hillary [0] probably knew this all along. [0]: http://themindi.blogspot.co.uk/2007/02/chapter-11-prelude-an...

Sat, Aug 25, 2012, 10:04 PM UTC