Resumen:
This paper is a tutorial introducing the underlying technology and the use of the tool Liquid Haskell, a type-checker for the functional language Haskell that can help programmers to verify non-trivial properties of their programs with a low effort.
The first sections introduce the technology of Liquid Types by explaining its principles and summarizing how its type inference algorithm manages to prove properties. The remaining sections present a selection of Haskell examples and show the kind of properties that can be proved with the
system.
Descargas:
Este artículo tiene una licencia de uso CreativeCommons Reconocimiento (by)
Descarga el artículo haciendo click aquí.
Ver la referencia en formato Bibtex
@inproceedings{prole:2016:016,
title={{An Introduction to Liquid Haskell}},
author={Ricardo Pe{\~n}a},
url={http://hdl.handle.net/11705/PROLE/2016/016},
booktitle={PROLE2016},
year={2016},
publisher={SISTEDES},
crossref={prole2016salamanca}
}
@proceedings{prole2016salamanca,
title={{Actas de las XVI Jornadas de Programaci{\'o}n y Lenguajes (PROLE 2016)}},
editor={Villanueva, A.},
booktitle={PROLE2016},
year={2016},
publisher={SISTEDES}
}
Copiar al portapapeles |
Cerrar