There remains a gulf between computation models like Turing machines that appear in theory of computation texts, and introductory programming languages. The simple and powerful Scheme programming ...

Each year, the Oregon Programming Language Summer School covers topics in the foundations of programming languages. All the recordings of the lectures that took place during this year's event are now ...

In 1951, Saul Gorn was working for the US Army doing complex calculations for the Ballistic Research Laboratory. To do the calculations, he was using some of the first computers: ENIAC, EDVAC, and ...