We are using multiparameter classes with fundeps in the project MULTIPLE, which is about heterogeneous specification in multi-logic frameworks. See
http://www.tzi.de/cofi/projects/multiple.html The interesting challenge is not only genericity (over an arbitray logic), but also heterogeneity (i.e. coexistence and communication of several logics, coded as instances of the multiparameter class). A paper describing the implementation is not available yet, but in preparation. Till Mossakowski > are there any papers/webpages/implementations/etc. of using multiparameter > classes in a generic framework, with or without dependencies? > > thanks! > > - hal > > -- > Hal Daume III -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen [EMAIL PROTECTED] P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
