mostly interested in objective-c, wpf, c#, f#, ml, functional programming, hindley-milner type systems, prolog, language design and mathematical logic.
Stack Overflow
Q&A for professional and enthusiast programmers
Joined 4 years ago, last seen 10 months ago
5,178 reputation
31621
badges
4 questions
44 answers