DPPL project
Switch branches/tags
Nothing to show
Clone or download
Pull request Compare This branch is 2 commits ahead of mytbk:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.

README.md

DPPL project

A imperative programming language constraining computational complexity.

Support loops and branches, do not support recursive functional calls.

A well-typed program of this language can always be computed in polynomial time.