background preloader

Great Works in Programming Languages

Great Works in Programming Languages
In September, 2004, I posted a query to the Types list asking people to name the five most important papers ever written in the area of programming languages. This page collects the responses I received. (A few are missing because I am still tracking down bibliographic information.) Many thanks to Frank Atanassow, David Benson, Nick Benton, Karl Crary, Olivier Danvy, Mariangiola Dezani, Dan Friedman, Alwyn Goodloe, Pieter Hartel, Michael Hicks, Robert Irwin, Luis Lamb, Rod Moten, Rishiyur Nikhil, Tobias Nipkow, Jens Palsberg, and John Reynolds for contributing. Additional suggestions are welcome. (Bibtex format preferred!) The greatest of the great (mentioned by many people): C. Peter J. Robin Milner. Gordon Plotkin. John C. Pretty great works (mentioned by multiple people): Luca Cardelli. Luis Damas and Robin Milner. Edsger W. Edsger W. William A. Robert Kowalski. Peter J. John McCarthy. Eugenio Moggi. Greg Morrisett, David Walker, Karl Crary, and Neal Glew. George C. Gordon D. Gordon D.

http://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml

Related:  general knowledgeNewBlogs

Advanced Programming Languages Introduction Research Syntax Semantics Static Semantics ( Type Theory ) A quick tutorial on implementing and debugging malloc, free, calloc, and realloc Let’s write a malloc and see how it works with existing programs! This tutorial is going to assume that you know what pointers are, and that you know enough C to know that *ptr dereferences a pointer, ptr->foo means (*ptr).foo, that malloc is used to dynamically allocate space, and that you’re familiar with the concept of a linked list. If you decide to work through this tutorial without really knowing C, please let me know what parts could use more exposition. If you want to look at all of this code at once, it’s available here. The tests are from Andrew Roth, who had a github repo lying around with some tests for malloc. Preliminaries aside, malloc’s function signature is

10 essential Counter Strike: Source maps A lot of Counter Strike: Source games take place every day. In fact, it's still the second most popular title on Steam (coming in just after the original Counterstrike). You can understand why some players might be hungry for a little variety. We've compiled a list of some of the most inventive and fun user-made maps around. From short range gunfights to spectacular physics engine acrobatics we've got them all, and if new maps don't do it for you, why not check out our top weapon mod list instead?

Essential Guide To Regular Expressions: Tools and Tutorials Advertisement Regular expressions are an essential part of any programmer’s toolkit. They can be very handy when you need to identify, replace or modify text, words, patterns or characters. In a nutshell: regular expressions (regex) are like a Swiss army knife for modifying strings of just about anything. Need to make your site URLs look pretty? Hallmarks of a Great Developer - Test Guide If you ask me, I'll tell you a great developer Plans before coding A great developer takes the time to plan an approach before designing or coding. Stuff I find interesting 17 Jul 2014 If you don't know what libswarm is take a gander at Libswarm in a nutshell Just a quick demo showing off what libswarm can do with logging.

RJLPranks.com The free software listed here is perfect for the most mischievous pranks and computer gags. This software is great for playing jokes on those unsuspecting users. Click on any of our computer pranks below to get more information and download them. Add/Remove Pretends to remove all of the software from your machine using the standard Windows Add/Remove Programs.

JavaScript: The World's Most Misunderstood Programming Language Douglas Crockford www.crockford.com JavaScript, aka Mocha, aka LiveScript, aka JScript, aka ECMAScript, is one of the world's most popular programming languages. Virtually every personal computer in the world has at least one JavaScript interpreter installed on it and in active use.

Related: