Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Book section | Monograph | Conference or workshop item | Thesis

Number of items: 51.

Article

Swierstra, S. Doaitse and Chitil, Olaf (2009) Linear, bounded, functional pretty-printing. Journal of Functional Programming, 19 (01). pp. 1-16. ISSN 0956-7968.

Preview

Chitil, Olaf (2005) Pretty printing with lazy dequeues. Transactions on Programming Languages and Systems (TOPLAS), 27 (1). pp. 163-184. ISSN 0164-0925.

Preview

Chitil, Olaf (1997) The Sigma-Semantics: A Comprehensive Semantics for Functional Programs. Fundamenta Informaticae, 31 . pp. 253-294.

Preview

Book section

Chitil, Olaf (2009) Functional Programming. In: Wah, Benjamin W., ed. Encyclopedia of Computer Science and Engineering. John Wiley & Sons, Hoboken, NJ, pp. 1334-1344. ISBN 978-0-471-38393-2.

Preview

Luo, Y. and Chitil, Olaf (2007) Proving the correctness of algorithmic debugging for funtional programs. In: Nilsson, Henrik, ed. Trends in Functional Programming. Trends in Functional Programming, 7 . Intellect UK, United States, pp. 19-34. ISBN 978-1841501888 .

Preview

Chitil, Olaf and Luo, Yong (2007) Proving the Correctness of Algorithmic Debugging for Functional Programs. In: Trends in Functional Programming. Intellect. ISBN 9781841501888.

Preview

Monograph

Chitil, Olaf (2011) StrictCheck: a Tool for Testing Whether a Function is Unnecessarily Strict. Technical report. The full text of this publication is not available from this repository.

Luo, Yong and Chitil, Olaf (2007) Algorithmic Debugging for Locally Defined Functions. Technical report. University of Kent, Canterbury, Canterbury

Preview

Luo, Yong and Chitil, Olaf (2007) Algorithmic Debugging with Cyclic Traces of Lazy Functional Programs. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent

Preview

Luo, Yong and Chitil, Olaf (2007) Algorithmic debugging and trusted functions. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent

Preview

Luo, Yong and Chitil, Olaf (2007) Replacing unevaluated parts in the traces of functional programs. Technical report. University of Kent, Canterbury, Kent, Canterbury, Kent

Preview

Chitil, Olaf (2006) Pretty Printing with Delimited Continuations Report 4-06. Technical report. University of Kent

Preview

Chitil, Olaf (1997) Adding an Optimisation Pass to the Glasgow Haskell Compiler. Other. University of Kent at Canterbury (Unpublished) The full text of this publication is not available from this repository.

Chitil, Olaf (1996) The Sigma-Semantics: A Comprehensive Semantics for Functional Programs. Technical report. UKC

Preview

Conference or workshop item

Chitil, Olaf (2012) Practical Typed Lazy Contracts. In: Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012). The full text of this publication is not available from this repository.

UNSPECIFIED (2011) Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008; Hatfield, UK, September 2008; Revised Selected Papers. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Chitil, Olaf (2011) A semantics for lazy assertions. In: Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation. The full text of this publication is not available from this repository.

