Web Rss

http://www.cs.uu.nl/wiki/bin/view/GenericProgramming The GenericProgramming web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. en-us Copyright 2013 by contributing authors cs.uu.nl TWiki Administrator [stwiki@cs.uu.nl] The contributing authors of TWiki TWiki http://www.cs.uu.nl/wiki/bin/view/GenericProgramming http://www.cs.uu.nl/wiki/pub/Main/li-dsol-small.png http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/Multirec 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) 2011-10-30T11:53:26Z AndresLoeh http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/HarmTrace 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) 2011-06-21T13:06:06Z JosePedroMagalhaes http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/SYB 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) 2011-04-15T14:56:05Z JosePedroMagalhaes http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/GuardedRewriting 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) 2010-12-06T07:11:29Z JosePedroMagalhaes http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/MastersProjects 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) 2010-10-24T07:46:53Z JohanJeuring http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/Rewriting 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) 2010-03-03T07:18:59Z JosePedroMagalhaes http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/InstantGenerics 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) 2010-03-03T07:18:39Z JosePedroMagalhaes http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/Regular 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) 2010-03-03T07:11:05Z JosePedroMagalhaes http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/Libraries 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) 2010-03-03T07:06:15Z JosePedroMagalhaes http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/SYBNavBar 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) 2010-01-28T09:20:24Z JosePedroMagalhaes http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/EMGMNavBar 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) 2009-10-08T08:56:11Z SeanLeather http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/EMGM 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) 2009-10-08T08:54:30Z SeanLeather http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/WebHome .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) 2009-09-12T00:04:17Z LambertMeertens http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/WebPreferences GenericProgramming Web Preferences The following settings are web preferences of the GenericProgramming web. These preferences overwrite the site level preferences ... (last changed by AndresLoeh) 2009-05-28T12:04:29Z AndresLoeh http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/Events 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) 2009-01-30T16:25:41Z JohanJeuring http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/WebIndex (last changed by AndresLoeh) 2008-11-12T22:37:09Z AndresLoeh