Purely Functional Data Structures [Paperback]

add  amortized  binary  binomial  bounds  call  case  collection  complete  cons  contains  cost  data  datatype  debits  deep  deletemin  deque  digit  ds  element  else  empty  end  evaluation  example  exec  exercise  figure  first  force  front  fun  function  functor  head  heaps  however  implementation  insert  int  invariant  isempty  lazy  lenf  lenr  let  link  list  log  lookup  map  merge  method  must  new  next  nil  node  note  now  number  operation  pair  queue  raise  rank  rebuilding  representation  reverse  root  run  second  section  segment  shallow  signature  since  size  snoc  step  stream  structure  suspension  t2  tail  takes  time  total  tree  trie  ts  two  type  update  use  val  xs  ys  zero