Jonathan Mark Hughes

Search results

• 2003

  Testing and tracing lazy functional programs using QuickCheck and Hat

  Claessen, K., Runciman, C., Chitil, O., Hughes, J. & Wallace, M., 2003, ADVANCED FUNCTIONAL PROGRAMMING. Jeuring, J. & Jones, SP. (eds.). BERLIN: Springer, p. 59-99 41 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution