Static Type Checking for the Kompics Component Model: Kola - The Kompics Language

Lars Kroll, Jim Dowling, Seif Haridi. Static Type Checking for the Kompics Component Model: Kola - The Kompics Language. In First Workshop on Programming Models and Languages for Distributed Computing, PMLDC@ECOOP 2016, Rome, Italy, July 17, 2016. pages 2, ACM, 2016. [doi]

Abstract

Abstract is missing.