Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems von Sjöberg, Vilhelm, Casinghino, Chris, Ahn, Ki Yung, Collins, Nathan, Eades III, Harley D., Fu, Peng, Kimmell, Garrin, Sheard, Tim, Stump, Aaron, Weirich, Stephanie

Volltext

Equational reasoning about programs with general recursion and call-by-value semantics von KIMMELL, Garrin, STUMP, Aaron, D. EADES, Harley, FU, Peng, SHEARD, Tim, WEIRICH, Stephanie, CASINGHINO, Chris, SJOBERG, Vilhelm, COLLINS, Nathan, YUNG AHN, Ki

Volltext

Dualized Simple Type Theory von Eades III, Harley, Stump, Aaron, McCleeary, Ryan

Volltext

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems von Sjöberg, Vilhelm, Casinghino, Chris, Ahn, Ki Yung, Collins, Nathan, Eades, Harley D, Fu, Peng, Kimmell, Garrin, Sheard, Tim, Stump, Aaron, Weirich, Stephanie

Volltext

Overview and Investigation of Australian Aboriginal Lizard Traps von Cramp, Susie, Murray, Sheila, Knapp, Lynette, Coyne, Harley, Eades, Aden, Lullfitz, Alison, Speldewinde, Peter, Hopper, Stephen D.

Volltext