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)
|
PDF (Poster as presented at the symposium.)
Author's Accepted Manuscript
Language: English |
|
|
Download (99kB)
Preview
|
Preview |
|
This file may not be suitable for users of assistive technology.
Request an accessible format
|
|
| Official URL http://loris-7.ddns.comp.nus.edu.sg/~aplas14/poste... |
|
Abstract
The Hindley-Milner type system is a foundation for most statically typed
system has many advantageous, but it does make type debugging hard: If a
cause of the type error, that is, to determine where to change the program how.
solution with two distinctive advantages: It is easy to use for the functional
messages they are already familiar with. It is easy to implement, because it does
existing one as a subroutine (like [2]).
| Item Type: | Conference or workshop item (Poster) |
|---|---|
| Uncontrolled keywords: | Hindley-Milner type system, debugging, type error |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software |
| Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
| Depositing User: | Olaf Chitil |
| Date Deposited: | 11 Jun 2015 10:17 UTC |
| Last Modified: | 16 Feb 2021 13:25 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/49006 (The current URI for this page, for reference purposes) |
| Chitil, Olaf: |  https://orcid.org/0000-0001-7986-9929 |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Download Statistics
Download Statistics
