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.

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? 1. aim_ag_texture2 It might look unconventional, but this textureless mod's excellent design has lead to it becoming one of the most popular mod maps around. 2. aim_extreme Extreme deliberately pushes the capabilities of CS: Source, the map is still fun to play, but the real draw is visuals a huge step above most other CS maps. 3. aim_deagle7k There's something pure about single weapon maps, and desert eagle only ones really reward fast, skillful aiming. 4. fy_twotowers 5. fy_iceworld 7. surf_ski_2

Essential Guide To Regular Expressions: Tools and Tutorials | Developer's Toolbox 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? Regular expressions are something that you’ll come across at least once in your development cycle, whether you’re just trying to modify an .htaccess file to make clean URLs, or something much more advanced like filtering RSS feeds or other data. Getting Started Just dipping your feet into regex? The Absolute Bare-Minimum Every Programmer Should Know About Regular Expressions1A simple and direct article that outline some of the main “characters” in regular expressions. Demystifying Regular Expressions853In this article a simple usage of regular expressions is described. Regular Expressions Cheat Sheet11A one-page reference sheet. Regex Tools

70 Professional Fonts For All Design Life Situations Choosing the right fonts for your design is very important. This gives your viewers an impression on what you promote or convey. Choosing of fonts can also be an art, and fonts can also be in style. In this article, I will give you the best fonts you can download and use to make your designs look clean, professional but stylish. The fonts you will see below are the fonts we can consider as clean, professional but stylish. Now, scroll down and enjoy downloading! 1. by: Shawn Griswold To download Gris font, click here. 2. by: Lauren Thompson To download Champagne & Limousines font, click here. 3. by: haef To download Capsuula font, click here. 4. by: Gabriel Mark Perida To download Gabriel Serif font, click here. 5. by: eM-Vii aka Manuel Viergutz To download Hand Times font, click here. 6. by: The League of Moveable Type To download League Gothic font, click here. 7. by: Fresko Design To download Fresko font, click here. 8. by: arro To download Vegur font, click here. 9. by: Tension Type 10. 11. 12. 13.

Stolen Camera Finder - find your photos, find your camera 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. Despite its popularity, few know that JavaScript is a very nice dynamic object-oriented general-purpose programming language. The Name The Java- prefix suggests that JavaScript is somehow related to Java, that it is a subset or less capable version of Java. JavaScript has a syntactic similarity to Java, much as Java has to C. JavaScript was not developed at Sun Microsystems, the home of Java. The -Script suffix suggests that it is not a real programming language, that a scripting language is less than a programming language. Lisp in C's Clothing JavaScript's C-like syntax, including curly braces and the clunky for statement, makes it appear to be an ordinary procedural language. Typecasting Moving Target

70 Things Every Computer Geek Should Know. | Arrow Webzine The term ‘geek’, once used to label a circus freak, has morphed in meaning over the years. What was once an unusual profession transferred into a word indicating social awkwardness. As time has gone on, the word has yet again morphed to indicate a new type of individual: someone who is obsessive over one (or more) particular subjects, whether it be science, photography, electronics, computers, media, or any other field. A geek is one who isn’t satisfied knowing only the surface facts, but instead has a visceral desire to learn everything possible about a particular subject. How to become a real computer Geek? Little known to most, there are many benefits to being a computer geek. You may get the answer here: The Meaning of Technical Acronyms 1. One of the best list of default passwords. 1A. 2. If you rolled your eyes here, that is a good thing. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21.

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. Avoid A harmless prank that makes your Windows start button avoid your mouse! Backwards Mouse Backwards mouse will reverse all mouse movements on the desktop. Blue Screen of Death This prank simulates the Windows Bomb Use the Bomb program when you want to display that dreaded Windows Illegal Operation message dialog box. Click Me Want someone to have fun chasing a button around the screen? ClickStart The ClickStart prank will click the users start button every 45 seconds. Clippy Prank someone with this fake, customizable Clippy assistant. Copy Cursor Replicate the mouse cursor to random positions on the screen. Crazy Num Caps Scroll Cursor Fun

JavaScript: A Survey of the Language Douglas Crockford www.crockford.com © 2002 Douglas Crockford This document is an introduction to the JavaScript Programming Language for professional programmers. JavaScript is not Java. JavaScript is a regular language which won't take much time to learn. When JavaScript was first introduced, I dismissed it as being not worth my attention. JavaScript was developed by Brendan Eich at Netscape as the in-page scripting language for Navigator 2. This document describes ECMAScript Edition 3 (aka JavaScript 1.5). JavaScript contains a small set of data types. Boolean has two values: true and false. Number is 64-bit floating point, similar to Java's double and Double. String is a sequence of zero or more Unicode characters. 'This is a string.' "Isn't this a string? 'A' // The character A "" // An empty string Escapement is done with the \ character, like in Java. var s = "Hello World!" It is possible to add methods to the simple types. Objects var myHashtable = {}; myHashtable.city = "Anytown"; Arrays

Related: