Functional programming is a programming paradigm which comprises equations between functions operating on “abstract data”. It is a very neat and concise style that focuses on the core logic rather than catering to the…
What is the difference between math and programming? This project is an implementation of a dependent type system for an imperative programming language called Hash. Beyond standard programming language features, it…
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…