progscrape: ed.ac.uk

Propositions as Types

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

Functional Programming in the Real World

9 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

9 years ago ed.ac.uk

History of logic and programming languages

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

A Brief Guide to the Common Lisp Object System

10 years ago aiai.ed.ac.uk lisp

Introduction to JavaScript for Fortran Programmers

10 years ago see.ed.ac.uk javascript

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

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

The Researcher's Bible

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

On the Design of Editors for Small Computers (1972)

10 years ago history.dcs.ed.ac.uk

Decades of neglect have allowed infectious diseases to devastate lives in the developing world, a study shows

11 years ago ed.ac.uk