[10] Chris Casinghino, Vilhelm Sjöberg, and Stephanie Weirich. Combining proofs and programs in a dependently typed langauge. In POPL '14, 2014. [ bib | PDF | code ]
[9] Garrin Kimmel, Aaron Stump, Harley D. Eades, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sj√∂berg, Nathin Collins, , and Ki Yunh Anh. Equational reasoning about programs with general recursion and call-by-value semantics. Progress in Informatics, (10), March 2013. [ bib | PDF ]
[8] Stephanie Weirich and Chris Casinghino. Generic Programming with Dependent Types, pages 217-258. Number 7470 in Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg, 2012. [ bib | PDF ]
[7] Chris Casinghino, Vilhelm Sjöberg, and Stephanie Weirich. Step-indexed normalization for a language with general recursion. In MSFP '12, 2012. [ bib | PDF | code ]
[6] Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, and Stephanie Weirich. Irrelevance, heterogenous equality, and call-by-value dependent type systems. In MSFP '12, 2012. [ bib | PDF ]
[5] Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, and Ki Yung Ahn. Equational reasoning about programs with general recursion and call-by-value semantics. In PLPV '12, 2012. [ bib | PDF ]
[4] Chris Casinghino, Harley D. Eades III, Garrin Kimmell, Vilhelm Sjöberg, Tim Sheard, Aaron Stump, and Stephanie Weirich. The preliminary design of the Trellys core language. Talk and discussion session at PLPV 2011. [ bib | slides | .pdf ]
[3] Stephanie Weirich and Chris Casinghino. Arity-Generic Datatype-Generic Programming. In PLPV '10: Proceedings of the 4th Workshop on Programming Languages Meets Program Verification, 2010. [ bib | slides | PDF | code ]
[2] Benjamin C. Pierce, Chris Casinghino, and Michael Greenberg. Software Foundations. 2009. Course book, available online. [ bib | http ]
[1] Tom Murphy VII, Daniel Spoonhower, Chris Casinghino, Daniel R. Licata, Karl Crary, and Robert Harper. The Cult of the Bound Variable: The 9th Annual ICFP Programming Contest. Technical Report CMU-CS-06-163, Department of Computer Science, Carnegie Mellon University, 2006. [ bib | PDF | http ]

This file was generated by bibtex2html 1.96.