Dependently typed array programs don't go wrong

Computer Science

• Type System 100%
• Data Structure 50%
• Programming Language 50%
• Programming Paradigm 50%
• Integer Vector 50%
• Data Parallelism 50%
• Integer Scalar 50%
• Array Operation 50%
• Check Constraint 50%
• Obfuscation 50%
• Operation Process 50%