“Evidence-Oriented Programming” by Andreas Stefik

Curated as Software Design.

Watch this talk on YouTube.

September 2015

“Evidence-Oriented Programming” by Andreas Stefik

Computer science has a long and complex history with programming languages. Historically, we have conducted evaluations using proofs, to ensure they give us ...

  • Software Design

Share:

  • Twitter
  • Facebook
  • LinkedIn

Related Talks