Items where Author, Editor or other role is "Chitil, Olaf"

B

Braßel, Bernd and Chitil, Olaf and Hanus, Michael and Huch, Frank (2004) Observing Functional Logic Computations. In: Jayaraman, B., ed. Practical Aspects of Declarative Languages 6th International Symposium. Lecture Notes in Computer Science . Springer, pp. 193-208. ISBN 978-3-540-22253-8. E-ISBN 978-3-540-24836-1. (doi:10.1007/978-3-540-24836-1_14) (KAR id:14150)

C

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 the 28th Symposium on the Implementation and Application of Functional Programming Languages. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA. ISBN 978-1-4503-4767-9. (doi:10.1145/3064899.3064904) (KAR id:61147)

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) (KAR id:58670)

Chitil, Olaf (2012) Practical Typed Lazy Contracts. In: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming. ACM, New York, USA, pp. 67-76. ISBN 978-1-4503-1054-3. (doi:10.1145/2364527.2364539) (KAR id:30790)

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: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) (KAR id:30726)

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) (KAR id:30756)

Chitil, Olaf (2011) A semantics for lazy assertions. In: Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation. Partial Evaluation and Program Manipulation . ACM, New York, USA, pp. 141-150. ISBN 978-1-4503-0485-6. (doi:10.1145/1929501.1929527) (KAR id:30775)

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:10.1017/S0956796809007357) (KAR id:58190)

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. (KAR id:24064)

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. PPDP Principles and Practice of Declarative Programming . ACM, New York, USA, pp. 205-216. ISBN 978-1-60558-117-0. (doi:10.1145/1389449.1389475) (KAR id:24054)

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: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) (KAR id:24056)

Chitil, Olaf (2008) Heat — An Interactive Development Environment for Learning & Teaching Haskell. In: Draft Proceedings of Implementation and Application of Functional Programs, IFL 2008. . (KAR id:58704)

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 . Springer, Berlin, Germany, pp. 38-53. ISBN 978-3-540-76636-0. E-ISBN 978-3-540-76637-7. (doi:10.1007/978-3-540-76637-7_4) (KAR id:14528)

Chitil, Olaf, Luo, Yong (2007) Structure and Properties of Traces for Functional Programs. Electronic Notes in Theoretical Computer Science, 176 (1). pp. 39-63. ISSN 1571-0661. (doi:10.1016/j.entcs.2006.10.032) (KAR id:14598)

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 . Springer, Berlin, Germany, pp. 126-144. ISBN 978-3-540-74129-9. E-ISBN 978-3-540-74130-5. (doi:10.1007/978-3-540-74130-5) (KAR id:14599)

Chitil, Olaf, 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. (KAR id:14409)

Chitil, Olaf (2006) Promoting Non-Strict Programming. In: Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006. . pp. 512-516. Eotvos Lorand University, Budapest, Hungary ISBN 963-463-876-7. (KAR id:14426)

Chitil, Olaf (2006) Pretty Printing with Delimited Continuations. Technical report. University of Kent, Kent, UK (KAR id:14464)

Chitil, Olaf, 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 (KAR id:14488)

Chitil, Olaf, 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. . (KAR id:14485)

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. . (KAR id:14275)

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 (KAR id:14246)

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. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 126-141. ISBN 978-3-540-26094-3. E-ISBN 978-3-540-32038-8. (doi:10.1007/11431664_8) (KAR id:14347)

Chitil, Olaf (2005) Pretty printing with lazy dequeues. Transactions on Programming Languages and Systems, 27 (1). pp. 163-184. ISSN 0164-0925. (doi:10.1145/1053468.1053473) (KAR id:14377)

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. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 1-19. ISBN 978-3-540-23727-3. E-ISBN 978-3-540-27861-0. (doi:10.1007/978-3-540-27861-0_1) (KAR id:14056)

Chitil, Olaf (2004) Source-Based Trace Exploration. In: 16th International Workshop on Implementation of Functional Languages, IFL 2004, 08-10 Sep 2004, Lubeck, Germany. (KAR id:14085)

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: Advanced Functional Programming 4th International School. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 59-99. ISBN 978-3-540-40132-2. E-ISBN 978-3-540-44833-4. (doi:10.1007/978-3-540-44833-4_3) (KAR id:13937)

Chitil, Olaf, Runciman, Colin, 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 . pp. 165-181. Springer-Verlag Berlin, Berlin ISBN 978-3-540-40190-2. E-ISBN 978-3-540-44854-9. (doi:10.1007/3-540-44854-3_11) (KAR id:58270)

Chitil, Olaf, Runciman, Colin, 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. . (KAR id:13737)

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. ACM, New York, USA, pp. 193-204. ISBN 1-58113-415-0. (doi:10.1145/507635.507659) (KAR id:13568)

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. . pp. 249-254. , Älvsjö, Sweden (KAR id:13565)

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. Implementation of Functional Languages 12th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 176-193. ISBN 978-3-540-41919-8. E-ISBN 978-3-540-45361-1. (doi:10.1007/3-540-45361-X_11) (KAR id:13631)

Chitil, Olaf (2000) Type-Inference Based Deforestation of Functional Programs. Doctor of Philosophy (PhD) thesis, RWTH Aachen. (KAR id:21947)

Chitil, Olaf, Runciman, Colin, 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. . pp. 47-62. , Aachen, Germany (KAR id:21960)

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. . pp. 121-130. Bericht Nr. 2007 des Instituts für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel (KAR id:21999)

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 . pp. 19-35. Springer ISBN 978-3-540-67864-9. E-ISBN 978-3-540-44658-3. (doi:10.1007/10722298) (KAR id:58703)

