About: http://webisa.webdatacommons.org/43712097

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	Odersky at about 9.5 minutes into his talk mentions his experience in using types to constrain the possibilities of his programs to such an extent that when and if they compile then they tend to be correct.
http://www.w3.org/ns/prov#wasQuotedFrom	fogus.me