Expressive Power of SQL (2003)

Life on our planet might have originated from biological particles brought to Earth in streams of space dust

A new volcanic province: an inventory of subglacial volcanoes in West Antarctica

They say that oil and water do not mix … but now scientists have discovered that – under certain circumstances – it may be possible

Depression is associated with changes in brain structure

The Power Benchmarking Game (2016)

Replacing half of the meat eaten worldwide with crickets and mealworms would cut farmland use by a third, substantially reducing emissions of greenhouse gases, researchers say.

Ancient stone carvings confirm that a comet struck the Earth around 11,000BC, a devastating event which wiped out wooly mammoths and sparked the rise of civilisations

First-born children’s thinking skills outperform their siblings because they receive more mental stimulation from their parents in their early years, research suggests.

Proofs are Programs – 19th Century Logic and 21st Century Computing (2000)

Do Be Do Be Do

Spreadsheet Programming with User Defined Types and Functions

NASA C Style Guide

Climate change threatens North Atlantic deep sea coral populations

Cannabis excess linked to bone thinning: People who regularly smoke large amounts of cannabis have reduced bone density and are more prone to fractures, research has found.

Proposition as Types

Interactive Theorem Proving in Industry (2012)

Java Memory Model Examples: Good, Bad and Ugly (2007)

A Brief Guide to CLOS (1998)

The Land of the Free and “The Elements of Style” (2010)

Propositions as Types (2014)

Scooping the Loop Snooper (2000)

Propositions as Types

Functional Programming in the Real World

Humans have evolved to be smarter and taller than their predecessors, a study of populations around the world suggests

History of logic and programming languages

A Brief Guide to the Common Lisp Object System

Introduction to JavaScript for Fortran Programmers

The Implicit Calculus: A New Foundation for Generic Programming [pdf]

The Researcher's Bible

More →