| http://www.w3.org/ns/prov#value | - developments available in other programming languages such as ML or Haskell?- what is more important in writing more reliable programs, using more and better abstractions, or having more complicated types and better type checkers?levy-- there is no perfectoin
|
