I’ve been heads down following from my past work on Model Driven Architecture, Ontology and Logic(s). The questions that arise naturally in the course of studying these topics lead me to closely examine quantification and type systems. Higher rank types provide both a mechanism for polymorphism and high assurance in the subjects that motivated my study.
Posts Tagged ‘model driven architecture’
Both public and private sectors are currently evaluating various information sharing capabilities based on Model Driven Architecture and the Semantic Web. The supply of knowledge workers for Model Driven Architecture is relatively high. Currently, the private sector reasonably satisfies demand for these capabilities. But knowledge workers for the Semantic Web are currently in short supply.