- -

Precise explanation of success typing errors

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Precise explanation of success typing errors

Show full item record

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

Files in this item

Item Metadata

Title: Precise explanation of success typing errors
Author: Sagonas, Konstantinos Silva Galiana, Josep Francesc Tamarit Muñoz, Salvador
UPV Unit: Universitat Politècnica de València. Área de Sistemas de Información y Comunicaciones - Àrea de Sistemes d'Informació i Comunicacions
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: Studies of Program Constructs , Algorithms , Languages , Theory , Type inference , Program slicing , Erlang
Copyrigths: Reserva de todos los derechos
ISBN: 978-1-4503-1842-6
Source:
Proceeding PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation.
DOI: 10.1145/2426890.2426897
Publisher:
Association for Computing Machinery (ACM)
Publisher version: http://dx.doi.org/10.1145/2426890.2426897
Type: Capítulo de libro

recommendations

 

This item appears in the following Collection(s)

Show full item record