progscrape: ed.ac.uk

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

9 years ago ed.ac.uk

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

9 years ago homepages.inf.ed.ac.uk

Do Be Do Be Do

9 years ago homepages.inf.ed.ac.uk

Spreadsheet Programming with User Defined Types and Functions

9 years ago homepages.inf.ed.ac.uk

NASA C Style Guide

9 years ago homepages.inf.ed.ac.uk c nasa

Climate change threatens North Atlantic deep sea coral populations

9 years ago ed.ac.uk

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.

10 years ago ed.ac.uk cannabis

Proposition as Types

10 years ago homepages.inf.ed.ac.uk

Interactive Theorem Proving in Industry (2012)

10 years ago events.inf.ed.ac.uk

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

10 years ago groups.inf.ed.ac.uk java