Is there a library of functions that operate on abstract
set and list types with pluggable implementations, like
hash-sets, linked-lists, array-lists etc?
There's at least AP5 at http://www.ap5.com/ , but that is
generalized to the relational level of semantics. I believe that
there is also an abstract types toy library, but I can't locate it at
the moment; perhaps it's part of CLOCC.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Logged In: NO
There's at least AP5 at http://www.ap5.com/ , but that is
generalized to the relational level of semantics. I believe that
there is also an abstract types toy library, but I can't locate it at
the moment; perhaps it's part of CLOCC.