comparemela.com
  1. Home
  2. Live Updates
  3. Dependent Types - Breaking News

Latest Breaking News On - Dependent types - Page 1 : comparemela.com

A Taste of Coq and Correct Code by Construction

People call us developers, architects, or even worse, engineers as if we are calculating structural integrity before we start building. We are just playing with wooden blocks, and suddenly someone…

Thierry coquandWalter schulzeSoftware engineersSoftware toddlersCorrect codeCoq proofStack overflowSearch treeBinary search treeBinary searchTree nodeWreck it ralphProof assistantNode nilLittle typerCertified programming

ThatGeoGuy - Book review: The Little Typer

A book review of my journey through dependent typing.

David thrane christiansenDanielp friedmanLittle typerDavid thraneLittle schemerBook reviewDependent types

© 2024 Vimarsana

vimarsana © 2020. All Rights Reserved.