Chitil, Olaf and Davie, Thomas (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.

Preview

UNSPECIFIED (2008) Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Chitil, Olaf and Huch, Frank (2007) Monadic prompt lazy assertions in Haskell. In: Shao, Zhong, ed. Programming Languages and Systems. Lecture Notes in Computer Science Vol. 4807, 4807. Springer pp. 38-53. ISBN 3540766367.

Preview

Chitil, Olaf and Huch, Frank (2007) A Pattern Logic for Prompt Lazy Assertions. In: Horváth, Zoltán and Zsok, Viktoria and Butterfield, Andrew, eds. Implementation and Application of Functional Languages. Lecture Notes in Computer Science , 4449. Springer, Germany pp. 126-144. ISBN 978-3-540-7412909 .

Preview

Chitil, Olaf and Luo, Yong (2007) Structure and Properties of Traces for Functional Programs. In: Mackie, Ian, ed. Electronic Notes in Theoretical Computer Science (ENTCS). ENTCS, 176. Elsevier pp. 39-63.

Preview

Chitil, Olaf and Huch, Frank (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.

Preview

Davie, Thomas and Chitil, Olaf (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.

Preview

Chitil, Olaf (2006) Promoting Non-Strict Programming. In: Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006.

Preview

Luo, Yong and Chitil, Olaf (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.

Preview

Silva, Josep and Chitil, Olaf (2006) Combining Algorithmic Debugging and Program Slicing. In: 8th ACM SIGPLAN international conference on Principles and practice of declarative programming, 10-12 July 2006, Venice, Italy. The full text of this publication is not available from this repository.

Davie, Thomas and Chitil, Olaf (2006) One Right Does Make a Wrong. In: Pre-Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006. (Submitted)

Preview

Chitil, Olaf and Luo, Yong (2006) Towards a Theory of Tracing for Functional Programs based on Graph Rewriting. In: Mackie, Ian, ed. Draft Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph 2006. Termgraph

Preview

Davie, Thomas and Chitil, Olaf (2005) Hat-Delta --- One Right Does Make a Wrong. In: Hat Day 2005: work in progress on the Hat tracing system for Haskell.

Preview

Chitil, Olaf (2005) Pretty Printing with Partial Continuations. In: 17th International Workshop on Implementation and Application of Functional Languages, 19-21 September 2005, Dublin, Ireland.

Preview

Chitil, Olaf (2005) Hat-Explore: Source-Based Trace Exploration. In: Runciman, Colin, ed. Implementation and Application of Functional Languages. Lecture Notes in Computer Science, 3474/2. Springer Berlin / Heidelberg pp. 126-141. ISBN 978-3-540-26094-3.

Preview

Chitil, Olaf (2005) Source-based trace exploration. In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004.

Preview

Chitil, Olaf and McNeill, Dan and Runciman, Colin (2004) Lazy Assertions. In: Implementation of Functional Languages: 15th International Workshop, IFL 2003, Sep 08-11, 2003, Edinburgh, England.

Preview

Chitil, Olaf (2004) Source-Based Trace Exploration. In: Implementation and Application of Functional Languages. Lecture Notes in Computer Science. Technical Report 0408, University of Kiel pp. 239-244. ISBN 3-540-26094-3 .

Preview

Brassel, Bernd and Chitil, Olaf and Hanus, Michael and Huch, Frank (2004) Observing Functional Logic Computations. In: Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04), JUN 18-19, 2004, Dallas, TX, .

Preview

Claessen, Koen and Runciman, Colin and Chitil, Olaf and Hughes, John and Wallace, Malcolm (2003) Testing and Tracing Lazy Functional Programs using QuickCheck and Hat. In: 4th Summer School in Advanced Functional Programming. The full text of this publication is not available from this repository.

Chitil, Olaf and Runciman, Colin and Wallace, Malcolm (2003) Transforming Haskell for Tracing. In: Ricardo, Peña and Thomas, Arts, eds. Implementation of Functional Languages. Lecture Notes in Computer Science. Springer, Berlin pp. 165-181. ISBN 3540401903. The full text of this publication is not available from this repository.

Chitil, Olaf (2001) A Semantics for Tracing. In: Draft Proceedings of the 13th International Workshop on Implementation of Functional Languages, IFL 2001.

Preview

Chitil, Olaf (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).

Preview

Wallace, Malcolm and Chitil, Olaf and Brehm, Thorsten and Runciman, Colin (2001) Multiple-View Tracing for Haskell: a New Hat. In: Preliminary Proceedings of the 2001 ACM SIGPLAN Haskell Workshop.

Preview

Chitil, Olaf and 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.

Preview

Chitil, Olaf and 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.

Preview

Simon, A. and Chitil, Olaf and Huch, F. (2000) Typeview: A Tool for Understanding Type Errors. In: Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages.

Preview

Chitil, Olaf (2000) Deforestation of Functional Programs through Type Inference. In: 17 Workshops der GI-Fachgruppe 2.1.4. Programmiersprachen und Rechenkonzepte mit Schwerpunkt Softwarecomponenten.

Preview

Chitil, Olaf (1999) Type Inference Builds a Short Cut to Deforestation. In: Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming (ICFP '99), September 27 - September 29, 1999 , Paris, France.

Preview

Chitil, Olaf (1999) Denotational Semantics for Teaching Lazy Functional Programming. In: Proceedings of the Workshop on Functional and Declarative Programming in Education, 29 September 1999, Paris, France.

Preview

Chitil, Olaf (1999) Type-Inference Based Short Cut Deforestation (nearly) without Inlining. In: 11th International Workshop on Implementation of Functional Languages, September 7th-10th 1999, Lochem, Netherlands.

Preview

Chitil, Olaf (1997) Common Subexpression Elimination in a Lazy Functional Language. In: Draft Proceedings of the 9th International Workshop on Implementation of Functional Languages.