Ben Goodspeed

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
A new workflow for software development (proof-driven development) is presented. An extension of test-driven development, the new workflow utilizes the paradigm of dependently typed programming. The differences in design, complexity and provability of software are discussed, based on the technique used to create the system. Furthermore, the difference in(More)
  • 1