An introduction to liquid Haskell

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

ISSN: 2075-2180

Any de publicació: 2017

Volum: 237

Pàgines: 68-80

Tipus: Aportació congrés

DOI: 10.4204/EPTCS.237.5 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus