dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Nathan Collins (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVilhelm 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGarrin 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 2 records - Nathan Collins has 9 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page