Stephanie Weirich (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

50 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

48 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

Selection of 2 from 51 records - Stephanie Weirich has 40 coauthors

Last update 2012-09-10 CET by the DBLP Team —

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

50		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
48		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