- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c2 |      | 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 |
| c1 | | 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 |
| 1 | Ki Yung Ahn | |
| 2 | Chris Casinghino | |
| 3 | Harley D. Eades III | |
| 4 | Peng Fu | |
| 5 | Garrin Kimmell | |
| 6 | Tim Sheard | |
| 7 | Vilhelm Sjöberg | |
| 8 | Aaron Stump | |
| 9 | Stephanie Weirich |
Data released under the ODC-BY 1.0 license — See also our legal information page