ML for the Working Programmer [Paperback]

apply  argument  array  binary  br  call  case  characters  components  cons  constructors  contains  data  datatype  declaration  declare  definition  does  elements  else  empty  end  equality  error  example  exception  exercise  expression  first  fn  form  formula  fun  function  functional  functor  given  induction  int  integer  item  language  let  lf  list  map  may  ml  must  name  new  next  node  numbers  operations  operator  order  pairs  program  programming  proof  queue  real  recursive  ref  references  representation  result  returns  rule  search  section  seq  sequence  should  show  signature  sort  standard  state  string  structure  subgoal  t2  tactics  take  term  theorem  time  tree  true  two  type  use  val  value  variables  write  xs  ys