The European research network on types for programming and verification

Computer Science

1. Programs 100%
2. Research Network 100%
3. Foundational Research 50%
4. Theoretic Tool 50%
5. Type Systems 50%
6. Information Technology 50%
7. Programming Environment 50%
8. Computation 50%
9. Software Development 50%
10. Computer Science 50%
11. Functional Specification 50%
12. Computer Scientist 50%
13. Software Component 50%
14. Theorem Proving 50%