An introduction to liquid Haskell

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

ISSN: 2075-2180

Year of publication: 2017

Volume: 237

Pages: 68-80

Type: Conference paper

DOI: 10.4204/EPTCS.237.5 GOOGLE SCHOLAR lock_openOpen access editor

Sustainable development goals