Skip to main content
Kent Academic Repository

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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 67.

Sharrad, Joanna and Chitil, Olaf and Wang, Meng (2018) Delta Debugging Type Errors with a Blackbox Compiler. In: Proceedings of the 30th Symposium on Implementation and Application of Functional Languages. ACM pp. 13-24. ISBN 978-1-4503-7143-8. (doi:https://doi.org/10.1145/3310232.3310243) (Full text available)
[img]
Preview

Tsushima, Kanae and Chitil, Olaf (2018) A Common Framework Using Expected Types for Several Type Debugging Approaches. In: Lecture Notes in Computer Science. FLOPS 2018: Fourteenth International Symposium on Functional and Logic Programming. Lecture Notes in Computer Science, 10818. Springer pp. 230-246. ISBN 978-3-319-90685-0. E-ISBN 978-3-319-90686-7. (doi:https://doi.org/10.1007/978-3-319-90686-7_15) (Full text available)
[img]
Preview

Faddegon, Maarten (2017) Algorithmic debugging for complex lazy functional programs. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available)
[img]
Preview

Faddegon, Maarten and Chitil, Olaf (2017) A Type Generic Definition for Debugging Lazy Functional Programs by Value Observation. Computer Languages, Systems & Structures, 52 . pp. 92-110. ISSN 1477-8424. (doi:https://doi.org/10.1016/j.cl.2017.05.001) (Full text available)
[img]
Preview

Chitil, Olaf and Faddegon, Maarten and Runciman, Colin (2017) A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs. In: Proceedings of Implementation and Application of Functional Languages, IFL 2016. ACM ISBN 978-1-4503-4767-9. (doi:https://doi.org/10.1145/3064899.3064904) (Full text available)
[img]
Preview

Faddegon, Maarten and Chitil, Olaf (2016) Lightweight Computation Tree Tracing for Lazy Functional Languages. In: PLDI 2016: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press pp. 114-128. ISBN 978-1-4503-4261-2. (doi:https://doi.org/10.1145/2908080.2908104) (Full text available)
[img]
Preview

Faddegon, Maarten and Chitil, Olaf (2015) Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack. In: Algorithmic Debugging of Real-world Haskell Programs: Deriving Dependencies from the Cost Centre Stack. Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI 2015. ACM pp. 33-42. ISBN 978-1-4503-3468-6. (doi:https://doi.org/10.1145/2737924.2737985) (Full text available)
[img]
Preview

Tsushima, Kanae and Chitil, Olaf (2014) Enumerating Counter-Factual Type Error Messages with an Existing Type Checker. In: 16th Workshop on Programming and Programming Languages, PPL2014, 5-7 March 2014, Aso, Japan. (Full text available)
[img]
Preview

Tsushima, Kanae and Chitil, Olaf (2014) Enumerating Counter-Factual Type Error Messages with an Existing Type Checker (poster+demo). In: 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, 17-19 November 2014, Singapore. (Full text available)
[img]
Preview

Chitil, Olaf and King, Andy and Olivier, Danvy, eds. (2014) PPDP '14: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming. ACM, 288 pp. ISBN 978-1-4503-2947-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Faddegon, Maarten and Chitil, Olaf (2014) Type Generic Observing. In: Hage, Jurriaan and McCarthy, Jay, eds. Type Generic Observing. 15th International Symposium on Trends in Functional Programming, TFP 2014. LNCS 8843. Springer pp. 84-103. ISBN 978-3-319-14674-4. E-ISBN 978-3-319-14675-1. (doi:https://doi.org/10.1007/978-3-319-14675-1_6) (Full text available)
[img]
Preview

Chitil, Olaf (2012) Practical Typed Lazy Contracts. In: Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming, ICFP '12. ACM pp. 67-76. ISBN 978-1-4503-1054-3. (doi:https://doi.org/10.1145/2364527.2364539) (Full text available)
[img]
Preview

Scholz, Sven-Bodo and Chitil, Olaf, eds. (2011) Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008; Hatfield, UK, September 2008; Revised Selected Papers. LNCS 5836 . Springer-Verlag, 291 pp. ISBN 978-3-642-24451-3. E-ISBN 978-3-642-24452-0. (doi:https://doi.org/10.1007/978-3-642-24452-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chitil, Olaf (2011) StrictCheck: a Tool for Testing Whether a Function is Unnecessarily Strict. Technical report. University of Kent, Kent, UK 2-11. (doi:2-11) (Full text available)
[img]
Preview

Chitil, Olaf (2011) A semantics for lazy assertions. In: Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. PEPM 2011. ACM pp. 141-150. ISBN 978-1-4503-0485-6. (doi:https://doi.org/10.1145/1929501.1929527) (Full text available)
[img]
Preview

Chitil, Olaf (2009) Essentials of Programming Languages (third edition) by Daniel P. Friedman and Mitchell Wand, MIT Press, ISBN 978-0-262-06279-4, 2008. Review of: Essentials of Programming Languages by Friedman, Daniel P and Wand, Mitchell. Journal of Functional Programming, 19 (6). pp. 723-725. (doi:https://doi.org/10.1017/S0956796809007357) (Full text available)
[img]
Preview

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. (Full text available)
[img]
Preview

Swierstra, S. Doaitse and Chitil, Olaf (2009) Linear, bounded, functional pretty-printing. Journal of Functional Programming, 19 (01). pp. 1-16. ISSN 0956-7968. (doi:https://doi.org/10.1017/S0956796808006990) (Full text available)
[img]
Preview

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. ACM pp. 205-216. ISBN 978-1-60558-117-0. (doi:https://doi.org/10.1145/1389449.1389475) (Full text available)
[img]
Preview

Chitil, Olaf and Horváth, Zoltán and Zsòk, Viktòria, eds. (2008) Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. LNCS 5083 . Springer-Verlag, Berlin, Heidelberg ISBN 978-3-540-85372-5. E-ISBN 978-3-540-85373-2. (doi:https://doi.org/10.1007/978-3-540-85373-2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chitil, Olaf (2008) Heat — An Interactive Development Environment for Learning & Teaching Haskell. In: Draft Proceedings of Implementation and Application of Functional Programs, IFL 2008. (Full text available)
[img]
Preview

Chitil, Olaf and Huch, Frank (2007) Monadic, prompt lazy assertions in Haskell. In: Shao, Zhong, ed. Programming Languages and Systems, 5th Asian Symposium, APLAS 2007. LNCS 4807, 4807. Springer pp. 38-53. ISBN 3-540-76636-7. (doi:https://doi.org/10.1007/978-3-540-76637-7_4) (Full text available)
[img]
Preview

Luo, Yong and Chitil, Olaf (2007) Proving the correctness of algorithmic debugging for functional programs. In: Seventh Symposium on Trends in Functional Programming, TFP 2006, 19 - 21 April, 2006, Nottingham, UK. (Full text available)
[img]
Preview

Luo, Yong and Chitil, Olaf (2007) Algorithmic Debugging for Locally Defined Functions. Technical report. University of Kent, Canterbury, Canterbury (Full text available)
[img]
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 (Full text available)
[img]
Preview

Luo, Yong and Chitil, Olaf (2007) Algorithmic debugging and trusted functions. Technical report. Computing Laboratory, University of Kent, Canterbury, Kent (Full text available)
[img]
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 (Full text available)
[img]
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, 18th International Workshop, IFL 2006. Lecture Notes in Computer Science, 4449. Springer, Germany pp. 126-144. ISBN 97835407412909. (doi:https://doi.org/10.1007/978-3-540-74130-5) (Full text available)
[img]
Preview

Chitil, Olaf and Luo, Yong (2007) Structure and Properties of Traces for Functional Programs. In: Mackie, Ian, ed. Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph 2006. ENTCS, 176. Elsevier pp. 39-63. (doi:https://doi.org/10.1016/j.entcs.2006.10.032) (Full text available)
[img]
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. Eotvos Lorand University, Budapest, Hungary pp. 326-337. ISBN 963-463-876-7. (Full text available)
[img]
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. Eotvos Lorand University, Budapest, Hungary ISBN 963-463-876-7. (Full text available)
[img]
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. Eotvos Lorand University, Budapest, Hungary pp. 512-516. ISBN 963-463-876-7. (Full text available)
[img]
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. Eotvos Lorand University, Budapest, Hungary pp. 304-325. ISBN 963-463-876-7. (Full text available)
[img]
Preview

Silva, Josep and Chitil, Olaf (2006) Combining Algorithmic Debugging and Program Slicing. In: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming. Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming. ACM Press, New York, New York (USA) pp. 157-166. ISBN 1-59593-388-3. (doi:https://doi.org/10.1145/1140335.1140355) (Full text available)
[img]
Preview

Chitil, Olaf (2006) Pretty Printing with Delimited Continuations. Technical report. University of Kent, Kent, UK (Full text available)
[img]
Preview

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. (Full text available)
[img]
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 (Full text available)
[img]
Preview

Chitil, Olaf and Luo, Yong (2006) Proving the Correctness of Algorithmic Debugging for Functional Programs. In: Pre-Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006. (Full text available)
[img]
Preview

Davie, Thomas and Chitil, Olaf (2005) Hat-Delta --- One Right Does Make a Wrong. In: Runciman, Colin, ed. 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. (Full text available)
[img]
Preview

Chitil, Olaf (2005) Pretty Printing with Partial Continuations. In: Butterfield, Andrew, ed. Draft Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 05. (Full text available)
[img]
Preview

Chitil, Olaf (2005) Hat-Explore: Source-Based Trace Exploration. In: Runciman, Colin, ed. Hat Day 2005: work in progress on the Hat tracing system for Haskell. Tech. Report YCS-2005-395. University of York, UK (Full text available)
[img]
Preview

Chitil, Olaf (2005) Source-Based Trace Exploration. In: Grelck, Clemens and Huch, Frank and Michaelson, Greg and Trinder, Phil, eds. Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004. LNCS 3474. Springer pp. 126-141. ISBN 978-3-540-26094-3. E-ISBN 978-3-540-32038-8. (doi:https://doi.org/10.1007/11431664_8) (Full text available)
[img]
Preview

Chitil, Olaf (2005) Pretty printing with lazy dequeues. Transactions on Programming Languages and Systems, 27 (1). pp. 163-184. ISSN 0164-0925. (doi:https://doi.org/10.1145/1053468.1053473) (Full text available)
[img]
Preview

Chitil, Olaf and McNeill, Dan and Runciman, Colin (2004) Lazy Assertions. In: Trinder, Phil and Michaelson, Greg and Pena, Ricardo, eds. Implementation of Functional Languages: 15th International Workshop, IFL 2003. LNCS 3145, 3145. Springer pp. 1-19. ISBN 3-540-23727-5. (Full text available)
[img]
Preview

Chitil, Olaf (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. (Full text available)
[img]
Preview

Brassel, Bernd and Chitil, Olaf and Hanus, Michael and Huch, Frank (2004) Observing Functional Logic Computations. In: Jayaraman, B., ed. Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04). LNCS 3057, 3057. Springer pp. 193-208. ISBN 3-540-22253-7. (Full text available)
[img]
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. 4th International School, AFP 2002. LNCS 2638. Springer pp. 59-99. ISBN 978-3-540-40132-2. E-ISBN 978-3-540-44833-4. (doi:https://doi.org/10.1007/978-3-540-44833-4_3) (Full text available)
[img]
Preview

Chitil, Olaf and Runciman, Colin and Wallace, Malcolm (2003) Transforming Haskell for Tracing. In: Ricardo, Peña and Thomas, Arts, eds. Lecture Notes in Computer Science. Implementation of Functional Languages: 14th International Workshop, IFL 2002. LNCS 2670. Springer-Verlag Berlin, Berlin pp. 165-181. ISBN 978-3-540-40190-2. E-ISBN 978-3-540-44854-9. (doi:https://doi.org/10.1007/3-540-44854-3_11) (Full text available)
[img]
Preview

Chitil, Olaf and Runciman, Colin and Wallace, Malcolm (2002) Transforming Haskell for Tracing. In: Ricardo, Peña and Thomas, Arts, eds. Draft papers of 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002. (Full text available)
[img]
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). ACM, Firenze, Italy pp. 193-204. ISBN 1-58113-415-0. (doi:https://doi.org/10.1145/507635.507659) (Full text available)
[img]
Preview

Wallace, Malcolm and Chitil, Olaf and Brehm, Thorsten and Runciman, Colin (2001) Multiple-View Tracing for Haskell: a New Hat. In: 2001 ACM SIGPLAN Haskell Workshop. (Full text available)
[img]
Preview

Chitil, Olaf (2001) A Semantics for Tracing. In: Arts, Thomas and Mohnen, Markus, eds. Draft Proceedings of the 13th International Workshop on Implementation of Functional Languages, IFL 2001. , Älvsjö, Sweden pp. 249-254. (Full text available)
[img]
Preview

Chitil, Olaf and Runciman, Colin and Wallace, Malcolm (2001) Freja, Hat and Hood --- A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. In: Mohnen, Markus and Koopman, P., eds. Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL 2000). LNCS 2011. Springer, Aachen, Germany pp. 176-193. ISBN 3-540-41919-5. (doi:https://doi.org/10.1007/3-540-45361-X_11) (Full text available)
[img]
Preview

Chitil, Olaf (2000) Type-Inference Based Deforestation of Functional Programs. Doctor of Philosophy (PhD) thesis, RWTH Aachen. (Full text available)
[img]
Preview

Chitil, Olaf and Runciman, Colin and Wallace, Malcolm (2000) Tracing and Debugging of Lazy Functional Programs - A Comparative Evaluation of Three Systems. In: Mohnen, Markus and Koopman, P., eds. Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages. , Aachen, Germany pp. 47-62. (Full text available)
[img]
Preview

Simon, Axel and Chitil, Olaf and Huch, Frank (2000) Typeview: A Tool for Understanding Type Errors. In: Mohnen, Markus and Koopman, P., eds. Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages. , Aachen, Germany pp. 63-69. (Full text available)
[img]
Preview

Chitil, Olaf (2000) Deforestation of Functional Programs through Type Inference. In: Goerigk, Wolfgang, ed. 17 Workshops der GI-Fachgruppe 2.1.4. Programmiersprachen und Rechenkonzepte mit Schwerpunkt Softwarecomponenten. Bericht Nr. 2007 des Instituts für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel pp. 121-130. (Full text available)
[img]
Preview

Chitil, Olaf (2000) Type-Inference Based Short Cut Deforestation (Nearly) without Inlining. In: Clack, Chris and Koopman, Pieter, eds. Implementation of Functional Languages, 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers. LNCS 1868. Springer pp. 19-35. ISBN 978-3-540-67864-9. E-ISBN 978-3-540-44658-3. (doi:https://doi.org/10.1007/10722298) (Full text available)
[img]
Preview

Chitil, Olaf (1999) Type Inference Builds a Short Cut to Deforestation. In: ACM SIGPLAN Notices. ACM Press, Broadway, New York, USA pp. 249-260. (Full text available)
[img]
Preview

Chitil, Olaf (1999) Denotational Semantics for Teaching Lazy Functional Programming. In: Proceedings of the Workshop on Functional and Declarative Programming in Education. Rice Technical Report 99-346. (Full text available)
[img]
Preview

Chitil, Olaf (1999) Type-Inference Based Short Cut Deforestation (nearly) without Inlining. In: Clack, Chris and Koopman, P., eds. Draft Proceedings of the 11th International Workshop on Implementation of Functional Languages. pp. 17-32. (Full text available)
[img]
Preview

Chitil, Olaf (1998) Common Subexpressions are Uncommon in Lazy Functional Languages. In: Clack, Chris and Hammond, Kevin and Davie, Tony, eds. Implementation of Functional Languages. LNCS 1467. pp. 53-71. ISBN 978-3-540-64849-9. E-ISBN 978-3-540-68528-9. (doi:https://doi.org/10.1007/BFb0055424) (Full text available)
[img]
Preview

Chitil, Olaf (1997) Adding an Optimisation Pass to the Glasgow Haskell Compiler. Other. RWTH Aachen, Germany (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Chitil, Olaf (1997) Common Subexpression Elimination in a Lazy Functional Language. In: Clack, Chris and Davie, Tony and Hammond, Kevin, eds. Draft Proceedings of the 9th International Workshop on Implementation of Functional Languages. pp. 501-516. (Full text available)
[img]
Preview

Chitil, Olaf (1997) The Sigma-Semantics: A Comprehensive Semantics for Functional Programs. Fundamenta Informaticae, 31 (3,4). pp. 253-294. ISSN 1875-8681. E-ISSN 0169-2968. (doi:https://doi.org/10.3233/FI-1997-313404) (Full text available)
[img]
Preview

Chitil, Olaf (1996) The Sigma-Semantics: A Comprehensive Semantics for Functional Programs. Technical report. RWTH Aachen, Aachen, Germany AIB-07-1996. (doi:AIB-07-1996) (Full text available)
[img]
Preview

Chitil, Olaf (1995) Denotationelle und operationelle Semantiken für konstruktorbasierte funktionale Programmiersprachen erster Ordnung. Other masters thesis, RWTH Aachen. (Full text available)
[img]
Preview

This list was generated on Tue May 28 01:57:33 2019 BST.