1. 1
    QWeSST: Type-Safe, Web Programming Language (2011) ☶ pdf slides plt web cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments

This 2014 paper describes it plus their supporting formalisms for “parallel, distributed, and concurrent” operation. They use them to prove QWeSST’s safety in both single-threaded and parallel scenarios.