School of Computing

Publications by Dr Olaf Chitil

Also view these in the Kent Academic Repository

Conference or workshop item
Chitil, O. (2012). Practical Typed Lazy Contracts. In: Proceedings Of The 17Th Acm Sigplan International Conference On Functional Programming (Icfp 2012). ACM.
Chitil, O. (2011). A semantics for lazy assertions. In: Proceedings Of The 20Th Acm Sigplan Workshop On Partial Evaluation And Program Manipulation. ACM, pp. 182-196.
Chitil, O. and Davie, T. (2008). Comprehending Finite Maps for Algorithmic Debugging of Higher-Order Functional Programs. In: Ppdp '08: Proceedings Of The 10Th International Acm Sigplan Conference On Principles And Practice Of Declarative Programming. ACM, pp. 205-216.
Chitil, O. and Huch, F. (2007). A Pattern Logic for Prompt Lazy Assertions. In: Implementation And Application Of Functional Languages, 18Th International Workshop, Ifl 2006. Germany: Springer, pp. 126-144.
Chitil, O. and Luo, Y. (2007). Structure and Properties of Traces for Functional Programs. In: Proceedings Of The 3Rd International Workshop On Term Graph Rewriting, Termgraph 2006. Elsevier, pp. 39-63.
Chitil, O. and Huch, F. (2007). Monadic prompt lazy assertions in Haskell. In: Programming Languages And Systems, 5Th Asian Symposium, Aplas 2007. Springer, pp. 38-53.
Davie, T. and Chitil, O. (2006). One Right Does Make a Wrong. In: Pre-Proceedings Of The Seventh Symposium On Trends In Functional Programming, Tfp 2006.
Chitil, O. and Luo, Y. (2006). Towards a Theory of Tracing for Functional Programs based on Graph Rewriting. In: Draft Proceedings Of The 3Rd International Workshop On Term Graph Rewriting, Termgraph 2006. Termgraph.
Silva, J. and Chitil, O. (2006). Combining Algorithmic Debugging and Program Slicing. In: 8Th Acm Sigplan International Conference On Principles And Practice Of Declarative Programming. New York, New York (USA): ACM Press, pp. 157-166.
Chitil, O. and Huch, F. (2006). A Pattern Logic for Prompt Lazy Assertions in Haskell. In: Draft Proceedings Of The 18Th International Symposium On Implementation And Application Of Functional Languages, Ifl 2006. Budapest, Hungary: Eotvos Lorand University.
Davie, T. and Chitil, O. (2006). Display of Functional Values for Debugging. In: Draft Proceedings Of The 18Th International Symposium On Implementation And Application Of Functional Languages, Ifl 2006. Budapest, Hungary: Eotvos Lorand University, pp. 326-337.
Chitil, O. (2006). Promoting Non-Strict Programming. In: Draft Proceedings Of The 18Th International Symposium On Implementation And Application Of Functional Languages, Ifl 2006. Budapest, Hungary: Eotvos Lorand University, pp. 512-516.
Luo, Y. and Chitil, O. (2006). Replacing Unevaluated Parts in the Traces of Functional Programs. In: Draft Proceedings Of The 18Th International Symposium On Implementation And Application Of Functional Languages, Ifl 2006. Budapest, Hungary: Eotvos Lorand University, pp. 304-325.
Davie, T. and Chitil, O. (2005). Hat-Delta --- One Right Does Make a Wrong. In: Hat Day 2005: Work In Progress On The Hat Tracing System For Haskell. Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK, pp. 6-11.
Chitil, O. (2005). Pretty Printing with Partial Continuations. In: 17Th International Workshop On Implementation And Application Of Functional Languages.
Chitil, O. (2005). Hat-Explore: Source-Based Trace Exploration. In: Hat Day 2005: Work In Progress On The Hat Tracing System For Haskell. Springer Berlin / Heidelberg, pp. 126-141.
Chitil, O. (2005). Source-based trace exploration. In: Implementation And Application Of Functional Languages, 16Th International Workshop, Ifl 2004. Springer, pp. 126-141.
Chitil, O., McNeill, D. and Runciman, C. (2004). Lazy Assertions. In: Implementation Of Functional Languages: 15Th International Workshop, Ifl 2003. Springer, pp. 1-19.
Chitil, O. (2004). Source-Based Trace Exploration. In: Draft Proceedings Of The 16Th International Workshop On Implementation Of Functional Languages, Ifl 2004. Technical Report 0408, University of Kiel, pp. 239-244.
Brassel, B. et al. (2004). Observing Functional Logic Computations. In: Proc. Of The Sixth International Symposium On Practical Aspects Of Declarative Languages (Padl'04). Springer, pp. 193-208.
Claessen, K. et al. (2003). Testing and Tracing Lazy Functional Programs using QuickCheck and Hat. In: 4Th Summer School In Advanced Functional Programming. Oxford: SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY, pp. 59-99.
Chitil, O., Runciman, C. and Wallace, M. (2003). Transforming Haskell for Tracing. In: Draft Proceedings Of The 14Th International Workshop On Implementation Of Functional Languages, Ifl 2002. Berlin: Springer, pp. 165-181.
Chitil, O., Runciman, C. and Wallace, M. (2001). Freja, Hat and Hood --- A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. In: Proceedings Of The 12Th International Workshop On Implementation Of Functional Languages (Ifl 2000). Aachen, Germany: Springer, pp. 176-193.
Chitil, O. (2001). A Semantics for Tracing. In: Draft Proceedings Of The 13Th International Workshop On Implementation Of Functional Languages, Ifl 2001. Älvsjö, Sweden, pp. 249-254.
Chitil, O. (2001). Compositional Explanation of Types and Algorithmic Debugging of Type Errors. In: Proceedings Of The Sixth Acm Sigplan International Conference On Functional Programming (Icfp'01). Firenze, Italy: ACM, pp. 193-204.
Wallace, M. et al. (2001). Multiple-View Tracing for Haskell: a New Hat. In: Preliminary Proceedings Of The 2001 Acm Sigplan Haskell Workshop. Firenze, Italy, pp. 151-170.
Chitil, O., Runciman, C. and Wallace, M. (2000). Tracing and Debugging of Lazy Functional Programs - A Comparative Evaluation of Three Systems. In: Draft Proceedings Of The 12Th International Workshop On Implementation Of Functional Languages. Aachen, Germany, pp. 47-62.
Chitil, O. (2000). Deforestation of Functional Programs through Type Inference. In: 17 Workshops Der Gi-Fachgruppe 2.1.4. Programmiersprachen Und Rechenkonzepte Mit Schwerpunkt Softwarecomponenten. pp. 121-130.
Simon, A., Chitil, O. and Huch, F. (2000). Typeview: A Tool for Understanding Type Errors. In: Draft Proceedings Of The 12Th International Workshop On Implementation Of Functional Languages. Aachen, Germany, pp. 63-69.
Chitil, O. (1999). Type Inference Builds a Short Cut to Deforestation. In: Proceedings Of The 1999 Acm Sigplan International Conference On Functional Programming (Icfp '99). Broadway, New York, USA: ACM Press, pp. 249-260.
Chitil, O. (1999). Denotational Semantics for Teaching Lazy Functional Programming. In: Proceedings Of The Workshop On Functional And Declarative Programming In Education.
Chitil, O. (1999). Type-Inference Based Short Cut Deforestation (nearly) without Inlining. In: 11Th International Workshop On Implementation Of Functional Languages. pp. 17-32.
Chitil, O. (1997). Common Subexpression Elimination in a Lazy Functional Language. In: Draft Proceedings Of The 9Th International Workshop On Implementation Of Functional Languages. pp. 501-516.
Monograph
Chitil, O. (2011). Strictcheck: A Tool For Testing Whether A Function Is Unnecessarily Strict.
Luo, Y. and Chitil, O. (2007). Algorithmic Debugging For Locally Defined Functions. University of Kent, Canterbury.
Luo, Y. and Chitil, O. (2007). Algorithmic Debugging With Cyclic Traces Of Lazy Functional Programs. Computing Laboratory, University of Kent.
Luo, Y. and Chitil, O. (2007). Algorithmic Debugging And Trusted Functions. Computing Laboratory, University of Kent.
Luo, Y. and Chitil, O. (2007). Replacing Unevaluated Parts In The Traces Of Functional Programs. University of Kent, Canterbury, Kent.
Chitil, O. (2006). Pretty Printing With Delimited Continuations Report 4-06. University of Kent.
Chitil, O. (1997). Adding An Optimisation Pass To The Glasgow Haskell Compiler. University of Kent at Canterbury.
Chitil, O. (1996). The Sigma-Semantics: A Comprehensive Semantics For Functional Programs. UKC.
Book section
Chitil, O. (2009). Functional Programming. In: Encyclopedia Of Computer Science And Engineering. Hoboken, NJ: John Wiley & Sons, pp. 1334-1344.
Luo, Y. and Chitil, O. (2007). Proving the correctness of algorithmic debugging for funtional programs. In: Trends In Functional Programming . United States: Intellect UK, pp. 19-34.
Chitil, O. and Luo, Y. (2007). Proving the Correctness of Algorithmic Debugging for Functional Programs. In: Trends In Functional Programming . Intellect.
Article
Swierstra, S.D. and Chitil, O. (2009). Linear, bounded, functional pretty-printing. Journal of Functional Programming [Online] 19:1-16.
Chitil, O. (2005). Pretty printing with lazy dequeues. Transactions on Programming Languages and Systems (TOPLAS) 27:163-184.
Chitil, O. (1997). The Sigma-Semantics: A Comprehensive Semantics for Functional Programs. Fundamenta Informaticae 31:253-294.
Thesis
Chitil, O. (2000). Type-Inference Based Deforestation Of Functional Programs.
Chitil, O. (1995). Denotationelle Und Operationelle Semantiken Für Konstruktorbasierte Funktionale Programmiersprachen Erster Ordnung.
Total publications in KAR: 49 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 29/03/2015