1. 15
    "A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram video formalmethods programming youtube.com
    brendan avatar via brendan 11 months ago | cached | 2 comments

  1.  

  2. 5
    tallgeoff avatar tallgeoff 11 months ago | link

    I can’t say enough good things about this talk, it was one of the highlights of the conference for me.

    1. 1
      doublec avatar doublec 10 months ago | link

      Hopefully it encourages more people to give ATS a try.