| http://www.w3.org/ns/prov#value | - Statically typed functional languages such as OCaml and Haskell are newer, but their roots go deep???ML, from which they descend, dates back to work by Robin Milner in the early '70s relating to the pioneering LCF (Logic for Computable Functions) theorem prover.
|
