mostly interested in objective-c, wpf, c#, f#, ml, functional programming, hindley-milner type systems, prolog, language design and mathematical logic.
Q&A for professional and enthusiast programmers
Joined 7 years ago, last seen 3 years ago
Q&A for Ubuntu users and developers
Joined 5 years ago, last seen 4 years ago
Q&A for professional mathematicians
Joined 6 years ago, last seen 6 years ago