Zobrazeno 1 - 10
of 80
pro vyhledávání: '"Chitil, Olaf."'
Autor:
Faddegon, Maarten, Chitil, Olaf
Publikováno v:
In Computer Languages, Systems & Structures June 2018 52:92-110
Autor:
Chitil, Olaf.
Techn. Hochsch., Diss., 2000--Aachen.
Externí odkaz:
http://sylvester.bth.rwth-aachen.de/dissertationen/2001/026/01_026.pdf
http://deposit.d-nb.de/cgi-bin/dokserv?idn=962026239
http://deposit.d-nb.de/cgi-bin/dokserv?idn=962026239
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
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
https://dspace.library.uu.nl/handle/1874/414990
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
https://kar.kent.ac.uk/81977/1/Scaling_Up_Delta_Debugging_of_Type_Errors.pdf
Autor:
Chitil, Olaf, Luo, Yong
Publikováno v:
In Electronic Notes in Theoretical Computer Science 28 May 2007 176(1):39-63
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
https://kar.kent.ac.uk/62530/1/typeGenericDefDebugging.pdf
Publikováno v:
ACM International Conference Proceeding Series; 9/5/2018, p13-24, 12p
Autor:
Tsushima, Kanae, Chitil, Olaf
Publikováno v:
16th Workshop on Programming and Programming Languages, PPL2014
The type error message of a standard type checker for a functional language gives only a single location as potential cause of the type error. If that location is not the cause, which often is the case, then the type error message hardly helps in loc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::722f5dc8586226dd782cb71c6dbd004b
https://kar.kent.ac.uk/49007/1/ppl.pdf
https://kar.kent.ac.uk/49007/1/ppl.pdf
Autor:
Tsushima, Kanae, Chitil, Olaf
Publikováno v:
12th Asian Symposium on Programming Languages and Systems, APLAS 2014
The Hindley-Milner type system is a foundation for most statically typed\ud functional programming languages, such as ML, OCaml and Haskell. This type\ud system has many advantageous, but it does make type debugging hard: If a\ud program is not well-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::293bb01498e8e56b356c943995f44fb0
https://kar.kent.ac.uk/49006/1/paper.pdf
https://kar.kent.ac.uk/49006/1/paper.pdf