@InProceedings{walker+06:lzap,
  author = "David Walker and Lester Mackey and Jay Ligatti and George Reis and David August",
  title = "Static Typing for a Faulty Lambda Calculus",
  booktitle = "{ACM} International Conference on Functional Programming",
  year = 2006,
  month = sep,
  address = "Portland",
  url = {http://www.cs.princeton.edu/~jligatti/papers/lzap.pdf}
}