- -

Precise explanation of success typing errors

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

Precise explanation of success typing errors

Mostrar el registro completo del ítem

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

Ficheros en el ítem

Metadatos del ítem

Título: Precise explanation of success typing errors
Autor:
Entidad UPV: Universitat Politècnica de València. Área de Sistemas de Información y Comunicaciones - Àrea de Sistemes d'Informació i Comunicacions
Fecha difusión:
Resumen:
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, ...[+]
Palabras clave: Studies of Program Constructs , Algorithms , Languages , Theory , Type inference , Program slicing , Erlang
Derechos de uso: Reserva de todos los derechos
ISBN: 978-1-4503-1842-6
Fuente:
Proceeding PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation.
DOI: 10.1145/2426890.2426897
Editorial:
Association for Computing Machinery (ACM)
Versión del editor: http://dx.doi.org/10.1145/2426890.2426897
Tipo: Capítulo de libro

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem