Dr. David J. Pearce


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.

Related Publication(s)


Related Talk(s)

On the Architecture of a (Verifying) Compiler

This was an invited keynote given at the Sydney Area Programming Languages (SAPLING) Workshop held in Wellington, New Zealand

What does the Future of Programming Look Like?

This talk provides an introduction and demonstration of the Whiley programming language, and was given at Oracle Labs Brisbane in 2017.

The Whiley Programming Language

This talk was given at the Wellington Java User Group in 2015, and provides a nice overview and demonstration of Whiley.