Welltyped programs cant be blamed Philip Wadler University of Edinburgh Robert Bruce Findler University of Chicago Abstract We introduce the blame calculus which adds the notion of blame from Findler - PDF document

Download presentation
Welltyped programs cant be blamed Philip Wadler University of Edinburgh Robert Bruce Findler University of Chicago Abstract We introduce the blame calculus  which adds the notion of blame from Findler
Welltyped programs cant be blamed Philip Wadler University of Edinburgh Robert Bruce Findler University of Chicago Abstract We introduce the blame calculus  which adds the notion of blame from Findler

Embed / Share - Welltyped programs cant be blamed Philip Wadler University of Edinburgh Robert Bruce Findler University of Chicago Abstract We introduce the blame calculus which adds the notion of blame from Findler


Presentation on theme: "Welltyped programs cant be blamed Philip Wadler University of Edinburgh Robert Bruce Findler University of Chicago Abstract We introduce the blame calculus which adds the notion of blame from Findler"— Presentation transcript


By: test
Views: 131
Type: Public

Welltyped programs cant be blamed Philip Wadler University of Edinburgh Robert Bruce Findler University of Chicago Abstract We introduce the blame calculus which adds the notion of blame from Findler - Description


We charac terise where positive and negative blame can arise by decomposing the usual notion of subtype into positive and negative subtyping and show that these recombine to yield naive subtyping Naive typ ing has previously appeared in type systems ID: 8111 Download Pdf

Related Documents