Výsledky vyhledávání - "Chitil, Olaf."

Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning

Autor: Burgers, Joris, Hage, Jurriaan, Serrano, Alejandro, Chitil, Olaf, Sub Software Technology, Software Technology

Publikováno v: IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages, 33. Association for Computing Machinery (ACM)
STARTPAGE=33;TITLE=IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages
IFL

Helium is a Haskell compiler designed to provide programmer friendly type error messages. It employs specially designed heuristics that work on a type graph representation of the type inference process. In order to support existentials and Generalize

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::308602229ebe7c055a0b0260fc4c4d20
https://dspace.library.uu.nl/handle/1874/414990

Zobrazit plný text záznamu

Scaling Up Delta Debugging of Type Errors

Autor: Sharrad, Joanna, Chitil, Olaf

Type error messages of compilers of statically typed functional languages are often inaccurate, making type error debugging hard. Many solutions to the problem have been proposed, but most have been evaluated only with short programs, that is, of few

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::f5ce5b528c7c2ff72b07c0cfeda8de3c
https://kar.kent.ac.uk/81977/1/Scaling_Up_Delta_Debugging_of_Type_Errors.pdf

Zobrazit plný text záznamu

Akademický článek

Structure and Properties of Traces for Functional Programs

Autor: Chitil, Olaf, Luo, Yong

Publikováno v: In Electronic Notes in Theoretical Computer Science 28 May 2007 176(1):39-63

Zobrazit plný text záznamu

Uniqueness typing simplified

Autor: Vries, Edsko, Plasmeijer, Rinus, Abrahamson, David, Chitil, Olaf

Publikováno v: Chitil, Olaf (ed.), Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers, pp. 201-218
Chitil, Olaf (ed.), Proceedings Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, 416-430. Freiburg, Germany : Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK
STARTPAGE=416;ENDPAGE=430;TITLE=Chitil, Olaf (ed.), Proceedings Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007
Chitil, Olaf (ed.), Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers, 201-218. Berlin : Springer-Verlag
STARTPAGE=201;ENDPAGE=218;ISSN=0302-9743;TITLE=Chitil, Olaf (ed.), Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
Chitil, Olaf (ed.), Proceedings Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, pp. 416-430

Contains fulltext : 66894.pdf (Publisher’s version ) (Closed access) 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007, 27 september 2007

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::adae1520d5f9b31eaf3cd567db6ffbdc
https://hdl.handle.net/2066/66894

Zobrazit plný text záznamu

A Type Generic Definition for Debugging Lazy Functional Programs by Value Observation

Autor: Faddegon, Maarten, Chitil, Olaf

Observing intermediate values helps to understand what is going on when your program runs. Gill presented an observation method for lazy functional languages that preserves the program's semantics. However, users need to define for each type how its

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::bb7e0e3f96136b0ac9b9f696644e8373
https://kar.kent.ac.uk/62530/1/typeGenericDefDebugging.pdf

Zobrazit plný text záznamu

Static Inference of Non-Monotonic Polynomial Sized Types

Autor: Eekelen, M.C.J.D. van, Shkaravska, O., Chitil, Olaf

Publikováno v: Chitil, Olaf (ed.), Proceedings of the 19th Symposium on Implementation and Application of Functional Languages, IFL 2007, Freiburg, Germany, Sept. 27-29 2007, pp. 254-258
Chitil, Olaf (ed.), Proceedings of the 19th Symposium on Implementation and Application of Functional Languages, IFL 2007, Freiburg, Germany, Sept. 27-29 2007, 254-258. Canterbury, UK : Technical Report 12-07, September 2007, Published by the Computing Laboratory, University of Kent, Canterbury, UK
STARTPAGE=254;ENDPAGE=258;TITLE=Chitil, Olaf (ed.), Proceedings of the 19th Symposium on Implementation and Application of Functional Languages, IFL 2007, Freiburg, Germany, Sept. 27-29 2007

Contains fulltext : 36492.pdf (Publisher’s version ) (Closed access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::22ec455f06e2dc91dd05a4e98c17bdd5
https://hdl.handle.net/2066/36492

Zobrazit plný text záznamu

Car Damage Subrogation Workflow -- an iTask Exercise

Autor: Zuurbier, Erik, Plasmeijer, Rinus, Chitil, Olaf

Publikováno v: Chitil, Olaf (ed.), Proceedings Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, pp. 232-232
Chitil, Olaf (ed.), Proceedings Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, 232-232. Freiburg, Germany : Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK
STARTPAGE=232;ENDPAGE=232;TITLE=Chitil, Olaf (ed.), Proceedings Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007

Item does not contain fulltext

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4fddc39c05d7e8fd0e9cf15aab333e98
https://hdl.handle.net/2066/35017

Zobrazit plný text záznamu

Transparant Ajax and Client-Site Evaluation of iTasks

Autor: Plasmeijer, Rinus, Jansen, Jan Martin, Koopman, Pieter, Achten, Peter, Chitil, Olaf

Publikováno v: Chitil, Olaf (ed.), Proceedings Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, pp. 252-253
Chitil, Olaf (ed.), Proceedings Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, 252-253. Freiburg, Germany : Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK
STARTPAGE=252;ENDPAGE=253;TITLE=Chitil, Olaf (ed.), Proceedings Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007

Contains fulltext : 36638.pdf (Publisher’s version ) (Open Access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::724334113d023a59f58e07a3a8ce679e
https://hdl.handle.net/2066/36638

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání