Certified HLints with Isabelle/HOLCF-Prelude

Breitner, J.; Huffman, B.; Mitchell, N.; Sternagel, C.

Seitenaufrufe: 38
seit 09.09.2018

Zugehörige Institution(en) am KIT	Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp	Proceedingsbeitrag
Publikationsjahr	2013
Sprache	Englisch
Identifikator	KITopen-ID: 1000038484
Erschienen in	Workshop on Haskell And Rewriting Techniques (HART'13), Eindhoven, The Netherlands, June 27, 2013
Seiten	1-5