User:Andrew Butterfield
Revision as of 19:53, 6 April 2012 by Andrew Butterfield (talk | contribs)
Interested in FP ever since I discovered such languages during my PhD, which used a dialect of ML to develop a Silicon Compiler. More recent work looked at formal reasoning techniques for I/O in pure, lazy functional languages, looking at the effects the programs had on their external environments. Also writing a theorem proving assistant called U(TP)^2 for Unifying Theories of Programming, using Haskell with wxHaskell.
See [1]