Search the dblp DataBase

Publications of Author

1. Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace
   Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. [Citation Graph (0, 0)][DBLP]
   Advanced Functional Programming, 2002, pp:59-99 [Conf]
   
2. Olaf Chitil
   Compositional Explanation of Types and Algorithmic Debugging of Type Errors. [Citation Graph (0, 0)][DBLP]
   ICFP, 2001, pp:193-204 [Conf]
   
3. Olaf Chitil
   Type Inference Builds a Short Cut to Deforestation. [Citation Graph (0, 0)][DBLP]
   ICFP, 1999, pp:249-260 [Conf]
   
4. Olaf Chitil
   Source-Based Trace Exploration. [Citation Graph (0, 0)][DBLP]
   IFL, 2004, pp:126-141 [Conf]
   
5. Olaf Chitil
   Common Subexpressions Are Uncommon in Lazy Functional Languages. [Citation Graph (0, 0)][DBLP]
   Implementation of Functional Languages, 1997, pp:53-71 [Conf]
   
6. Olaf Chitil
   Type-Inference Based Short Cut Deforestation (Nearly) without Inlining. [Citation Graph (0, 0)][DBLP]
   IFL, 1999, pp:19-35 [Conf]
   
7. Olaf Chitil, Dan McNeill, Colin Runciman
   Lazy Assertions. [Citation Graph (0, 0)][DBLP]
   IFL, 2003, pp:1-19 [Conf]
   
8. Olaf Chitil, Colin Runciman, Malcolm Wallace
   Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. [Citation Graph (0, 0)][DBLP]
   IFL, 2000, pp:176-193 [Conf]
   
9. Olaf Chitil, Colin Runciman, Malcolm Wallace
   Transforming Haskell for Tracing. [Citation Graph (0, 0)][DBLP]
   IFL, 2002, pp:165-181 [Conf]
   
10. Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch
    Observing Functional Logic Computations. [Citation Graph (0, 0)][DBLP]
    PADL, 2004, pp:193-208 [Conf]
    
11. Josep Silva, Olaf Chitil
    Combining algorithmic debugging and program slicing. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:157-166 [Conf]
    
12. Olaf Chitil, Yong Luo
    Structure and Properties of Traces for Functional Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:1, pp:39-63 [Journal]
    
13. Olaf Chitil
    The c-Semantics: A Comprehensive Semantics for Functional Programs. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:31, n:3/4, pp:253-294 [Journal]
    
14. Olaf Chitil
    Pretty printing with lazy dequeues. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:1, pp:163-184 [Journal]
    
15. Olaf Chitil, Frank Huch
    A Pattern Logic for Prompt Lazy Assertions in Haskell. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:126-144 [Conf]
    
16. Yong Luo, Olaf Chitil
    Proving the correctness of algorithmic debugging for functional programs. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2006, pp:19-34 [Conf]
    
17. 
    Monadic, Prompt Lazy Assertions in Haskell. [Citation Graph (, )][DBLP]
    
    
18. 
    Comprehending finite maps for algorithmic debugging of higher-order functional programs. [Citation Graph (, )][DBLP]