pubs.bib

@INPROCEEDINGS{gacek08lfmtp,
  author = {Andrew Gacek and Dale Miller and Gopalan Nadathur},
  title = {Reasoning in {A}bella about Structural Operational
                  Semantics Specifications},
  month = {June},
  year = 2008,
  booktitle = {Proceedings of LFMTP 2008},
  pages = {75--89},
  series = {Electronic Notes in Theoretical Computer Science},
  volume = {},
  publisher = {Elsevier},
  editor = {A. Abel and C. Urban},
  pdf = {http://arxiv.org/pdf/0804.3914.pdf},
  slides = {http://www.cs.umn.edu/~agacek/pubs/slides/gacek08lfmtp-slides.pdf}
}

@INPROCEEDINGS{gacek08ijcar,
  author = {Andrew Gacek},
  title = {The {A}bella Interactive Theorem Prover
                  (System Description)},
  year = 2008,
  month = {August},
  booktitle = {Proceedings of IJCAR 2008},
  pages = {154--161},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {5195},
  editor = {A. Armando and P. Baumgartner and G. Dowek},
  pdf = {http://arxiv.org/pdf/0803.2305.pdf},
  slides = {http://www.cs.umn.edu/~agacek/pubs/slides/gacek08ijcar-slides.pdf}
}

@INPROCEEDINGS{gacek08lics,
  author = {Andrew Gacek and Dale Miller and Gopalan Nadathur},
  title = {Combining generic judgments with recursive
                 definitions},
  booktitle = {Proceedings of LICS 2008},
  month = {June},
  year = {2008},
  pages = {33--44},
  editor = {F. Pfenning},
  publisher = {IEEE Computer Society Press},
  url = {http://arxiv.org/pdf/0802.0865.pdf},
  slides = {http://www.cs.umn.edu/~agacek/pubs/slides/gacek08lics-slides.pdf}
}

@ARTICLE{mcdowell02tocl,
  author = {Raymond McDowell and Dale Miller},
  title = {Reasoning with Higher-Order Abstract Syntax in a
                 Logical Framework},
  journal = {ACM Transactions on Computational Logic},
  year = {2002},
  volume = {3},
  number = {1},
  pages = {80--136},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/mcdowell01.pdf}
}

@ARTICLE{miller05tocl,
  author = {Dale Miller and Alwen Tiu},
  title = {A proof theory for generic judgments},
  journal = {ACM Transactions on Computational Logic},
  edited = {Phokion Kolaitis},
  month = {October},
  volume = {6},
  number = {4},
  pages = {749--783},
  publisher = {ACM Press},
  address = {New York, NY, USA},
  year = {2005},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/tocl-nabla.pdf}
}

@INPROCEEDINGS{nadathur88iclp,
  author = {Gopalan Nadathur and Dale Miller},
  title = {An {Overview} of {$\lambda$Prolog}},
  editors = {Kenneth A. Bowen and Robert A. Kowalski},
  booktitle = {{Fifth International Logic Programming Conference}},
  address = {Seattle},
  publisher = {MIT Press},
  pages = {810--827},
  month = {August},
  year = {1988},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/iclp88.pdf}
}