Testing Properties of Generic Functions
暂无分享,去创建一个
Johan Jeuring | Patrik Jansson | Michiel Overeem | Kees Visser | Laurence Cabenda | Gerbo Engels | Jacob Kleerekoper | Sander Mak
[1] James C. McKim,et al. Design by Contract, By Example , 2001, TOOLS.
[2] Marinus J. Plasmeijer,et al. Gast: Generic Automated Software Testing , 2002, IFL.
[3] Koen Claessen,et al. QuickCheck: a lightweight tool for random testing of Haskell programs , 2000, ICFP.
[4] Ralf Hinze,et al. Comparing Approaches to Generic Programming in Haskell , 2006, SSDGP.
[5] Ralf Hinze,et al. Generic Programs and Proofs , 2000 .
[6] Peyton Jones,et al. Haskell 98 language and libraries : the revised report , 2003 .
[7] Ralf Hinze,et al. The Generic Haskell user's guide , 2001 .
[8] Johan Jeuring,et al. Generic Views on Data Types , 2006, MPC.
[9] Johan Jeuring,et al. Dependency-style generic haskell , 2003, ACM SIGPLAN Notices.
[10] Johan Jeuring,et al. PolyLib - a polytypic function library , 1998 .
[11] Kent L. Beck,et al. Test-driven Development - by example , 2002, The Addison-Wesley signature series.
[12] Andres Löh,et al. Exploring generic Haskell , 2004 .
[13] Johan Jeuring,et al. Polytypic Unification , 1998, J. Funct. Program..
[14] Pieter Koopman,et al. Generic Generation of Elements of Types , 2005 .
[15] Johan Jeuring,et al. The Generic Haskell user's guide, Version 1.60 - Diamond release , 2006 .
[16] Ralf Hinze,et al. Generic Haskell: Practice and Theory , 2003, Generic Programming.