Difference between revisions of "User:Andrew Butterfield"
Jump to navigation
Jump to search
(about me) |
|||
Line 1: | Line 1: | ||
Interested in FP ever since I discovered such languages during my PhD, which used |
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. |
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 [http://www.scss.tcd.ie/Andrew.Butterfield] |
Latest revision as of 19:53, 6 April 2012
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]