User:Andrew Butterfield
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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]