this is the book that explains all the theory behi...

# random

[roberto.guerra]

this is the book that explains all the theory behind it https://www.cs.cmu.edu/~rwh/theses/okasaki.pdf