Edward Kmett

haskell linear-haskell logic linear-logic bidirectional transformations lenses math category theory mathematics combinatory logic combinators lambda calculus functonal programming name binding syntax computer science lowest common ancestor algorithm asymptotic complexity programming language design microsoft sharepoint services dundas deltek winsig