An Introduction to Liquid Haskell

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.

Palabras Clave:

Autor(es):

• Ricardo Peña {ricardo@sip.ucm.es}
  Complutense University of Madrid, Spain
  

Handle:

Descargas:

Este artículo tiene una licencia de uso CreativeCommons Reconocimiento (by)

Descarga el artículo haciendo click aquí.

Descarga la referencia en formato Bibtex

                
@inproceedings{prole2016016,
	title={An Introduction to Liquid Haskell},
	author={Ricardo Pe{\~n}a},
	booktitle={PROLE2016},
	year={2016}
}