[Haskell-cafe] Re: \Statically checked binomail heaps?

Okasaki, C. DR EECS Christopher.Okasaki at usma.edu
Fri Oct 23 15:36:21 EDT 2009

Maciej Kotowicz asked about implementing binomial heaps using types to
enforce the shape invariants.  I dug up an old email from 1998 talking
about how to do this with nested types, and posted it to my blog:

-- Chris

More information about the Haskell-Cafe mailing list