KIT | KIT-Bibliothek | Impressum | Datenschutz

Certified HLints with Isabelle/HOLCF-Prelude

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



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page