progscrape: ed.ac.uk

Interactive Theorem Proving in Industry (2012)

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

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

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

A Brief Guide to CLOS (1998)

9 years ago aiai.ed.ac.uk

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

10 years ago lel.ed.ac.uk

Propositions as Types (2014)

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

Scooping the Loop Snooper (2000)

10 years ago lel.ed.ac.uk

Propositions as Types

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

Functional Programming in the Real World

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

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

10 years ago ed.ac.uk

History of logic and programming languages

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