Commit a93ac99a authored by Mario Pereira's avatar Mario Pereira

(Leftist|Pairing)_heaps: added some comments

parent b571760d
(** Leftist heaps (Clark Allan Crane, 1972 && Donald E. Knuth, 1973).
Purely applicative implementation, following Okasaki's implementation
in his book "Purely Functional Data Structures" (Section 3.1).
Author: Mário Pereira (Université Paris Sud)
*)
module Heap
use import int.Int
......
(** Pairing heaps (M. Fredman, R. Sedgewick, D. Sleator, R. Tarjan, 1986).
Purely applicative implementation, following Okasaki's implementation
in his book "Purely Functional Data Structures" (Section 5.5).
Author: Mário Pereira (Université Paris Sud)
*)
module Heap
use import int.Int
......
(** Pairing heaps (M. Fredman, R. Sedgewick, D. Sleator, R. Tarjan, 1986).
Author: Mário Pereira (Université Paris Sud)
This is a re-implementation of pairing heaps as binary trees.
See also pairing_heap.mlw in the gallery.
*)
module Heap
use import int.Int
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment