Rick Murphy (2L53)
In 2010 I plan to continue my investigation into functional programming and higher order logic with Haskell and Isabelle/HOL. I continue to examine the Heterogeneous Tool Set(HETS) and the Common Algebraic Specification Language (CASL). (42CH)
My reading list for 2010 includes the following: (42CI)
http://bit.ly/57pltt http://bit.ly/4RBJWd http://bit.ly/7f19Hs http://bit.ly/6ZuuP9 (42CJ)