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)!
17 Reason to learn propositional & predicate logic may 4 '12
15 What are staged functions (conceptually)? jul 26 '12
11 Scott-continuous functions: an alternative definition apr 23 '12
11 What is meant by Category theory doesn't yet know how to deal with higher-order functions? feb 15 '13