mostly interested in objective-c, wpf, c#, f#, ml, functional programming, hindley-milner type systems, prolog, language design and mathematical logic.
By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.