2004 |
3 | EE | Mike Thomas:
"An Introduction to Computing with Haskell" by Manuel M. T. Chakravarty and Gabrielle C. Keller, Pearson SprintPrint, 2002, ISBN 1 74009 404 2.
J. Funct. Program. 14(2): 247-249 (2004) |
2 | EE | Mike Thomas:
Reasoning About Program Transformations: Imperative Programming and Flow of Data by Jean-Francois Collard, Springer-Verlag, 2003.
J. Funct. Program. 14(5): 589-592 (2004) |
2002 |
1 | | Ye Yoon Hong,
Mike Thomas:
Representational Versatility and Linear Algebraic Equations.
ICCE 2002: 1002-1006 |