Publication View

Generic Haskell User's Guide -- Version 1.42 (Coral) (2005)

Abstract
The Generic Haskell User Guide Version Coral release Andres editor Johan Jeuring editor Dave Clarke Ralf Hinze Alexey Rodriguez Jan Wit institute information and computing sciences utrecht university technical report www The Generic SKELL User Guide Version Coral The Generic SKELL Team Andres Loh editor Johan Jeuring editor Dave Clarke Ralf Hinze Alexey Rodriguez Jan Wit info generic haskell org January Institute Information and Computing Sciences Utrecht University Box Utrecht The Netherlands http www generic haskell org Contents What Generic SKELL Generic programming Generic SKELL overview Installation System requirements Installing the binary distribution Linux Mac Installing the binary distribution Windows Building from source Running Command line flags General overview compilation Compiling and running the generated code Generic SKELL The Language Special Parentheses Type indexed values Generic type signatures Generic application Local redefinition Default cases Generic abstraction Type indexed types Specialisation Generated function naming Module system Haskell compatibility Library Introduction Module Library Bounds Module Library Collect Module Library Compare Module Library DeepSeq Module Library Enum Module Library Module Library Map A Module Module Module Module Module Libary MapM Library ReadShow Library Reduce Library Table Library ZipWith Future Work Meta information Contact Caveats Known bugs and limitations Change log Acknowledgements Copyright information Wha

Publication details
Download http://igitur-archive.library.uu.nl/math/2007-0328-200514/UUindex.html
Repository DSpace at Utrecht University (Netherlands)
Keywords Wiskunde en Informatica
Type Commission report or memorandum
Language English

Cited publications (2)
Universes for Generic Programs and Proofs (2003)
PolyP - a polytypic programming language extension (1998)