Chris Casinghino

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
c5		Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn: Equational reasoning about programs with general recursion and call-by-value semantics. PLPV 2012: 15-26
c4		Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich: Step-Indexed Normalization for a Language with General Recursion. MSFP 2012: 25-39
c3		Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich: Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems. MSFP 2012: 112-162
	2010
c2		Stephanie Weirich, Chris Casinghino: Arity-generic datatype-generic programming. PLPV 2010: 15-26
c1		Stephanie Weirich, Chris Casinghino: Generic Programming with Dependent Types. SSGIP 2010: 217-258
	2009
j1		Stephanie Weirich, Chris Casinghino: Arity-generic datatype-generic programming: (abstract only). SIGPLAN Notices 44(11): 7 (2009)

Coauthor Index

Last update Sun May 26 00:08:15 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page