Sagonas, K.; Silva Galiana, JF.; Tamarit Muñoz, S. (2013). Precise explanation of success typing errors. En Proceeding PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation. Association for Computing Machinery (ACM). 33-42. doi:10.1145/2426890.2426897
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/55605
Title: | Precise explanation of success typing errors | |
Author: | Sagonas, Konstantinos Tamarit Muñoz, Salvador | |
UPV Unit: |
|
|
Issued date: |
|
|
Abstract: |
Nowadays, many dynamic languages come with (some sort of) type
inference in order to detect type errors statically. Often, in order
not to unnecessarily reject programs which are allowed under a dynamic
type discipline, ...[+]
|
|
Subjects: |
|
|
Copyrigths: | Reserva de todos los derechos | |
ISBN: |
|
|
Source: |
|
|
DOI: |
|
|
Publisher: |
|
|
Publisher version: | http://dx.doi.org/10.1145/2426890.2426897 | |
Type: |
|