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)!
18 Reason to learn propositional & predicate logic may 4 '12
16 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