Web Atom

The GenericProgramming web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://www.cs.uu.nl/wiki/bin/view/GenericProgramming Copyright 2013 by contributing authors 2011-10-30T11:53:26Z http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/Multirec 2011-10-30T11:53:26Z

Introduction Many generic programs require information about the recursive positions of a datatype. Examples include the generic fold, generic rewriting or the ... (last changed by AndresLoeh)

AndresLoeh http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/HarmTrace 2011-06-21T13:06:06Z

HarmTrace (Harmony Analysis and Retrieval of Music with Type level Representations of Abstract Chords Entities) is a system for automatic harmony analysis of music ... (last changed by JosePedroMagalhaes)

JosePedroMagalhaes http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/SYB 2011-04-15T14:56:05Z

Scrap Your Boilerplate (!SYB) is a library for generic programming in Haskell. It is supported since the GHC 6.0 implementation of Haskell. Using this approach ... (last changed by JosePedroMagalhaes)

JosePedroMagalhaes http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/GuardedRewriting 2010-12-06T07:11:29Z

Introduction This is a generic rewriting library based on type classes and type families described in the paper: Thomas van Noort, Alexey Rodriguez Yakushev, Stefan ... (last changed by JosePedroMagalhaes)

JosePedroMagalhaes http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/MastersProjects 2010-10-24T07:46:53Z

We are always looking for master's students. There are many topics on which you can write a thesis. Some lean towards the theoretical while others are more practical ... (last changed by JohanJeuring)

JohanJeuring http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/Rewriting 2010-03-03T07:18:59Z

Introduction This is a generic rewriting library described in the paper: Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren ... (last changed by JosePedroMagalhaes)

JosePedroMagalhaes http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/InstantGenerics 2010-03-03T07:18:39Z

Introduction This is a generic programming library based on type classes and type families first described by Chakravarty et al. (see http://www.cse.unsw.edu.au/~chak ... (last changed by JosePedroMagalhaes)

JosePedroMagalhaes http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/Regular 2010-03-03T07:11:05Z

Introduction Many generic programs require information about the recursive positions of a datatype. Examples include the generic fold, generic rewriting, and the Zipper ... (last changed by JosePedroMagalhaes)

JosePedroMagalhaes http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/Libraries 2010-03-03T07:06:15Z

There are many libraries around for generic programming in Haskell. However, not all are well documented, or even have a source distribution. To simplify the use of ... (last changed by JosePedroMagalhaes)

JosePedroMagalhaes http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/SYBNavBar 2010-01-28T09:20:24Z

Quick Links Download Tracker List API Documentation base 4 : syb 0.1.0.3 : http://hackage.haskell.org/packages/archive/syb/latest/doc/html/Data ... (last changed by JosePedroMagalhaes)

JosePedroMagalhaes http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/EMGMNavBar 2009-10-08T08:56:11Z

Quick Links Download Tracker List Latest Release : emgm 0.3.1 Documentation https://subversion.cs.uu.nl/viewvc/project.dgp haskell.libraries ... (last changed by SeanLeather)

SeanLeather http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/EMGM 2009-10-08T08:54:30Z

Extensible and Modular Generics for the Masses (EMGM) applies concepts of datatype generic programming to define generic functions for supported datatypes using type ... (last changed by SeanLeather)

SeanLeather http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/WebHome 2009-09-12T00:04:17Z

.bb { border bottom: 2px solid gray; } .br { border right: 2px solid gray; } table.padded { border collapse: collapse; } table.padded td { padding: 6px 8px; ... (last changed by LambertMeertens)

LambertMeertens http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/WebPreferences 2009-05-28T12:04:29Z

GenericProgramming Web Preferences The following settings are web preferences of the GenericProgramming web. These preferences overwrite the site level preferences ... (last changed by AndresLoeh)

AndresLoeh http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/Events 2009-01-30T16:25:41Z

Conferences etc. on Generic Programming, August 2009 Johan Jeuring lectures on Generic Programming at the next Advanced Functional Programming School, The ... (last changed by JohanJeuring)

JohanJeuring http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/WebIndex 2008-11-12T22:37:09Z

(last changed by AndresLoeh)

AndresLoeh