Chitil, Olaf (1999) Type Inference Builds a Short Cut to Deforestation. ACM SIGPLAN Notices, 34 (9). pp. 249-260. ISSN 0362-1340. (doi:10.1145/317765.317907) (KAR id:21702)

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 . (KAR id:21703)

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. (KAR id:21722)

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:10.1007/BFb0055424) (KAR id:58269)

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) (KAR id:21437)

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. (KAR id:21455)

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:10.3233/FI-1997-313404) (KAR id:21421)

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) (KAR id:21372)

Chitil, Olaf (1995) Denotationelle und operationelle Semantiken für konstruktorbasierte funktionale Programmiersprachen erster Ordnung. Other masters thesis, RWTH Aachen. (KAR id:21278)

D

Davie, Thomas, 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. . pp. 326-337. Eotvos Lorand University, Budapest, Hungary ISBN 963-463-876-7. (KAR id:14413)

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

Davie, Thomas, 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. . pp. 6-11. Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK (KAR id:14245)

F

Faddegon, Maarten (2017) Algorithmic debugging for complex lazy functional programs. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:63869)

Faddegon, Maarten, 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:10.1016/j.cl.2017.05.001) (KAR id:62530)

Faddegon, Maarten and Chitil, Olaf (2016) Lightweight Computation Tree Tracing for Lazy Functional Languages. In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI Programming Language Design and Implementation . ACM, New York, USA, pp. 114-128. ISBN 978-1-4503-4261-2. (doi:10.1145/2908080.2908104) (KAR id:55352)

Faddegon, Maarten and Chitil, Olaf (2015) Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI Programming Language Design and Implementation . ACM, New York, USA, pp. 33-42. ISBN 978-1-4503-3468-6. (doi:10.1145/2737924.2737985) (KAR id:49003)

Faddegon, Maarten, 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 . pp. 84-103. Springer ISBN 978-3-319-14674-4. E-ISBN 978-3-319-14675-1. (doi:10.1007/978-3-319-14675-1_6) (KAR id:49013)

K

Kanabar, Hrutvik (2024) Verified compilation of a purely functional language to a realistic machine semantics. Doctor of Philosophy (PhD) thesis, University of Kent,. (doi:10.22024/UniKent/01.02.105396) (KAR id:105396)

L

Luo, Yong and Chitil, Olaf (2007) Proving the correctness of algorithmic debugging for functional programs. In: Nilsson, Henrik, ed. Trends in Functional Programming. Trends in Functional Programming . Intellect Books, Bristol, UK, pp. 19-34. ISBN 978-1-84150-188-8. (KAR id:3558)

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

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

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

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

Luo, Yong, 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. . pp. 304-325. Eotvos Lorand University, Budapest, Hungary ISBN 963-463-876-7. (KAR id:14427)

S

Sharrad, Joanna, Chitil, Olaf (2022) Refining the Delta Debugging of Type Errors. In: 33rd Symposium on Implementation and Application of Functional Languages (IFL '21). IFL '21: Proceedings of the 33rd Symposium on Implementation and Application of Functional Languages. . ACM, New York, NY, USA E-ISBN 978-1-4503-8644-9. (doi:10.1145/3544885.3544888) (KAR id:96134)

Sharrad, Joanna and Chitil, Olaf (2020) Scaling Up Delta Debugging of Type Errors. In: Byrski, Aleksander and Hughes, John, eds. Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 71-93. ISBN 978-3-030-57760-5. E-ISBN 978-3-030-57761-2. (doi:10.1007/978-3-030-57761-2_4) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:81977)

Sharrad, Joanna, Chitil, Olaf, Wang, Meng (2019) Delta Debugging Type Errors with a Blackbox Compiler. In: Proceedings of the 30th Symposium on Implementation and Application of Functional Languages. . pp. 13-24. ACM ISBN 978-1-4503-7143-8. (doi:10.1145/3310232.3310243) (KAR id:74037)

Swierstra, S. Doaitse, Chitil, Olaf (2009) Linear, bounded, functional pretty-printing. Journal of Functional Programming, 19 (01). pp. 1-16. ISSN 0956-7968. (doi:10.1017/S0956796808006990) (KAR id:24041)

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. ACM, New York, USA, pp. 157-166. ISBN 1-59593-388-3. (doi:10.1145/1140335.1140355) (KAR id:14448)

Simon, Axel, Chitil, Olaf, 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. . pp. 63-69. , Aachen, Germany (KAR id:21959)

T

Tsushima, Kanae, Chitil, Olaf, Sharrad, Joanna (2020) Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker. In: IFL '19: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages. ICPS . ACM, New York, NY, USA ISBN 978-1-4503-7562-7. (doi:10.1145/3412932.3412939) (KAR id:81976)

Tsushima, Kanae, 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. pp. 230-246. Springer ISBN 978-3-319-90685-0. E-ISBN 978-3-319-90686-7. (doi:10.1007/978-3-319-90686-7_15) (KAR id:66352)

Tsushima, Kanae, 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. (KAR id:49007)

Tsushima, Kanae, 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. (KAR id:49006)

W

Wallace, Malcolm, Chitil, Olaf, Brehm, Thorsten, Runciman, Colin (2001) Multiple-View Tracing for Haskell: a New Hat. In: 2001 ACM SIGPLAN Haskell Workshop. (KAR id:13566)