1. 3
  1.  

  2. 1

    Dave also gave a talk on Whiley last year: David Pearce - What does the Future of Programming Look Like? (demo at the 11:25 mark).