@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}
}
@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.95.