Code
01D32718
Duration
01 October 2018 → 30 September 2022
Funding
Regional and community funding: Special Research Fund
Promotor
Fellow
Research disciplines
-
Natural sciences
- Applied mathematics in specific fields not elsewhere classified
- Statistics and numerical methods not elsewhere classified
- Computer architecture and networks not elsewhere classified
- Distributed computing not elsewhere classified
- Information sciences not elsewhere classified
- Information systems not elsewhere classified
- Language design, constructs and features
- Scientific computing not elsewhere classified
- Theoretical computer science not elsewhere classified
- Visual computing not elsewhere classified
- Other information and computing sciences not elsewhere classified
Keywords
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.