1. Flow: A Static Type Checker for JavaScript.
http://flowtype.org
2. The Erlang Programming Language.
http://www.erlang.org
3. The Go Programming Language.
https://golang.org
4. The Rust Programming Language.
https://www.rust-lang.org
5. Bengtson, J., Johansson, M., Parrow, J., Victor, B.: Psi-calculi: mobile processes, nominal data, and logic. In: Proceedings of LICS 2009, pp. 39–48. IEEE Computer Society (2009).
http://doi.ieeecomputersociety.org/10.1109/LICS.2009.20