Professor of Computer Science, with research interests in Programming Languages and Theory of Programming.
Also on Programmers, where I am shooting for a negative rating (if such a thing is possible)!
19 Reason to learn propositional & predicate logic May 4 '12
17 What are staged functions (conceptually)? Jul 26 '12
12 Scott-continuous functions: an alternative definition Apr 23 '12
12 What is meant by Category theory doesn't yet know how to deal with higher-order functions? Feb 15 '13
9 What is beta equivalence? Mar 22 '12