Whiley is a hybrid imperative and functional programming language which has been under development since 2009. Find out more at whiley.org or try it online at whileylabs.com. The complete source code for the compiler and theorem prover is available on GitHub. There is also a Wikipedia page and a dedicated Reddit group.
Finding Bugs with Specification-Based Testing is Easy!. Janice Chin and David J. Pearce. In The Art, Science, and Engineering of Programming, 2021.
Profiling the Java Compiler for Improved Incremental Compiler Design. Philip Oliver. Final Year Project (ENGR489) Thesis, Victoria University of Wellington, 2020.
Efficient compilation of a verification-friendly programming language. Min Hsien (Sam) Weng. PhD Thesis, University of Waikato, 2019.
Compiling Whiley for WebAssembly. Wei Hua. Final Year Project (COMP489) Thesis, Victoria University of Wellington, 2019.
Compiling Whiley for the Ethereum Virtial Machine. Dylan Kumar. Final Year Project (ENGR489) Thesis, Victoria University of Wellington, 2019.