Posts Tagged ‘type safe’

Sample Terms for Practical Type Inference for Arbitrary Rank Types

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.