Calculating a functional module for binary search trees
W. Dosch, B. Möller
8th International Workshop.
In W. Kluge (ed.): Implementation of Functional Languages, LNCS 1268.
pp. 267-284, Bad Godesberg, Germany, 1997.
Springer-Verlag.
In W. Kluge (ed.): Implementation of Functional Languages, LNCS 1268.
pp. 267-284, Bad Godesberg, Germany, 1997.
Springer-Verlag.

