Posts Tagged ‘high assurance’

High Assurance Functional RDF in Haskell

Posted on December 9, 2011, 3:30 pm, by rickmurphy, under haskell, semantic web.

Higher Assurance Functional RDF in Haskell describes the results of my recent code writing project. The purpose of the project is to demonstrate each of the capabilities suggested by the title above in a working solution and to develop a set of practices to deliver such a solution.

Tags: , , , , , , , , , , , , , , , , , , ,
No Comments | Read the rest of this entry »