papers.bib

@inproceedings{ccasin:popl14,
  author = {Chris Casinghino and Vilhelm Sj\"{o}berg and Stephanie Weirich},
  title = {Combining Proofs and Programs in a Dependently Typed Langauge},
  booktitle = {POPL '14},
  year = {2014},
  pdf = {papers/combining-TR.pdf},
  code = {papers/combining-coq.tgz}
}
@article{pii:equationalreasoning,
  author = {Garrin Kimmel and Aaron Stump and Harley D. Eades and Peng Fu and Tim Sheard and Stephanie Weirich and Chris Casinghino and Vilhelm Sjöberg and Nathin Collins and and Ki Yunh Anh},
  title = {Equational reasoning about programs with general recursion and call-by-value semantics},
  journal = {Progress in Informatics},
  number = {10},
  year = {2013},
  month = {March},
  pdf = {papers/pi13.pdf}
}
@inbook{wc:generictutorial,
  author = {Stephanie Weirich and Chris Casinghino},
  title = {Generic Programming with Dependent Types},
  booktitle = {Generic and Indexed Programming},
  editor = {Jeremy Gibbons},
  number = {7470},
  series = {Lecture Notes in Computer Science},
  pages = {217-258},
  publisher = {Springer-Verlag Berlin Heidelberg},
  pdf = {papers/genericChapter2010.pdf},
  year = {2012}
}
@inproceedings{ccasin:msfp12,
  author = {Chris Casinghino and Vilhelm Sj\"{o}berg and Stephanie Weirich},
  title = {Step-Indexed Normalization for a Language with General Recursion},
  booktitle = {MSFP '12},
  year = 2012,
  pdf = {papers/msfp12log.pdf},
  code = {papers/step_normalization.tar.gz}
}
@inproceedings{sjoberg:msfp12,
  author = {Vilhelm Sj\"oberg and Chris Casinghino and Ki Yung Ahn and
            Nathan Collins and Harley D. Eades III and Peng Fu
            and Garrin Kimmell and Tim Sheard and Aaron Stump
            and Stephanie Weirich},
  title = {Irrelevance, Heterogenous Equality, and Call-by-value Dependent Type Systems},
  booktitle = {MSFP '12},
  year = 2012,
  pdf = {papers/msfp12prog.pdf}
}
@inproceedings{kimmel:plpv12,
  author = {Garrin Kimmell and Aaron Stump and Harley D. Eades III and 
                 Peng Fu and Tim Sheard and Stephanie Weirich and Chris Casinghino
                 and Vilhelm Sj\"oberg and Nathan Collins and Ki Yung Ahn},
  title = {Equational Reasoning about Programs with General Recursion and Call-by-value Semantics},
  booktitle = {PLPV '12},
  year = 2012,
  pdf = {papers/plpv2012genreccbv.pdf}
}
@misc{ccasin:plpv11talk,
  author = {Chris Casinghino and Harley D. Eades III and Garrin
            Kimmell and Vilhelm Sj\"{o}berg and Tim Sheard and
            Aaron Stump and Stephanie Weirich},
  title = {The Preliminary Design of the {Trellys} Core Language},
  booktitle = {PLPV '11},
  note = {Talk and discussion session at PLPV 2011},
  url = {http://www.seas.upenn.edu/~ccasin/papers/plpv11_slides.pdf},
  slides = {papers/plpv11_slides.pdf}
}
@inproceedings{wc10agdgp,
  author = {Stephanie Weirich and Chris Casinghino},
  title = {{Arity-Generic Datatype-Generic Programming}},
  booktitle = {PLPV '10: Proceedings of the 4th Workshop on Programming Languages Meets Program Verification},
  year = {2010},
  pdf = {papers/aritygen.pdf},
  code = {papers/aritygen.tar.gz},
  slides = {papers/aritygen_slides.pdf}
}
@book{Pierce09sf,
  author = {Benjamin C. Pierce and Chris Casinghino and Michael Greenberg},
  title = {Software Foundations},
  year = {2009},
  url = {http://www.cis.upenn.edu/~bcpierce/sf/},
  note = {Course book, available online.}
}
@techreport{msclch06icfpc,
  author = {Tom {Murphy VII} and Daniel Spoonhower and Chris Casinghino and Daniel R. Licata and Karl Crary and Robert Harper},
  title = {{The Cult of the Bound Variable: The 9$^{th}$ Annual ICFP Programming Contest}},
  institution = {Department of Computer Science, Carnegie Mellon University},
  year = {2006},
  number = {CMU-CS-06-163},
  pdf = {papers/cbv.pdf},
  url = {http://www.boundvariable.org/}
}

This file was generated by bibtex2html 1.96.