Research paper this is based on

[mohanr]

I was wondering about this. There is this
I am trying to understand and port to OCaml.
Which research is the implementation based on ? It would be helpful to learn.

Thanks