Queensland Functional Programming Lab

Write software that works

We are a software development team, committed to producing quality software and helping others do same.

Functional Programming fulfills the broken promises of OO. Software as components.

Functional Programming builds on the shoulders of giants of mathematics to enable reliable software verification tools.

See this week’s costly software calamity.

If Functional Programming is so much better, why isn’t everyone using it yet? Because you haven’t yet knocked on our door.

Our team is committed to exploiting the benefits of Functional Programming, and assisting others in doing same.

We have specific interests in:

See our projects for more.

The most recent blog posts are:

The whole backlog is available from the archives.