We a good story
Quick delivery in the UK

Books by Flemming (Aarhus Universitet Nielson

Filter
Filter
Sort bySort Popular
  • by Denmark) Nielson, Flemming (Aarhus Universitet & Hanne Riis (Aarhus Universitet
    £45.49 - 111.99

    The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.