TIP in Haskell - another exercise in functional programming (1991)

Cached

Download Links

by Colin Runciman
Venue:Proc. Glasgow Workshop on Functional Programming 1991
Citations:4 - 1 self

Documents Related by Co-Citation

36 Multiple-view tracing for Haskell: a new hat – Malcolm Wallace, Olaf Chitil, Thorsten Brehm, Colin Runciman - 2001
13 Transforming haskell for tracing – Olaf Chitil, Colin Runciman, Malcolm Wallace - 2003
474 Algorithmic Program Debugging – E Shapiro - 1983
81 Declarative debugging for lazy functional languages – Henrik Nilsson - 1998
33 Tracing Lazy Functional Computations Using Redex Trails – Jan Sparud, Colin Runciman - 1997
18 Testing and tracing lazy functional programs using Quickcheck and Hat – Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace - 2003
283 Why functional programming matters – John Hughes - 1989
3 Practical aspects of declarative debugging – B Pope, Lee Naish - 2003
18 Dynamic Slicing Based on Redex Trails – C Ochoa, J Silva, G Vidal - 2004
20 A Semantics for Tracing Declarative Multi-Paradigm Programs – B. Brassel, M. Hanus, F. Huch - 2004
29 Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs – Olaf Chitil, Colin Runciman, Malcolm Wallace - 2001
632 A Survey of Program Slicing Techniques – F. Tip - 1995
27 The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging – Henrik Nilsson - 1995
13 Complete and Partial Redex Trails of Functional Computations – Jan Sparud, Colin Runciman - 1997
2 Solid Modelling in Haskell – Duncan C. Sinclair - 1990
1 Space partitioning models in computational geometry – I G Checkland - 1991
1 Directions in functional programming research – S Peyton Jones - 1984
1 Some computable numbers: An Orwell implementation of Vuillemin's continued fractions – D R Lester - 1991
1 Principles of interactive computer graphics. Computer science series – W M Newman, R F Sproull - 1981