FreezeML: Complete and Easy Type Inference for First-Class Polymorphism

ePython: supporting Python on many core co-processors (2016)

Playing board games may be associated with reduced declines in cognitive function according to a 68-year longitudinal study of 1091 individuals in Scotland.

People who play games – such as cards and board games – are more likely to stay mentally sharp in later life, suggests new study (n=1,091), which found those who regularly played non-digital games scored better on memory and thinking tests in their 70s.

Scooping the Loop Snooper: Proof That the Halting Problem Is Undecidable (2000)

A quarter of the world’s tropical land could disappear by the end of the century unless meat and dairy consumption falls

Research has found reducing food waste, tweaking diets and improving the efficiency of food production – could together reduce the amount of land required to feed the planet by at least 21 per cent.

Cells in the body are wired like computer chips to direct signals that instruct how they function, research suggests

A Theory of Type Polymorphism in Programming (1977)

The unreasonable effectiveness of mathematics in the natural sciences

Scientists have uncovered a process in cells that prevents DNA from becoming tangled, which resembles a method used to control climbers' ropes

People choose a life partner who is likely to have a comparable life expectancy and who share similar risks of illnesses - such as high blood pressure or heart disease according to new research

Compiler Fuzzing Through Deep Learning

As far back as 40,000 years ago, humans kept track of time using relatively sophisticated knowledge of the stars, new research shows

The Cognitive Style of PowerPoint (2006)

Dandelion seeds use a novel form of flight so far not found anywhere else in nature

A Brief Guide to CLOS

Fossil teeth show how reptiles adapted to change - Marine predators that lived in deep waters during the Jurassic Period thrived as sea levels rose, while species that dwelled in the shallows died out…

A Taste of Linear Logic

Compiler Fuzzing through Deep Learning

Inbreeding makes animals more vulnerable to environmental changes. Study finds inbred beetles made poorer decisions as environmental factors changed

Abel's Theorem in Problems and Solutions (2004)

The Lambda Calculus: Practice and Principle

Monads for functional programming (1995)

Paleontologists have recovered a Jurassic fossil tail they believe is the missing link between two halves of the ancient crocodile family.

Heap Bounded Assembly Language (2002)

The Next 700 Programming Languages (1965)

Monads for functional programming

Simplicity and Michelson

A 530-million-year-old fossil contains what could be the oldest eye ever discovered

More →