Efficient Explanatory Type Systems for Parallel Systems

01 October 2018 → 30 September 2022
Regional and community funding: Special Research Fund
Research disciplines
  • Natural sciences
    • Applied mathematics in specific fields
    • Statistics and numerical methods
    • Computer architecture and networks
    • Distributed computing
    • Information sciences
    • Information systems
    • Programming languages
    • Scientific computing
    • Theoretical computer science
    • Visual computing
    • Other information and computing sciences
Type Systems Incremental Computation Integrated Development Environments
Project description

We aim to make current generation academic type systems for parallel programming more useful to real developers by providing better explanations when typing fails, work out further analyses that use the information of these type systems, and to make these type systems more efficient such that they become usable in traditional Integrated Development Environments.