Comments on: Compatibility of equalities based on operational semantics http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=392 abstracting the pain away Tue, 17 May 2011 07:05:56 +0100 hourly 1 http://wordpress.org/?v=3.0.3 By: Nils Anders Danielsson http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=392#comment-80746 Nils Anders Danielsson Tue, 30 Nov 2010 17:18:19 +0000 http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=392#comment-80746 I can only recall one "new" thing being mentioned: It is unclear if Howe's method can be adapted (in a reasonably elegant way) to operational semantics defined using the partiality monad. I can only recall one “new” thing being mentioned: It is unclear if Howe’s method can be adapted (in a reasonably elegant way) to operational semantics defined using the partiality monad.

]]> By: Neel Krishnaswami http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=392#comment-78437 Neel Krishnaswami Fri, 05 Nov 2010 20:03:40 +0000 http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=392#comment-78437 I'll second that question! I’ll second that question!

]]> By: Bob Harper http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=392#comment-77722 Bob Harper Fri, 29 Oct 2010 19:25:41 +0000 http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=392#comment-77722 And what came of it? And what came of it?

]]>