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)

Finding Bugs with Specification-Based Testing is Easy!

This was the (prerecorded) conference presentation that accompanies my paper with the same name

Functional Reactive Programming in Whiley

Functional Reactive Programming (FRP) is a paradigm which brings functional programming to inherently non-functional environments. FRP has been recently popularised for building web applications through the likes of React, Angular, Elm, etc. In this talk, I'll explore FRP for building web applications and, in particular, examine an FRP framework written in Whiley and how it works.

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