Browsing Honors Program (UMKC) by Title "Performance Between Universes: Type-Informed Optimisation for Structural Abstraction and Environment-Specific Data"
Now showing items 1-1 of 1
-
Performance Between Universes: Type-Informed Optimisation for Structural Abstraction and Environment-Specific Data
(University of Missouri -- Kansas City, 2020)We propose an implementation process for type systems to permit subdivision of types into distinct universes based on individual type theories each presenting their own unique properties. Multi-universe systems can ...