Robin Milner News Today

Successful aging and life satisfaction can be a subjective concept. For the purposes of this article, I would like to propose the definition of successful aging and life satisfaction as:  Research indicates that the following...

The transputer documentation archive: Inmos and the Transputer

OCaml 5, a major new version of the open source programming language OCaml, has just been released by the Cambium project team researchers. Thanks to its compiler, which translates code into the language used by each machine, OCaml 5 offers developers numerous new features, including support for concurrent programming on multicore systems.

The other day I read 20 most significant programming languages in history, a “preposterous table I just made up.” He certainly got preposterous right: he lists Go as “most significant” but not ALGOL, Smalltalk, or ML. He also leaves off Pascal because it’s “mostly dead”. Preposterous! That defeats the whole point of what “significant in history” means. So let’s talk about some “mostly dead” languages and why they matter so m...

OCaml 5, a major new version of the open source programming language OCaml, has just been released by the Cambium project team researchers. Thanks to its compiler, which translates code into the language used by each machine, OCaml 5 offers developers numerous new features, including support for concurrent programming on multicore systems.

On being a PhD student of Robert Harper - Volume 32

Instructor:  Teaching Fellow: Gal Koplewitz, galkop@gmail.com. Office hours: Thursdays 3-4, Maxwell Dworkin second floor lounge. This course examines papers every computer scientist should have read, from the 1930s to the present. It is meant to be a synthesizing experience for advanced students in computer science: a way for them to see the field as a whole, not through a survey, but by reliving the experience of its creation. The idea is to create a unified view of the field of computer s...