On Wed, 17 Oct 2012, David Matthews wrote:
Michael,
It's probably a good idea to send questions like this to the Poly/ML mailing
list and I'm copying this reply to the list. There are people on the list
who may have experience of what you're trying to do and also any replies get
archived
On Wed, 17 Oct 2012, Michael Moeller wrote:
Thanks for the links, I'll look into it. Talking about large amounts of
data, do you happen to have an example of using HashArray? This would be
great.
Maybe someone else on the list has experience with hash tables.
In Isabelle/ML we do the large