A Dependently Typed Parallel Runtime System
As the multi-core CPU architectures are long the standard, writing parallel programs are essentialto extract the maximum performance from the CPU. This project explores the use of dependanttypes in creating a model for…