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 till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till