Benchmarking Purely Functional Data Structures (1999)

View PDF

Download Links

by Graeme E. Moss
Venue:Journal of Functional Programming
Citations:2 - 0 self

Documents Related by Co-Citation

329 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
280 Principles and methods of Testing Finite State Machines a survey. The – David Lee, Mihalis Yannakakis - 1996
131 Software testing based on formal specifications: A theory and a tool – G Bernot, M-C Gaudel, B Marre - 1991
125 Implementing Type Classes – John Peterson, Mark Jones
108 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
69 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
68 Formal Test Automation: A Simple Experiment – Axel Belinfante, Jan Feenstra, Rene de Vries, Jan Tretmans, Nicolae Goga, Loe Feijs, Sjouke Mauw, Lex Heerink - 1999
65 Testing transition systems: An annotated bibliography – Ed Brinksma, Jan Tretmans
60 Using on-the-Fly Verification Techniques for the Generation of Test Suites – Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho - 1996