@inproceedings{SSK00a,
  author    = {Jo{\~a}o Saraiva and Doaitse Swierstra and Matthijs Kuiper},
  title     = {{F}unctional {I}ncremental {A}ttribute {E}valuation},
  booktitle = {9th International Conference on Compiler Construction, CC/ETAPS2000},
  year      = {2000},
  editor    = {{David Watt}},
  publisher = {Springer-Verlag},
  pages     = {279-294},
  volume    = {1781},
  series    = {LNCS},
  month     = mar,
}