An introduction to liquid Haskell

  1. Peña, R.
Actas:
Electronic Proceedings in Theoretical Computer Science, EPTCS

ISSN: 2075-2180

Año de publicación: 2017

Volumen: 237

Páginas: 68-80

Tipo: Aportación congreso

DOI: 10.4204/EPTCS.237.5 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus