Francisco Heron de Carvalho Junior, Cenez Araújo Rezende, Jefferson de Carvalho Silva, Wagner Guimarães Al-Alam, João Marcelo U. de Alencar. Contextual abstraction in a type system for component-based high performance computing platforms. Science of Computer Programming, 132:96-128, 2016. [doi]
Abstract is missing.