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)

Language Design Meets Verifying Compilers

This is the keynote presentation I gave at the Conference on Generative Programming: Concepts & Experiences (GPCE'22). See also my paper of the same name.

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.