User:Andrew Butterfield

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]