- zig https://www.youtube.com/watch?v=Z4oYSByyRak
- https://www.youtube.com/watch?v=AGkSHE15BSs
- https://www.youtube.com/watch?v=KvLjy8w1G_U
- http://skiplang.com/
- https://github.com/jashkenas/coffeescript/wiki/List-of-languages-that-compile-to-JS
- http://joeduffyblog.com/2016/02/07/the-error-model/
- https://github.com/Microsoft/dafny
- https://www.microsoft.com/en-us/research/project/koka/
- http://www.shenlanguage.org/shenpaper.pdf
- https://www.youtube.com/watch?v=f9vRcSAneiw
- http://www.skyhunter.com/marcs/ewalnut.html#SEC2
- https://www.eff-lang.org/
- https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/coqasm.pdf