Lambda the Ultimate Weblog URLs
Last Updated 11/19/2006

More on Jftp://archive.uwaterloo.ca/languages/j/help/lamm/programming_in_j
An Overview of Mirandaftp://bells.cs.ucl.ac.uk/functional/
An interactive historical roster of computer languagesftp://bells.cs.ucl.ac.uk/functional/
CLPython - an implementation of Python in Common Lispftp://common-lisp.net/pub/project/clpython/releases/20060702/clpython_20060702.tgz
A Lambda Calculus for Dynamic Bindingftp://cui.unige.ch/pub/dami/
A Lambda Calculus for Dynamic Bindingftp://cui.unige.ch/pub/dami/dynBind.ps.Z
Putting Failure in Context: ADTs of Computations & Contextsftp://ftp.ccs.neu.edu/pub/people/wand/papers/wand-03.ps
μABC: A Minimal Aspect Calculusftp://ftp.ccs.neu.edu/pub/people/wand/papers/wkd02.ps
Garbage Collection and the Radioactive Decay Modelftp://ftp.ccs.neu.edu/pub/people/will/radioactive.ps.gz
Hidden complexities of tail-call/tail-recursion optimizationftp://ftp.ccs.neu.edu/pub/people/will/tail.ps.gz
Virtual Machine and Runtime Frameworkftp://ftp.ccs.neu.edu/pub/people/will/tail.ps.gz
More Speed, Less Hasteftp://ftp.comlab.ox.ac.uk/pub/Documents/techpapers/Geraint.Jones/FP-1-96.ps.Z
Short examples of complex use of state?ftp://ftp.comlab.ox.ac.uk/pub/Documents/techpapers/Geraint.Jones/FP-1-96.ps.Z
More Haste, Less Speedftp://ftp.comlab.ox.ac.uk/pub/Documents/techpapers/Geraint.Jones/FP-1-96.ps.Z
Reading, Writing, and Codeftp://ftp.cs.arizona.edu/agrep/agrep-2.04.tar.Z
Poplogftp://ftp.cs.bham.ac.uk/pub/dist/poplog/poplog.info.html
The Architecture of a Debugger for Lazy Functional Languagesftp://ftp.cs.chalmers.se/pub/cs-reports/papers/sparud/algdebug-aadebug95.ps.gz
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/craftprog.pdf
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/defint.dvi.gz
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/defint.ps.gz
References for Beginners in PL Theoryftp://ftp.cs.cmu.edu/user/jcr/defint.ps.gz
Definitional Interpreters for Higher-Order Programming Languagesftp://ftp.cs.cmu.edu/user/jcr/defint.ps.gz
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/defintintro.dvi.gz
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/defintintro.ps.gz
Definitional Interpreters for Higher-Order Programming Languagesftp://ftp.cs.cmu.edu/user/jcr/defintintro.ps.gz
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/essence.dvi.gz
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/essence.ps.gz
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/gedanken.pdf
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/histcont.dvi.gz
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/histcont.pdf
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/histcont.ps.gz
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/reldircont.pdf
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/seplogic.dvi.gz
Conversion of 'functional' to 'imperative' algorithms: is it possible?ftp://ftp.cs.cmu.edu/user/jcr/seplogic.ps.gz
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/seplogic.ps.gz
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/syncontrol.dvi.gz
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/syncontrol.ps.gz
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/syncontrol2.dvi.gz
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/syncontrol2.ps.gz
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/theotypestr.pdf
Great Works in Programming Languagesftp://ftp.cs.cmu.edu/user/jcr/theotypestr.pdf
The Essence of Programming: Reynoldsfest at MFPSftp://ftp.cs.cmu.edu/user/jcr/typesabpara.pdf
References for Beginners in PL Theoryftp://ftp.cs.cmu.edu/user/jcr
A Type Notation for Schemeftp://ftp.cs.iastate.edu/pub/techreports/TR95-21/TR.ps.Z
Advanced Programming Language Design (Finkel)ftp://ftp.cs.indiana.edu/pub/scheme-repository/doc/pubs/express.ps.gz
syntax-case "for dummies"ftp://ftp.cs.indiana.edu/pub/scheme-repository/doc/pubs/iucstr355.ps.gz
Maya - Syntax extension for Javaftp://ftp.cs.indiana.edu/pub/scheme-repository/doc/pubs/iucstr355.ps.gz
syntax-case "for dummies"ftp://ftp.cs.indiana.edu/pub/scheme-repository/doc/pubs/iucstr356.ps.gz
Is the current crop of statically typed languages giving static typing a bad name?ftp://ftp.cs.kun.nl/pub/Clean/Clean20/doc/CleanRep2.0.pdf
Trivia: Programming Language Naming Patternsftp://ftp.cs.kun.nl/pub/Clean/papers/1987/brut87-Clean.ps.gz
Domain-specific and general-purpose aspects of spreadsheet languagesftp://ftp.cs.kun.nl/pub/Clean/papers/1995/hoow95-FunSheet-JFP.ps.gz
Clean and Haskell comparedftp://ftp.cs.kun.nl/pub/Clean/papers/cleanbook/
Reflections on reflection - Henk Barendregtftp://ftp.cs.kun.nl/pub/CompMath.Found/biologen.pdf
Reflections on reflection - Henk Barendregtftp://ftp.cs.kun.nl/pub/CompMath.Found/honours.pdf
Fixing Java Threadingftp://ftp.cs.nyu.edu/pub/gnat/jgnat/papers/ada-java-concurrency-comparison.pdf
Playing with the GNAT Run Timeftp://ftp.cs.nyu.edu/pub/gnat
End Users to Shape Effective Softwareftp://ftp.cs.orst.edu/pub/burnett/vlhcc04.gender.pdf
While on the topic of generic programmingftp://ftp.cs.rpi.edu/pub/stl/genprog.ps.Z
Best PL tutorials?ftp://ftp.cs.ualberta.ca/pub/smillie/jcomp.pdf
Best PL tutorials?ftp://ftp.cs.ualberta.ca/pub/smillie/jcomp.ps
Uniprocessor Garbage Collection Techniquesftp://ftp.cs.utexas.edu/pub/garbage/bigsurv.ps
Unix as programming languageftp://ftp.cs.wisc.edu/pub/paradyn/technical_papers/fuzz-revisited.ps
Object-oriented programming and protected objectsftp://ftp.cs.york.ac.uk/papers/rtspapers/R:Wellings:2000.ps
System programming using FPftp://ftp.cs.york.ac.uk/pub/malcolm/embeddedGofer.tar.Z
System programming using FPftp://ftp.cs.york.ac.uk/pub/malcolm/thesis.html
Fun: HaWiki Quotes Pageftp://ftp.cse.ogi.edu/pub/pacsoft/papers/haskell99.ps
BUT... Haskell!ftp://ftp.dcs.gla.ac.uk/pub/pj-lester-book/pjlester-1.11.tar.Z
Implementing Functional Languages (BUT...)ftp://ftp.dcs.gla.ac.uk/pub/pj-lester-book/pjlester-1.11.tar.Z
Parallel Functional Programming: An Introductionftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/parallel-introduction.ps.Z
Sequentiality and the Pi-Calculusftp://ftp.dcs.qmul.ac.uk/lfp/martinb/tlca01-full.ps.gz
Bruce Eckel on Java genericsftp://ftp.di.ens.fr/pub/users/castagna/covariance.ps.Z
Techniques for JIT (parallel?) compilation of straight line numerical codeftp://ftp.dina.kvl.dk/pub/Staff/Peter.Sestoft/pepm94-proceedings/berlin.ps.gz
G. Castagna. Covariance and contravariance: conflict withoutftp://ftp.ens.fr/pub/dmi/users/castagna/covariance.ps.Z
Why Are ALL Programming Languages So Low Level?ftp://ftp.geoinfo.tuwien.ac.at/navratil/HaskellTutorial.pdf
Crenshaw: Let's build a compilerftp://ftp.iecc.com/pub/file/lets_build_a_compiler.zip
Let's make a programming language!ftp://ftp.inf.ethz.ch/pub/publications/dissertations/th11024.ps.gz
Flexible Addition of Static Typing to Dynamically Typed Programsftp://ftp.inf.ethz.ch/pub/software/Oberon/OberonV4/Docu/ModToOberon.ps.gz
Revisiting coroutinesftp://ftp.inf.puc-rio.br/pub/docs/techreports/04_04_moura.pdf
Revisiting coroutinesftp://ftp.inf.puc-rio.br/pub/docs/techreports/04_15_moura.pdf
A Typeful Approach to Object-Oriented Programming with Multiple inheritanceftp://ftp.inria.fr/INRIA/Projects/cristal/Didier.Remy/tacs94.ps.gz
The Java™ specs in a formal wayftp://ftp.javasoft.com/docs/specs/langspec-2.0.pdf
Mechanizing the Development of Softwareftp://ftp.kestrel.edu/pub/papers/smith/marktoberdorf.ps
Pragmatic Programmers Interviewftp://ftp.linux.org.uk/pub/lisp/cmucl/doc/cmu-user/compiler.html#toc110
Types in CMUCLftp://ftp.linux.org.uk/pub/lisp/cmucl/doc/cmu-user/compiler.html#toc110
Oz newsftp://ftp.lri.fr/LRI/soft/demons/mozart
Server-side scripting languagesftp://ftp.mandrakesoft.com/pub/pixel/critiques-pliant
Getting Startedftp://ftp.mimuw.edu.pl/People/urzy/ch.ps.gz
Graphviz: Programmable Graph Editorftp://ftp.research.att.com/dist/drawdag/dg.gz
Lambda Prologftp://ftp.research.bell-labs.com/dist/felty/lprolog97.ps.gz
An Overview of the Singularity Projectftp://ftp.research.microsoft.com/pub/tr/TR-2005-135.pdf
SNOBOL Tutorial and Referenceftp://ftp.snobol4.com/
Imperative and Functional Suffix Tree Constructionsftp://ftp.uni-bielefeld.de/pub/papers/techfak/pi/ToAppearInSCP25No2-3.ps.gz
Gamma formalismftp://ftp-sop.inria.fr/mimosa/personnel/gbo/rex.ps
Vesta System Description Languageftp://gatekeeper.research.compaq.com/pub/DEC/SRC/research-reports/SRC-168.pdf
Ralf Hinze: An algebra of scansftp://iml.univ-mrs.fr/pub/lafont/circuits.ps.gz
Nets: Petri vs Lafontftp://iml.univ-mrs.fr/pub/lafont/combinators.ps.Z
Introduction to computability logicftp://iml.univ-mrs.fr/pub/lafont/combinators.ps.Z
Interval Datatypeftp://interval.louisiana.edu/pub/interval_math/papers/papers-of-Kearfott/Euromath_bulletin_survey_article/survey.ps
A Declarative Model for Simple Narrativesftp://juno.eecs.tulane.edu/pub/lang/
J and K: One User's Viewftp://lmd.univ-mrs.fr/pub/girard/0.ps.gz
J and K: One User's Viewftp://lmd.univ-mrs.fr/pub/girard/Synsem.ps.gz
Mark-sweep vs. copying collectionftp://parcftp.xerox.com/pub/gc/complexity.html
Anyone remember Russell (the language, that is)?ftp://parcftp.xerox.com/pub/russell/
Research Papersftp://publications.ai.mit.edu/ai-publications/0-499/AIM-353.ps
NULLftp://publications.ai.mit.edu/ai-publications/0-499/AIM-353.ps
Lambda the Ultimateftp://publications.ai.mit.edu/ai-publications/0-499/AIM-353.ps
NULLftp://publications.ai.mit.edu/ai-publications/0-499/AIM-379.ps
Research Papersftp://publications.ai.mit.edu/ai-publications/0-499/AIM-379.ps
Lambda the Ultimateftp://publications.ai.mit.edu/ai-publications/0-499/AIM-379.ps
Nets: Petri vs Lafontftp://publications.ai.mit.edu/ai-publications/1500-1999/AITR-1627.ps
Implementing Distributed Systems Using Linear Namingftp://publications.ai.mit.edu/ai-publications/1500-1999/AITR-1627.ps
Domain-Specific Languages: An Annotated Bibliographyftp://publications.ai.mit.edu/ai-publications/500-999/AITR-595.ps
SERIESftp://publications.ai.mit.edu/ai-publications/pdf/AIM-1082.pdf
Invocations as objectsftp://publications.ai.mit.edu/ai-publications/pdf/AIM-410.pdf
Why do they program in C++?ftp://publications.ai.mit.edu/ai-publications/pdf/AIM-514.pdf
A Core Calculus for Scala Type Checkingftp://publications.ai.mit.edu/ai-publications/pdf/AIM-602.pdf
Reading, Writing, and Codeftp://publications.ai.mit.edu/ai-publications/pdf/AITR-794.pdf
20 Years of PLDI (1979 - 1999): A Selectionftp://reports.stanford.edu/pub/cstr/reports/cs/tr/73/403/CS-TR-73-403.pdf
Parsing in Lisp and Camlftp://samaris.tunes.org/pub/food/papers/people/Henry.Baker/hbaker/Prag-Parse.html
Patterns for teaching Patternsftp://st.cs.uiuc.edu/pub/patterns/papers/documenting-frameworks.ps
NULLftp://st.cs.uiuc.edu/Smalltalk/Squeak/docs/OOPSLA.Squeak.html
Language Design Documentsftp://st.cs.uiuc.edu/Smalltalk/Squeak/docs/OOPSLA.Squeak.html
Jef Raskin: The Woes of IDEsftp://www.laputan.org/pub/papers/opdyke-thesis.pdf
Bruce Eckel: Why I Love Pythonftp://www.mindview.net/pub/eckel/LovePython.zip
RDF query language interpreterhttp://139.91.183.30:8999/RQLdemo/
RDF query language interpreterhttp://139.91.183.30:9090/RDF/RQL/
SPARQL Query Language for RDFhttp://139.91.183.30:9090/RDF/RQL
"Your" RDF Query Languagehttp://139.91.183.30:9090/RDF/RQL
RDF and Databaseshttp://139.91.183.30:9090/RDF/RSSDB/
PLT Spy - Python in Schemehttp://155.33.117.141:20080/servlets/spy-web/python-web.scm?page=home
2005 Bloggieshttp://2005.bloggies.com/
Fission for Program Comprehensionhttp://2005.ecoop.org/8.html
XLinq: XML Programming Refactored (The Return Of The Monoids)http://2005.xmlconference.org/
The Sound of Silencehttp://216.218.185.154/articles/AT7639810648.html
Edsger Wybe Dijkstra (1930-2002)http://216.239.33.100/search?q=cache:lOfUWfaNbSIC:www.brics.dk/~cw97/ProceedingS/06.ps.gz++site:www.brics.dk+The+Discoveries+of+Continuations++reynolds&hl=en&ie=UTF-8
The Needle Programming Languagehttp://216.239.51.100/search?q=cache:xCFa3I2AgtcC:www.byte.com/documents/s%3D505/BYT20001214S0006/index3.htm++site:www.byte.com+%22Jon+Udell%22+JVM&hl=en&ie=UTF-8
Embedding Lisp/Logic for Roboticshttp://4c.ucc.ie/web/index.jsp
Revisiting an old thread: choosing a foundation languagehttp://6004.lcs.mit.edu/
SICP lectures onlinehttp://64.64.103.140/ind.html#1986
Effect Systems?http://66.102.7.104/search?q=cache:fKeqWj8nPOgJ:pag.csail.mit.edu/reading-group/lucassen88effects.pdf+Lucassen+Gifford+%22Polymorphic+effect+systems%22&hl=en
ILC2002 Proceedings and Videoshttp://67.43.1.143/files/
According to Allen Holub programming is now a liberal art. When did this happen?http://68.236.189.240/fullcolumn/column-20050315-01.html
Prototype based OOhttp://72.14.203.104/search?q=cache:M3b9maHvD2oJ:www.helsinki.fi/~jppesone/papers/kandi.html+prototype+based+languages%22+psychological&hl=en
Is "post OO" just over?http://72.14.205.104/search?q=cache:iXlA43fddQ8J:www.sable.mcgill.ca/~ebodde/meta/+stratified+aspects&hl=en&gl=ca&ct=clnk&cd=1
Termite: a Lisp for Distributed Computinghttp://72.14.253.104/search?q=cache:u9lXQHkwIKQJ:www.erlang.se/euc/03/proceedings/0900Mike.ppt+erlang+transactions&hl=en&gl=us&ct=clnk&cd=5
Ivory Towers and Gelfand's Principlehttp://abaris.zoo.cs.uu.nl:8080/wiki/pub/Afp/CourseSchedule/AFP-wxhaskell.pdf
Which Java compiler for a student/research project?http://abc.comlab.ox.ac.uk/introduction
Tomorrow and Tomorrow and Tomorrowhttp://abcnews.go.com/sections/scitech/WhosCounting/whoscounting010831.html
J-SEAL2http://abone.unige.ch/jraf/
Byte Code Engineering Libraryhttp://abone.unige.ch/overview.htm
New Paul Graham thing...http://abridgegame.org/darcs/
Programming: 50, 100 years from nowhttp://abridgegame.org/darcs/
Darcshttp://abridgegame.org/darcs
First JDO implementationhttp://access1.sun.com/jdo/
First JDO implementationhttp://access1.sun.com/jdo
Alan Kay: The Early History of Smalltalkhttp://accesscom.com/~darius/EarlyHistoryST.html
Sugar project?http://accesscom.com/~darius/hacks/indent.tar.gz
DPROGhttp://accesscom.com/~darius/hacks/screenfuls/screen3.html
Programming language booksalehttp://accesscom.com/~darius/personal/books.html
Several interesting books for salehttp://accesscom.com/~darius/personal/sale.html
Glowing review of Shared Source CLI Essentialshttp://accesscom.com/~darius/personal/sale.html
Programming language booksalehttp://accesscom.com/~darius/personal/sale.html
Zero Button Testinghttp://accesscom.com/~darius/tmp/zbt_app.sit
Python 2.5a1 releasedhttp://accu.org/index.php/conferences/2006
DPROGhttp://acl.ldc.upenn.edu/J/J91/J91-1004.pdf
ACM Queue: A Conversation with Steve Ross-Talbothttp://acmqueue.com/modules.php?name=Content&pa=showpage&pid=370
J2MEhttp://acmqueue.com/modules.php?name=Content&pa=showpage&pid=383
ACM Queue: A Conversation with Steve Ross-Talbothttp://acmqueue.com/modules.php?name=Content&pa=showpage&pid=392
Building Collaboration into IDEshttp://acmqueue.com/modules.php?name=Content&pa=showpage&pid=104&page=1
Fun and Games with Multi-Language Developmenthttp://acmqueue.com/modules.php?name=Content&pa=showpage&pid=116
Simulators: Virtual Machines of the Past (and Future)http://acmqueue.com/modules.php?name=Content&pa=showpage&pid=172&page=1
ACM Queue: Schizoid Classeshttp://acmqueue.com/modules.php?name=Content&pa=showpage&pid=205
ACM Queue: There's Still Some Life Left in Adahttp://acmqueue.com/modules.php?name=Content&pa=showpage&pid=221
ACM Queue: Languages, Levels, Libraries, and Longevityhttp://acmqueue.com/modules.php?name=Content&pa=showpage&pid=245&page=1
ACM Queue: How Not to Write FORTRAN in Any Languagehttp://acmqueue.com/modules.php?name=Content&pa=showpage&pid=271
ACM Queue: A Conversation with Alan Kayhttp://acmqueue.com/modules.php?name=Content&pa=showpage&pid=273
ACM Queue: Security Problem Solved?http://acmqueue.com/modules.php?name=Content&pa=showpage&pid=311
Overloading - Syntactic Heroin?http://acmqueue.com/modules.php?name=Content&pa=showpage&pid=315
ACM Queuecast: systems on a chiphttp://acmqueue.com/modules.php?name=Queuecasts&id=5
We are not the only ones doing it...http://acmqueue.org/modules.php?name=Content&pa=showpage&pid=160
Why do they program in C++?http://activemq.codehaus.org
"Popular vs. Good" in Programming Languageshttp://activemq.codehaus.org
Case Study in Practical Language Usehttp://activemq.codehaus.org
Database Abstraction Layers and Programming Languageshttp://activerecord.rubyonrails.org/show/HomePage
Fortress focuses on the needs of scientistshttp://acts.nersc.gov/pooma
Programming Language Use Breakdownhttp://adaic.org/AdaIC/docs/lang_survey/html/lang_survey.html
Why do they program in C++?http://adamconnor.org/?p=15
Ars Digita ( http://aduni.org ) Study Grouphttp://aduni.org
Cross-language future of open source desktopshttp://advogato.org/article/222.html
Functional programming in Javahttp://advogato.org/article/624.html#37
Journals and papers?http://advogato.org/person/chalst/diary.html?start=85
Functional programming in Javahttp://advogato.org/person/exa/
Open Source Developer Rankings & Their Applicationshttp://advogato.org
Common Lisp Cookbookhttp://agharta.de/cookbook/
Functional programming and software engineeringhttp://agilemanifesto.org/principles.html
AI: A Modern Approach -- In Pythonhttp://ai.fri.uni-lj.si/~aleks/orng/
Lisp is sinhttp://aima.cs.berkeley.edu/
logic/constraint/relational programming?http://aima.cs.berkeley.edu/
Distributed Functional Programminghttp://aima.cs.berkeley.edu/python/readme.html
The SkyNet Virus: Why it is Unstoppable; How to Stop ithttp://aima.cs.berkeley.edu
Haskell for C Programmershttp://alarmingdevelopment.org/?p=5
First Class Copy & Pastehttp://alarmingdevelopment.org/
subtext: Uncovering the simplicity of programminghttp://alarmingdevelopment.org/index.php?p=5
OOPSLA 2005 Reportshttp://alarmingdevelopment.org/index.php?p=5
Xactium -- "lightweight language engineering" ??!?http://albini.xactium.com/content/index.php?option=com_frontpage&Itemid=1
Xactium -- "lightweight language engineering" ??!?http://albini.xactium.com/content/index.php?option=com_remository&Itemid=28&func=fileinfo&parent=category&filecatid=10
Xactium -- "lightweight language engineering" ??!?http://albini.xactium.com/content/index.php?option=content&task=view&id=8&Itemid=40
Have scripting languages peaked?http://alek.xspaces.org/2004/11/07/tomcat-aio-nio-and-seda
OCaml, an Introductionhttp://aleph.bravepages.com/ocaml.html
Introduction to computability logichttp://alessio.guglielmi.name/res/cos/
The three dimensions of proofshttp://alessio.guglielmi.name/res/cos/
Open problems in category theory and computing sciencehttp://alessio.guglielmi.name/res/cos/crt.html
In the beginning was game semanticshttp://alessio.guglielmi.name/res/index.html
Oberon Script. A Lightweight Compiler and Runtime System for the Webhttp://alex.ability.ru/scheme.html
Basic(er) Simple(r) Type Theory(?)http://algo.inria.fr/flajolet/Publications/AnaCombi1to9.pdf
what are the differences between erlang process and pthread threads?http://alioth.debian.org/forum/forum.php?thread_id=2340&forum_id=999
Why type systems are interestinghttp://alioth.debian.org/projects/shootout
What do you believe about Programming Languages (that you can't prove (yet))?http://alistair.cockburn.us/crystal/articles/cpanfocisd/characterizingpeopleasnonlinear.html
What are the real benefits of FP?http://alistair.cockburn.us/crystal/articles/cpanfocisd/characterizingpeopleasnonlinear.html
DSL for blog aggregatorshttp://allconsuming.net
Functional programming and software engineeringhttp://alloy.lcs.mit.edu/
ACM Queue: A Conversation with Alan Kayhttp://alloy.mit.edu/beta
Abstracting Allocation: The New new Thinghttp://alloy.mit.edu/faq.php
unchecked exceptions are like runtime type checking?http://alloy.mit.edu/tutorial3/alloy-tutorial.html
Alloy: A Simple Structural Modeling Language Based on First-Order Logichttp://alloy.mit.edu
A Formal Model for an Expressive Fragment of XSLThttp://alpha.luc.ac.be/~fneven/publs.html
PythonCardPrototype release 0.6.2http://altis.manilasites.com/2002/01/16
Description Logics in Literate Haskellhttp://alu.cliki.net/AudioVideo#sicp
History: Array languageshttp://alu.cliki.net/implementation
New Paul Graham thing...http://alu.cliki.net/lisp-user-meeting-amsterdam-april-2004#compiler-macro
Ian Bicking: The challenge of metaprogramminghttp://alu.cliki.net/lisp-user-meeting-amsterdam-april-2004
Description Logics in Literate Haskellhttp://alu.cliki.net/Paper#chineual
Macros vs. Higher-order Programminghttp://alu.cliki.net/Thomas%20F%20Burdick's%20Road%20to%20Lisp
Case Study in Practical Language Usehttp://alua.inf.puc-rio.br/
Google stops indexing these servershttp://andrea.editthispage.com/discuss/msgReader$2103#2107
In the beginning was game semanticshttp://antares.math.tau.ac.il/~aa/articles/hypersequents.pdf
Programming as Relaxation: Ant Warshttp://ant-wars.com/match.php?red=89&black=88&world=fair.world&ladderSeed=1&visualizer=yes
Programming as Relaxation: Ant Warshttp://ant-wars.com
Language Independent Arithmetic (LIA-2)http://anubis.dkuug.dk/JTC1/SC22/WG11/docs/n462.pdf
Language Design Documentshttp://anubis.dkuug.dk/jtc1/sc22/wg21/docs/papers/
Feature wishes may be grantedhttp://anubis.dkuug.dk/jtc1/sc22/wg21/docs/papers/
NULLhttp://anubis.dkuug.dk/jtc1/sc22/wg21/docs/papers/
The New C++: Trip Report, October 2002http://anubis.dkuug.dk/jtc1/sc22/wg21/docs/papers/2002/n1403.pdf
Macros for C++?http://anubis.dkuug.dk/jtc1/sc22/wg21/docs/papers/2003/n1471.pdf
Concept programminghttp://anubis.dkuug.dk/jtc1/sc22/wg21/docs/papers/2003/n1483.pdf
Concepts: Design choices for template argument checkinghttp://anubis.dkuug.dk/jtc1/sc22/wg21/docs/papers/2003/n1510.pdf
Concepts: Design choices for template argument checkinghttp://anubis.dkuug.dk/jtc1/sc22/wg21/docs/papers/2003/n1522.pdf
Real Time Processinghttp://anubis.dkuug.dk/JTC1/SC22/WG9/n359.pdf
It's the language, stupid. Or is it?http://aom.nachbaur.com/
AspectC#http://aosd.dsg.cs.tcd.ie/AspectCSharp/AspectCSharpHomepage.htm
AOP blog and aosd discussionhttp://aosd.net/pipermail/discuss_aosd.net/2005-April/thread.html#1500
Packaging Data And Methodshttp://aosd.net
AP5: A declaritive language extension to Common Lisphttp://ap5.com/
Apache vs. Yawshttp://apache.org/
Python's Beachhead in OpenOffice: PyUNOhttp://api.openoffice.org/docs/DevelopersGuide/ProfUNO/ProfUNO.htm
JDO Architectureshttp://appft1.uspto.gov/netacgi/nph-Parser?Sect1=PTO2&Sect2=HITOFF&p=1&u=%2Fnetahtml%2FPTO%2Fsearch-bool.html&r=1&f=G&l=50&co1=AND&d=PG01&s1=shappir&OS=shappir&RS=shappir
AppleScript - a story worth tellinghttp://appscript.sourceforge.net/
Parallel Programming with Matrix Distributed Processinghttp://aps.arxiv.org/abs/hep-lat/0505005
Apache vs. Yawshttp://araneida.telent.net/docs/index.html
Richard Hamming: You and Your Researchhttp://archive.adaic.com/standards/83rat/html/ratl-12.html
CSP for Chttp://archive.adaic.com/standards/83rat/html/ratl-13-03.html
Handling multiple concurrent exceptions in C++ using futureshttp://archive.adaic.com/standards/83rat/html/ratl-14-04.html
Whither Sather ?http://archive.adaic.com/standards/95lsn/
Region-Based Model Abstractionhttp://archive.adaic.com/standards/ada95.html
Concurrencyhttp://archive.comlab.ox.ac.uk/csp.html
Concurrent OCamlhttp://archive.comlab.ox.ac.uk/csp.html
PROLAC: Language for protocol compilationhttp://archive.comlab.ox.ac.uk/formal-methods/estelle.html
Udell: Test before you leap into developmenthttp://archive.comlab.ox.ac.uk/z.html
Alloy: A Lightweight Object Modelling Notationhttp://archive.comlab.ox.ac.uk/z/
Simpler representation of operational semantics?http://archive.cs.uu.nl/pub/RUU/CS/techreps/CS-2002/2002-022.pdf
Parrot In Detailhttp://archive.develooper.com/perl6-internals@perl.org/msg09812.html
The New C++: Trip Report, October 2002http://archive.devx.com/cplus/free/articles/dkhs41602/dkhs2-2.asp
Small Time Languageshttp://archive.devx.com/free/hotlinks/2002/ednote022002/ednote022002.asp
2001 -- The Year When DotGNU Was Bornhttp://archive.dotgnu.org/pipermail/developers/2002-January/001599.html
Why Objects Have Failedhttp://archive.eiffel.com/doc/manuals/technology/bmarticles/computer/idea/page.html
Best PL tutorial/intro?http://archive.eiffel.com/doc/oosc/
Why is Ada Special?http://archive.eiffel.com/doc/oosc/
MultiJava: Design, implementation, and evaluationhttp://archives.cs.iastate.edu/documents/disk0/00/00/02/53/
General Purpose Cellular Automata Programminghttp://archives.cs.iastate.edu/documents/disk0/00/00/02/73/
Events and Continuationshttp://archives.real-time.com/pipermail/cocoon-devel/2003-June/016105.html
Events and Continuationshttp://archives.real-time.com/pipermail/cocoon-devel/2003-October/020448.html
Guido: Language Design Is Not Just Solving Puzzleshttp://archjava.fluid.cs.cmu.edu
What is Universal about the Representation of Color Experience?http://aris.ss.uci.edu/cogsci/personnel/kjameson/CultCog8.pdf
Realistic Functional Programming in the Java Platformhttp://armedbear.org/abcl.html
Joe Armstrong's Bloghttp://armstrongonsoftware.blogspot.com/
Building a Modern Computer From First Principleshttp://arraydesign.com/downloads/index.html
More sites like Lambdahttp://arsmath.net/
More sites like Lambdahttp://arsmathematica.net/
Programming as if Performance Matteredhttp://arstechnica.com/cpu/004/pentium-m/pentium-m-1.html
Dynamic Programming Languages + VLIW/EPIChttp://arstechnica.com/cpu/1q99/ia-64-preview-1.html
The new old or The "Return" to Concurrencyhttp://arstechnica.com/guides/other/msh.ars
Microsoft Command Shell (msh)http://arstechnica.com/guides/other/msh.ars
New Chip Heralds a Parallel Futurehttp://arstechnica.com/news.ars/post/20050124-4551.html
Compiler Technology for Scalable Architectureshttp://arstechnica.com/news.ars/post/20060225-6265.html
PeakStream - a multi-core stream processing modelhttp://arstechnica.com/news.ars/post/20060918-7763.html
New Chip Heralds a Parallel Futurehttp://arstechnica.com/reviews/1q00/playstation2/ee-1.html
Chemistry, Graph Tranformation and Programming Languageshttp://arstechnica.com/reviews/2q00/dna/dna-1.html
Virtual Machines, Language Runtimes, and the Future of Objective Chttp://arstechnica.com/staff/fatbits.ars/2005/10/3/1412
Virtual Machines, Language Runtimes, and the Future of Objective Chttp://arstechnica.com/staff/fatbits.ars/2005/9/27/1372
Virtual Machines, Language Runtimes, and the Future of Objective Chttp://arstechnica.com/staff/fatbits.ars/2005/9/30/1393
Future of software design?http://arti.vub.ac.be/~steels/
What do you believe about Programming Languages (that you can't prove (yet))?http://arti.vub.ac.be/~steels/
Notes from a Concurrency-Oriented Junkiehttp://article.gmane.org/gmane.comp.lang.erlang.general/7694
The Glasgow Haskell Compiler Survey - GHC needs your feedback!http://article.gmane.org/gmane.comp.lang.haskell.general/11374
Haskell for C Programmershttp://article.gmane.org/gmane.comp.lang.haskell.general/11393
Can a dynamically typed language support type inference?http://article.gmane.org/gmane.comp.lang.haskell.general/14088
Closures for Java or money backhttp://article.gmane.org/gmane.comp.lang.lightweight/2274
Generalized Algebraic Data Types and Object-Oriented Programminghttp://article.gmane.org/gmane.comp.lang.scala/1613
Design Patterns as Higher-Order Datatype-Generic Programs.http://article.gmane.org/gmane.comp.lang.scala/2039
SICP Translationshttp://article.gmane.org/gmane.comp.lang.scala/2815
Sun Open Sources Java Platformhttp://article.gmane.org/gmane.comp.lang.scala/2826
Functional programming in Javahttp://article.gmane.org/gmane.comp.lib.boost.announce/45
Apple: procedural -> OO -> AOP -> advanced proceduralhttp://article.gmane.org/gmane.comp.lib.boost.devel/146501/
GvR: Rejecting the J2 decorators proposalhttp://article.gmane.org/gmane.comp.python.devel/63486
The Next Mainstream Programming Languageshttp://article.gmane.org/gmane.games.devel.sweng/5845
Transparent Persistencehttp://article.gmane.org/gmane.os.unununium.devel/527
Journal "Logical Methods in CS"http://article.gmane.org/gmane.science.mathematics.prooftheory/226
How To Read a Paperhttp://artificeeternity.com/bookofsand/
Impedance mismatch: RDBMS and PLshttp://arxiv.org/abs/cs.LO/0106035
Introduction to computability logichttp://arxiv.org/abs/cs.LO/0407054
In the beginning was game semanticshttp://arxiv.org/abs/cs.LO/0507045
An Operational Foundation for Delimited Continuations in the CPS Hierarchyhttp://arxiv.org/abs/cs.LO/0508048
Process calculi for transactionshttp://arxiv.org/abs/cs.LO/0610137
Tom 2.4 Releasedhttp://arxiv.org/abs/cs.PL/0601019
Toward an architecture for quantum programminghttp://arxiv.org/abs/cs/0103009
In the beginning was game semanticshttp://arxiv.org/abs/math.LO/0506553
The logic of communicating on channelshttp://arxiv.org/abs/math/0312422
Amusing questionhttp://arxiv.org/abs/q-alg/9702014
Towards Applicative Relational Programminghttp://arxiv.org/pdf/cs.PL/0602099
XLANG and WSFL: Syntactic Arsenichttp://asdl.sourceforge.net/
Why type systems are interesting - part IIhttp://ase.arc.nasa.gov/people/venet/
Why type systems are interesting - part IIhttp://ase.arc.nasa.gov/people/venet/lomaps96.ps
Eiffel Studio adds GPL versionhttp://aseigo.blogspot.com
Google Code Searchhttp://asert.arbornetworks.com/2006/10/static-code-analysis-using-google-code-search/
set-based 3-tier Client Server programminghttp://ashish.typepad.com/
What is Universal about the Representation of Color Experience?http://ask.metafilter.com/mefi/12654#220166
Ook?http://ask.slashdot.org/article.pl?sid=05/06/30/1532238
Slashdot asks: "how would you improve SQL?"http://ask.slashdot.org/article.pl?sid=05/11/03/1330216&tid=156&tid=4
Tools for the short hikehttp://ask.slashdot.org/askslashdot/03/02/24/1956237.shtml?tid=156
Slashdot: "Favourite Programming Language Features?"http://ask.slashdot.org/askslashdot/04/07/07/236222.shtml?tid=126&tid=156
SQLXhttp://asktom.oracle.com/~sdillon/rss.html
Persistent functional databaseshttp://asktom.oracle.com/pls/ask/f?p=4950:8:::::F4950_P8_DISPLAYID:36858373078604
Extensible Term Languagehttp://asn1.elibel.tm.fr/
"typed" files OR xml OR meta information for delim. files.http://asn1.elibel.tm.fr/standards/index.htm#applications
"typed" files OR xml OR meta information for delim. files.http://asn1.elibel.tm.fr/xml/finf.htm
Aspect-Oriented Programming with AspectJ™http://aspectj.org/documentation/papersAndSlides/FSE-2000.pps
Aspect-Oriented Programming with AspectJ™http://aspectj.org/servlets/AJSite?channel=documentation&subChannel=papersAndSlides
Automatic Run-time Interface Buildinghttp://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/149878
Mixing paradigms (Python)http://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/220234
Pythologic - Prolog syntax in Pythonhttp://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/303057
A simple equation solver using attribute access and introspectionhttp://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/303396
Cache decorator in python 2.4http://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/325205
Cool Python "spreadsheet"http://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/355045
Defining new infix operators in Pythonhttp://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/384122
Python: Generator methodshttp://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/392154
Python metaprogramming with decoratorshttp://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/393010
Collection of links to monad implementations in various languages.http://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/439361
Tail call elimination decorator in Pythonhttp://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/474088
The Case for First Class Messageshttp://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/52215
Patterns for Scripted Applications and scriptinghttp://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/66531
Common Lisp Cookbookhttp://aspn.activestate.com/ASPN/Cookbook/Python
Language Neutrality and the Java Platformhttp://aspn.activestate.com/ASPN/Mail/Message/language-dev/722505
AOS VMhttp://aspn.activestate.com/ASPN/Mail/Message/language-dev/722505
Python Cookbookhttp://aspn.ActiveState.com/ASPN/Python/Cookbook/
The Sound of Mathematicshttp://au.metamath.org/mpegif/mmmusic.html
Why Johnny can't codehttp://august.penguin.org.il/AUG5/pres-files/E-Learning-2.pps
The new old or The "Return" to Concurrencyhttp://ausweb.scu.edu.au/aw05/papers/refereed/arora/AroraN-PannanL-AUSWEB05.pdf
Automathhttp://automath.webhop.net/
Literature on Programming Languageshttp://avalon.cs.ucdavis.edu/~keen/Papers.html
The solution to all your troubles...http://awaretek.com/atesterea.html
An AWK to C++ Translatorhttp://awka.sourceforge.net/
C++ -> HDLhttp://azur.stanford.edu/~lucs/csynth/
RSS vs. Echohttp://backend.userland.com/2003/06/26#a313
RSS vs. Echohttp://backend.userland.com/rss
Stats?http://badges.userland.com/reports/manila
Barter (design by contract w/ AspectJ)http://barter.sourceforge.net/
Continuations and MicroThreads on Monohttp://bat.org/~tomba/monoco.html
When to create syntax?http://bauhh.dyndns.org:8000/clim-spec/2-9.html#_28
Towards a new model of abstraction in the engineering of softwarehttp://bayes.cs.ucla.edu/BOOK-2K/book_review.html
Bruce Tate: Technologies that may challenge Javahttp://bc.tech.coop/blog/040205.html
Language Workbenches: The Killer-App for Domain Specific Languages?http://bc.tech.coop/blog/050704.html
Objective scientific proof of OOP's validity? Don't need no stinkun' proof.http://bc.tech.coop/blog/050728.html
MIT CADR Source Snapshot Releasedhttp://bc.tech.coop/blog/051002.html
Functional Relational Programming: Out of the tar pithttp://ben.moseley.name/frp/frp.html
Functional Relational Programming: Out of the tar pithttp://ben.moseley.name/frp/paper-v1_01.pdf
SISCwebhttp://benjisimon.blogspot.com/2005/06/siscweb-initial-thoughts.html
Old computer science and technical books worth searching forhttp://bergeron.math.uqam.ca/Species/especes.html
McBride Derivative paperhttp://bergeron.math.uqam.ca/Species/especes.html
Differentiating Data Structureshttp://bergeron.math.uqam.ca/Species/especes.html
Developing Interactive Web Programs (Scheme Servlets)http://beta4.com/seaside2
Events and Continuationshttp://beta4.com/seaside2
Return of the Global Variables?http://beust.com/weblog/archives/000174.html
Why do they program in C++?http://bhavaya.openadaptor.org/intro.html
Chemistry, Graph Tranformation and Programming Languageshttp://bi.snu.ac.kr/~syshin/Research/molecule_comp.html
Organizing papers...http://bibdesk.sourceforge.net/
Frinkhttp://bible.gospelcom.net/cgi-bin/bible?passage=GEN+7:11&version=KJV&language=english&showfn=on&showxref=on&interface=print
Bicycle Repair Man (a refactoring browser for Python)http://bicyclerepair.sourceforge.net/
New proposed features for Java 1.5http://billharlan.com/pub/papers/A_Tirade_Against_the_Cult_of_Performance.html
Chemistry, Graph Tranformation and Programming Languageshttp://bioinfo.uib.es/~cesc/recerca/icgt-rome.pdf
Language Neutrality and the Java Platformhttp://bistro.sourceforge.net/
A Core Calculus for Scala Type Checkinghttp://bistro.sourceforge.net
The fate of reduce() in Python 3000http://bistro.sourceforge.net
ILC2002 Proceedings and Videoshttp://bitconjurer.org/BitTorrent/
Lisp Machine Progress Reporthttp://bitsavers.org/pdf/mit/cadr/chineualJan84/
Holding onto JavaScript's pasthttp://bitworking.org/news/From_trash_to_treasure
Language-Centric Software Developmenthttp://bitworking.org/stories/2002/02/09/languagecentricSoftwareDevelopment.html
Gilad Bracha: Will Continuations continue?http://biz.yahoo.com/prnews/060518/sfth043.html?.v=57
Assembly language for Power Architecturehttp://bkasm.sf.net
JavaScript and domain specific Languageshttp://bknr.net/parenscript
Lisp Machine Manualhttp://bknr.net/static/lmman/areas.xml
Lisp Machine Manualhttp://bknr.net/static/lmman/fd-clo.xml#Closure-Manipulating%20Functions-section
Lisp Machine Manualhttp://bknr.net/static/lmman/fd-con.xml#cdr-code-section
Lisp Machine Manualhttp://bknr.net/static/lmman/fd-sg.xml
Lisp Machine Manualhttp://bknr.net/static/lmman/frontpage.html
Lisp Machine Manualhttp://bknr.net/static/lmman/title.xml
Gosling vs. Dynamic Languageshttp://blade.nagaokaut.ac.jp/cgi-bin/scat.rb/ruby/ruby-core/2958
Closures for Java or money backhttp://blade.nagaokaut.ac.jp/cgi-bin/scat.rb/ruby/ruby-talk/179642
Is Inheritance a Pillar of OO?http://blade.nagaokaut.ac.jp/cgi-bin/scat.rb/ruby/ruby-talk/26814
Language Independent Arithmetic (LIA-2)http://blade.nagaokaut.ac.jp/cgi-bin/scat.rb/ruby/ruby-talk/3109
Lego in PostScripthttp://blah.math.tu-graz.ac.at/~ward/lego/PostScript.html
Human Factors Research On Programming Language Syntaxhttp://blender.org
PyLogohttp://blog.colorstudy.com/ianb/weblog/2003/11/18.html#P37
Prothonhttp://blog.colorstudy.com/ianb/weblog/2004/03/30.html#P77
New CLR Language: Boohttp://blog.colorstudy.com/ianb/weblog/2004/07/16.html#P133
Python, metaprogramming, and macroshttp://blog.colorstudy.com/ianb/weblog/2004/11/21.html#P184
Laszlo - So good, I had to change my underwearhttp://blog.debreuil.com/archive/2004/08/18/376.aspx
Ian Bicking: The challenge of metaprogramminghttp://blog.ianbicking.org/respecting-the-programmer
Ian Bicking: The challenge of metaprogramminghttp://blog.ianbicking.org/the-challenge-of-metaprogramming.html
Ian Bicking: The challenge of metaprogramminghttp://blog.ianbicking.org/the-challenge-of-metaprogramming-comment-4.html
Connecting The Dotshttp://blog.ianbicking.org/thoughts-on-ruby-on-rails.html
Connecting The Dotshttp://blog.ianbicking.org/what-really-makes-rails-work.html
The long tail of programming languageshttp://blog.intentionalsoftware.com/intentional_software/2005/04/the_long_tail_o.html
Return of the Global Variables?http://blog.lab49.com/?p=172
Introduction to E4Xhttp://blog.leetspeak.org/archives/2004/01/18/xml-hack/
Practical OCamlhttp://blog.merjis.com/2006/11/08/practical-ocaml/
Are you using delimited continuations?http://blog.moertel.com/articles/2005/09/13/scope-herding-with-delimited-continuations
The R Projecthttp://blog.moertel.com/articles/2006/01/20/wondrous-oddities-rs-function-call-semantics
Dynamic Software Updating for Chttp://blog.quenta.org/
Dynamic Software Updating for Chttp://blog.quenta.org/2006/04/why-neptune.html
Parser that allow syntax extensionshttp://blog.quenta.org/2006/06/hadrian-demo.html
PyPyhttp://blog.zenspider.com/
DSL for blog aggregatorshttp://blogdex.media.mit.edu/
line breaks?http://bloglines.com/preview?siteid=1217255#article-1217255-7843
line breaks?http://bloglines.com/preview?siteid=1217255
Code Generation with Python, Cog, and Nanthttp://blogs.acceleration.net/ryan/articles/577.aspx
Interview with Adam Dunkelshttp://blogs.bl0rg.net/netzstaub/archives/000493.html
A Lisp to JavaScript Compiler in 100 Lineshttp://blogs.bl0rg.net/netzstaub/archives/000525.html
JavaScript and domain specific Languageshttp://blogs.bl0rg.net/netzstaub/archives/000525.html
First WinFx "application" written in SMLhttp://blogs.gotdotnet.com/BradA/
The Revised C++ Language Design Supporting .NEThttp://blogs.gotdotnet.com/brada
The Revised C++ Language Design Supporting .NEThttp://blogs.gotdotnet.com/branbray
Weblog on CLR Implementationhttp://blogs.gotdotnet.com/cbrumme/
CLR Memory Modelhttp://blogs.gotdotnet.com/cbrumme/PermaLink.aspx/480d3a6d-1aa8-4694-96db-c69f01d7ff2b
Hugunin's IronPythonhttp://blogs.gotdotnet.com/cbrumme/PermaLink.aspx/56dd7611-a199-4a1f-adae-6fac4019f11b
ATC in Ada and in Real Time Java (RTSJ)http://blogs.gotdotnet.com/cbrumme/PermaLink.aspx/68bb6af0-d15f-44fd-b6a7-41926c415cc4
CLR Exception Modelhttp://blogs.gotdotnet.com/cbrumme/PermaLink.aspx/d5fbb311-0c95-46ac-9c46-8f8c0e6ae561
The Revised C++ Language Design Supporting .NEThttp://blogs.gotdotnet.com/cbrumme
Guest Bloggers on LtU?http://blogs.gotdotnet.com/cbrumme
Thoughts From The Headhttp://blogs.gotdotnet.com/emeijer/
Erik Meijer on LtUhttp://blogs.gotdotnet.com/emeijer/
Is it time for another guest blogger?http://blogs.gotdotnet.com/emeijer/
Guest Bloggers on LtU?http://blogs.gotdotnet.com/emeijer/
Visual Basic Programmers Love Anamorphismshttp://blogs.gotdotnet.com/emeijer/PermaLink.aspx/30391acc-49e2-4365-ad1d-2d287ef64460
Erik Meijer: Visual Basic Programmers Love Anamorphismshttp://blogs.gotdotnet.com/emeijer/PermaLink.aspx/30391acc-49e2-4365-ad1d-2d287ef64460
Tuples + Objects + Infosets =Too Much Stuff!http://blogs.gotdotnet.com/emeijer/PermaLink.aspx/51847cf6-6a9d-4ba4-ba4c-73eef9b265b1
Meijer: On The (Non) Value of Programming Language Researchhttp://blogs.gotdotnet.com/emeijer/PermaLink.aspx/c15c9d4c-e0f7-44b6-8de6-e857910940f3
Unifying Tables, Objects and Documentshttp://blogs.gotdotnet.com/emeijer/PermaLink.aspx/dca98581-c453-4601-aac5-0e4ad1af6149
Inside every API is a programming language struggling to get outhttp://blogs.gotdotnet.com/emeijer/PermaLink.aspx/ea13a4da-7421-44af-99e8-fc86de84e29c
Metaclass programming in Python, Part 2http://blogs.gotdotnet.com/emeijer/PermaLink.aspx/eb37226d-25d9-4a3c-bfe8-f26a1137ebc6
Closures and mutabilityhttp://blogs.gotdotnet.com/emeijer/PermaLink.aspx/efe79830-c3b8-46a0-a69e-9705cd74701e
Longhorn Markup Language (code-named "XAML") Overviewhttp://blogs.gotdotnet.com/emeijer/PermaLink.aspx/f0bdf5c8-ec34-4dbb-b51e-6982a93be2e5
C# Language Specification 2.0 drafthttp://blogs.gotdotnet.com/EricGu/permalink.aspx/23fd65e3-8502-43da-9d33-c6f2ca638080
The Revised C++ Language Design Supporting .NEThttp://blogs.gotdotnet.com/ericgu
A VB.NET Critiquehttp://blogs.gotdotnet.com/EricLi/
The JScript Type System, Part Onehttp://blogs.gotdotnet.com/EricLi/commentview.aspx/c23e8719-7dd7-4d57-bb3b-bd2c51baca83
JScript is a Functional Languagehttp://blogs.gotdotnet.com/EricLi/PermaLink.aspx/17d9d5ed-402e-4174-98ab-a2690976756a
JScript is a Functional Languagehttp://blogs.gotdotnet.com/EricLi/PermaLink.aspx/f249659d-a3f1-4f6b-9ca3-3bbcc2df240e
CLR Panel noteshttp://blogs.gotdotnet.com/jasonz/PermaLink.aspx/efae2b1f-61af-4c66-8dbe-dc6b86c20645
First WinFx "application" written in SMLhttp://blogs.gotdotnet.com/marcmill/permalink.aspx/f513664a-38a6-42fe-8089-c6349975563a
Stanley Lippman's C++ Bloghttp://blogs.gotdotnet.com/slippman/
The Revised C++ Language Design Supporting .NEThttp://blogs.gotdotnet.com/slippman/
A VB.NET Critiquehttp://blogs.gotdotnet.com/slippman/
The Revised C++ Language Design Supporting .NEThttp://blogs.gotdotnet.com/slippman/PermaLink.aspx/e234b925-0ea4-4e54-af05-719e17483fba
The Revised C++ Language Design Supporting .NEThttp://blogs.gotdotnet.com/slippman/PermaLink.aspx/e8eb85c5-5bb3-49ba-9053-908d2edcb486
Tim Bray: The History of RDFhttp://blogs.law.harvard.edu/isItTheSyntax
Philip Greenspun: Lisp diehards = Holocaust deniershttp://blogs.law.harvard.edu/philg/2003/09/22#a1844
Scheme on the CLRhttp://blogs.msdn.com/brada/archive/2004/12/02/274150.aspx
Finalization (CLR)http://blogs.msdn.com/cbrumme/archive/2004/02/20/77460.aspx
CLR Hostinghttp://blogs.msdn.com/cbrumme/archive/2004/02/21/77595.aspx
XSLT 2.0 in System.XML V2.0 ?http://blogs.msdn.com/dareobasanjo/archive/2004/05/13/131166.aspx
Lang .NET Symposium Registration Now Openhttp://blogs.msdn.com/dsyme/
Is the .NET platform embracing quotation and macros?http://blogs.msdn.com/dsyme/archive/2006/01/27/FSharpMeetsLinqOne.aspx
Eric Gunnerson on language design at Microsoft (well, sort of)http://blogs.msdn.com/ericgu/archive/2004/01/12/57985.aspx#FeedBack
April Second...http://blogs.msdn.com/ericgu/archive/2004/04/01/105644.aspx
Nullable Typeshttp://blogs.msdn.com/ericgu/archive/2004/05/27/143221.aspx
How an idea becomes a C# language feature?http://blogs.msdn.com/ericgu/archive/2004/06/08/151053.aspx
Eric Gunnerson's JavaOne reporthttp://blogs.msdn.com/ericgu/archive/2004/07/08/177351.aspx
Well, that's one way of doing it...http://blogs.msdn.com/ericgu/archive/2004/08/16/215367.aspx#Feedback
Well, that's one way of doing it...http://blogs.msdn.com/ericgu/archive/2004/08/17/215779.aspx
Generics: The Importance of Wildcardshttp://blogs.msdn.com/ericgu/archive/2005/05/26/422247.aspx
Leak Free Javascript Closureshttp://blogs.msdn.com/ericlippert/archive/2003/09/17/53038.aspx
Metaprogramming, Toast and the Future of Development Toolshttp://blogs.msdn.com/ericlippert/archive/2004/03/04/83981.aspx
Eric Lippert does SimpleScripthttp://blogs.msdn.com/ericlippert/archive/2004/03/29/101254.aspx
Error handling strategieshttp://blogs.msdn.com/ericlippert/archive/2004/08/19.aspx
Error handling strategieshttp://blogs.msdn.com/ericlippert/archive/2004/08/23/218974.aspx
Closures for Java or money backhttp://blogs.msdn.com/ericlippert/archive/2006/03/31/566058.aspx
Lang .NET Symposium Registration Now Openhttp://blogs.msdn.com/hugunin/
CLR Generics and code sharinghttp://blogs.msdn.com/joelpob/archive/2004/11/17/259224.aspx
Visual Basic 9 Interview on DDJhttp://blogs.msdn.com/jroxe/default.aspx
UML and DSLshttp://blogs.msdn.com/keith_short/archive/2004/04/16/114960.aspx
Microsoft and DSLs @ OOPSLAhttp://blogs.msdn.com/keith_short/archive/2004/10/27/248583.aspx
Software Factories at OOPSLA 2005http://blogs.msdn.com/keith_short/archive/2005/10/31/487484.aspx
XLinq: XML Programming Refactored (The Return Of The Monoids)http://blogs.msdn.com/mattwar/archive/2005/09/19/471671.aspx
XSLT 2.0 in System.XML V2.0 ?http://blogs.msdn.com/mfussell/archive/2004/05/13/130969.aspx
eWeek: Sun Digging Deep for Dynamic Language Supporthttp://blogs.msdn.com/mglehman/archive/2006/08/02/LANG_NET_2006_SYMPOSIUM_CONTINUES.aspx
Visual Basic and LINQhttp://blogs.msdn.com/robertco/
Visual Basic 9 Interview on DDJhttp://blogs.msdn.com/robertco/
Towards a Natural Theory of Programming Languageshttp://blogs.msdn.com/slippman/archive/2004/06/02/146730.aspx
Lisp is sinhttp://blogs.msdn.com/sriram/archive/2006/01/15/lisp_is_sin.aspx
Visual Basic 9 Interview on DDJhttp://blogs.msdn.com/vbteam/archive/category/4743.aspx
Visual Basic and LINQhttp://blogs.msdn.com/vbteam/archive/category/4743.aspx
Visual Basic 9 Interview on DDJhttp://blogs.msdn.com/vsdata/
Visual Basic and LINQhttp://blogs.msdn.com/vsdata/
RDF and Databaseshttp://blogs.osafoundation.org/mitch/000092.html
Closures for Java or money backhttp://blogs.sun.com/ahe/entry/full_disclosure
Closures for Java or money backhttp://blogs.sun.com/ahe/entry/non_local_return_and_lexical
F3 - Functional GUI Development for Javahttp://blogs.sun.com/chrisoliver/category/F3
Closures for Java or money backhttp://blogs.sun.com/gbracha/entry/achieving_closure
Strongtalk goes open sourcehttp://blogs.sun.com/gbracha/entry/invokedynamic
Closures for Java or money backhttp://blogs.sun.com/jag/entry/the_black_hole_theory_of
Dtracing Pythonhttp://blogs.sun.com/roller/comments/smg/Weblog/beer_python_and_stuff
Flexible Addition of Static Typing to Dynamically Typed Programshttp://blogs.sun.com/roller/page/gbracha?entry=a_few_ideas_on_type
Closures for Java or money backhttp://blogs.sun.com/roller/page/gbracha?entry=achieving_closure
public vs. published interfaceshttp://blogs.sun.com/roller/page/gbracha?entry=developing_modules_for_development
Invokedynamichttp://blogs.sun.com/roller/page/gbracha?entry=invokedynamic
Gilad Bracha: Will Continuations continue?http://blogs.sun.com/roller/page/gbracha?entry=will_continuations_continue
Gosling vs. Dynamic Languageshttp://blogs.sun.com/roller/page/jag/20060323
Crash-Only Softwarehttp://blogs.sun.com/roller/page/val/20040712#is_b_your_b_software
Closures for Java or money backhttp://blogs.sun.com/roller/resources/ahe/closures.pdf
ActiveOberonhttp://bluebottle.ethz.ch/index.html
ActiveOberonhttp://bluebottle.ethz.ch/languagereport/ActiveReport.pdf
ActiveOberonhttp://bluebottle.ethz.ch/languagereport/index.html
Frege's Contribution to Philosophy of Languagehttp://bobjweil.com/heck/pdf/unpublished/FregeContribution.pdf
VMlambda: A Functional Calculus for Scientific Discoveryhttp://bonsai.ims.u-tokyo.ac.jp/~bannai/publist.html
Static Typing Where Possible, Dynamic Typing When Neededhttp://boo.codehaus.org/
Type inference for Pythonhttp://boo.codehaus.org/
Javascript departmenthttp://boo.codehaus.org/
source code conversionhttp://boo.codehaus.org/
Static Typing Where Possible, Dynamic Typing When Neededhttp://boo.codehaus.org/Boo+AddIn+For+SharpDevelop
Let's make a programming language!http://boo.codehaus.org/BooManifesto.pdf
New CLR Language: Boohttp://boo.codehaus.org/BooManifesto.pdf
Static Typing Where Possible, Dynamic Typing When Neededhttp://boo.codehaus.org/Differences+with+Csharp
Static Typing Where Possible, Dynamic Typing When Neededhttp://boo.codehaus.org/Duck+Typing
Buried Treasure - No Fluff Just Stuffhttp://boo.codehaus.org/Duck+Typing
Static Typing Where Possible, Dynamic Typing When Neededhttp://boo.codehaus.org/Gotchas+for+Python+Users
New CLR Language: Boohttp://boo.codehaus.org/Home
Static Typing Where Possible, Dynamic Typing When Neededhttp://boo.codehaus.org/Syntactic+Macros
Static Typing Where Possible, Dynamic Typing When Neededhttp://boo.codehaus.org/Type+Inference
Buried Treasure - No Fluff Just Stuffhttp://boo.codehaus.org
Want to learn something newhttp://books.google.com/books?id=w-XjuvpOrjMC
Creating applications with Mozillahttp://books.mozdev.org/chapters/
Linguistic side effectshttp://books.pdox.net/Math/Language%20Proof%20and%20Logic.pdf
Creating applications with Mozillahttp://books.slashdot.org/article.pl?sid=02/10/15/0124228&mode=thread&tid=154
SPARK and high integrity softwarehttp://books.slashdot.org/article.pl?sid=04/05/19/190235&mode=thread&tid=126&tid=156&tid=188&tid=192
Parrot In Detailhttp://books.slashdot.org/books/02/06/25/1223234.shtml?tid=156
Virtual Machine Design and Implementation in C/C++http://books.slashdot.org/books/02/06/25/1223234.shtml?tid=156
C++ Templates: The Complete Guidehttp://books.slashdot.org/books/03/03/20/0220248.shtml?tid=192&tid=185&tid=156
Book Review: Purely Functional Data Structureshttp://books.slashdot.org/books/04/02/19/2257203.shtml
SPARK and high integrity softwarehttp://books.slashdot.org/comments.pl?sid=108184&cid=9197735
SPARK and high integrity softwarehttp://books.slashdot.org/comments.pl?sid=108184&cid=9198643
Chu Spaceshttp://boole.stanford.edu/pub/concur02.pdf
Implementing arrayshttp://boost.org/boost/tuple/
The fate of reduce() in Python 3000http://boost.org/doc/html/lambda.html
Is STL algorithms doing damage to the cause?http://boost.org/doc/html/lambda/using_library.html#lambda.introductory_examples
Ivory Towers and Gelfand's Principlehttp://boost.org/doc/html/signals.html
Hungarian Notation vs The Right Thinghttp://boost.org/libs/mpl/doc/tutorial/dimensional-analysis.html
Implementing arrayshttp://boost.org/libs/tuple/doc/tuple_users_guide.html
Exception-Safety in Generic Componentshttp://boost.org/more/generic_exception_safety.html
ACM Queue: A Conversation with Steve Ross-Talbothttp://bpt.hpi.uni-potsdam.de/twiki/pub/Public/PiHypeExample/PiHypeExample.pdf
Gilad Is Righthttp://bracha.org/
eWeek: Sun Digging Deep for Dynamic Language Supporthttp://bracha.org/computationalTheology.html
eWeek: Sun Digging Deep for Dynamic Language Supporthttp://bracha.org/cv.pdf
Reflection in Java: how are they getting with it?http://bracha.org/mirrors.pdf
Gilad Is Righthttp://bracha.org/pluggable-types.pdf
Lang .NET Symposium Registration Now Openhttp://bracha.org/Site/Home.html
2005 Programming Languages Day at Watsonhttp://bracha.org/wildcards.pdf
Adding Wildcards to Javahttp://bracha.org/wildcards.pdf
The new old or The "Return" to Concurrencyhttp://brainop.media.mit.edu/people/bdenckla.html
Inform 7: A relational DSL for interactive fiction with natural language syntaxhttp://brasslantern.org/writers/iftheory/i7observations.html
Poploghttp://breakers.typepad.com/WallySnow.jpg
Concatenative Language Konthttp://brian.mastenbrook.net/display/6
Functional libraries for Javahttp://brinch-hansen.net/papers/1999b.pdf
Promising OS's from a Programming Language Perspectivehttp://brix-os.sourceforge.net/?p0=info&p1=tetra&p2=intro
Promising OS's from a Programming Language Perspectivehttp://brix-os.sourceforge.net/?p0=info
Language design: Escaping escapeshttp://brl.sourceforge.net/brl_4.html#SEC19
Every language you never wanted to knowhttp://brucethegoose.blogspot.com/2004/08/virtual-unknowns-2004-08-23.html
Every language you never wanted to knowhttp://brucethegoose.blogspot.com
Educational Pearl: Automata as Macroshttp://brucio.blogspot.com/
Continuations in Java and Java-based Web Frameworkshttp://bsd.cs.cofc.edu/CommonLisp/WebLogs/ProjectDiary/
Continuations in Java and Java-based Web Frameworkshttp://bsd.cs.cofc.edu/twiki/bin/view/CLJproject/WebHome
Copying, Cloning, and Marshalling in .NEThttp://btobsearch.barnesandnoble.com/textbooks/booksearch/isbninquiry.asp?userid=185VCNNWXJ&btob=Y&isbn=0201657686
Eiffel Studio adds GPL versionhttp://bugs.debian.org/cgi-bin/bugreport.cgi?bug=361001
Closures for Java or money backhttp://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6389769
Early Java: Worse is Better and Meta is Better, Two Lessonshttp://burks.brighton.ac.uk/burks/foldoc/74/64.htm
(Text) Adventures in Prologhttp://burks.bton.ac.uk/burks/language/prolog/amzi/index.htm
Parameterized Unit Testshttp://c2.com/cgi/wiki?AcceptanceTest
Twisted Matrix Networking for Pythonhttp://c2.com/cgi/wiki?AdapterPattern
Transparent Persistencehttp://c2.com/cgi/wiki?AdvantagesOfFunctionalProgramming
Alan Kay to receive Turing Awardhttp://c2.com/cgi/wiki?AlanKayIsTron
Two Languages (high+low level) vs One Languagehttp://c2.com/cgi/wiki?AlternateHardAndSoftLayers
A Proposal For Classifying Tangled Codehttp://c2.com/cgi/wiki?AlternateHardAndSoftLayers
OCaml, an Introductionhttp://c2.com/cgi/wiki?ArgumentsAgainstOop
Future Directions for C++http://c2.com/cgi/wiki?ArraysBreakTypeSafety
Expressivity of lisp/scheme but speed of assembly/C/C++http://c2.com/cgi/wiki?AsFastAsCee
The Case for First Class Messageshttp://c2.com/cgi/wiki?BenefitsOfDynamicTyping
The Dream of a Perfect Languagehttp://c2.com/cgi/wiki?BigDesign
Object Functional Patternshttp://c2.com/cgi/wiki?CategoryObjectFunctionalPatterns
Please help add entries to FreeTechBooks.comhttp://c2.com/cgi/wiki?CategoryOnlineBook
Refactoring Functional Programshttp://c2.com/cgi/wiki?CodeSmells
Python 2.3 Release Schedulehttp://c2.com/cgi/wiki?ComeFrom
Ian Bicking: The challenge of metaprogramminghttp://c2.com/cgi/wiki?ContinuationPassingStyle
Guido: Language Design Is Not Just Solving Puzzleshttp://c2.com/cgi/wiki?CounterInManyProgrammingLanguages
What is so bad about compiling?http://c2.com/cgi/wiki?CpsTransformation
C# Literature and Interviewshttp://c2.com/cgi/wiki?CsharpLiteratureAndInterviews
Pragmatic Programmers Interviewhttp://c2.com/cgi/wiki?DavidThomasOnTheBenefitsOfDynamicTyping
[The Creation of a Constraint-based Programming Language]http://c2.com/cgi/wiki?DeclarativeGuiLanguage
John Vlissideshttp://c2.com/cgi/wiki?DesignPatternsBook
Distributed Functional Programminghttp://c2.com/cgi/wiki?DistributedCoalition
rST - Remote Smalltalkhttp://c2.com/cgi/wiki?DistributedRuby
Let's make a programming language!http://c2.com/cgi/wiki?DocumentMode
newLisp: A better Lisp/Scheme Fusion...http://c2.com/cgi/wiki?EmacsHasQwan
LtU: Style and Focushttp://c2.com/cgi/wiki?EprimeLanguage
What are The Atoms of Programming Languages?http://c2.com/cgi/wiki?EssAndKayCombinators
Ian Bicking: The challenge of metaprogramminghttp://c2.com/cgi/wiki?ExternalizeTheStack
Refactoring Functional Programshttp://c2.com/cgi/wiki?ExtremeNormalForm
Let's make a programming language!http://c2.com/cgi/wiki?FaqMode
Transparent Persistencehttp://c2.com/cgi/wiki?FpVsOo
Aardappel and visual programminghttp://c2.com/cgi/wiki?GraphicalProgramming
Aardappel and visual programminghttp://c2.com/cgi/wiki?GraphicalProgrammingLanguage
Transparent Persistencehttp://c2.com/cgi/wiki?GraphReducer
Parameterized Unit Testshttp://c2.com/cgi/wiki?GuruChecksOutput
Software ideals and historyhttp://c2.com/cgi/wiki?HeInventedTheTerm
The Behavior of Behaviorhttp://c2.com/cgi/wiki?HotDraw
[The Creation of a Constraint-based Programming Language]http://c2.com/cgi/wiki?InventorsParadox
Iteration Abstraction in Satherhttp://c2.com/cgi/wiki?IteratorSemanticsIsWrong
Java Design Flawshttp://c2.com/cgi/wiki?JavaDesignFlaws
10 Reasons We Need Java 3.0http://c2.com/cgi/wiki?JavaThree
New features proposed for Java 1.5 by Sunhttp://c2.com/cgi/wiki?JavaThree
John Vlissideshttp://c2.com/cgi/wiki?JohnVlissides
Mechanics of designing and implementing a languagehttp://c2.com/cgi/wiki?KayLanguage
Impedance mismatch: RDBMS and PLshttp://c2.com/cgi/wiki?KayLanguage
Expressivityhttp://c2.com/cgi/wiki?LanguagesAreOperatingSystems
Liskov Substitution all over againhttp://c2.com/cgi/wiki?LiskovSubstitutionPrinciple
circle "is-a" ellipse: round 42http://c2.com/cgi/wiki?LiskovSubstitutionPrinciple
The Case for First Class Messageshttp://c2.com/cgi/wiki?MainstreamInfluenceOfFunctionalLanguages
Concatenative Language Konthttp://c2.com/cgi/wiki?MeaningfulNames
XLANG and WSFL: Syntactic Arsenichttp://c2.com/cgi/wiki?OnceAndOnlyOnce
Refactoring Functional Programshttp://c2.com/cgi/wiki?OnceAndOnlyOnce
Designing Reusable Classes (PDF)http://c2.com/cgi/wiki?OnceAndOnlyOnce
Stroustrup's C++ Style Sweet Spothttp://c2.com/cgi/wiki?OnlySayThingsThatCanBeHeard
Haskell for C Programmershttp://c2.com/cgi/wiki?OnMonads
OO Best Feature Pollhttp://c2.com/cgi/wiki?OoBestFeaturePoll
Understanding continuationshttp://c2.com/cgi/wiki?OriginalIoLanguage
Udell at OSCON: IronPython newshttp://c2.com/cgi/wiki?ParrotLanguage
Demo of VB "Whidbey"http://c2.com/cgi/wiki?PersonalChoiceElevatedToMoralImperative
Python is... slow?http://c2.com/cgi/wiki?PrematureOptimization
Trivia: Programming Language Naming Patternshttp://c2.com/cgi/wiki?ProgrammingLanguageNamingPatterns
Ian Bicking: The challenge of metaprogramminghttp://c2.com/cgi/wiki?ProperTailRecursion
Python Compared to Other Languageshttp://c2.com/cgi/wiki?PythonIdioms
Python Compared to Other Languageshttp://c2.com/cgi/wiki?PythonPhilosophy
LtU: Style and Focushttp://c2.com/cgi/wiki?PythonVsPerl
A Proposal For Classifying Tangled Codehttp://c2.com/cgi/wiki?RavioliCode
Sinister Scheme Sample Perplexes Python Porterhttp://c2.com/cgi/wiki?RecentChanges
Jef Raskin: The Woes of IDEshttp://c2.com/cgi/wiki?RefactoringBrowserForCplusPlus
XNHTMLhttp://c2.com/cgi/wiki?RestArchitecturalStyle
The Next Move in Programming (Livschitz interview)http://c2.com/cgi/wiki?RightThing
Alan Kay to receive Turing Awardhttp://c2.com/cgi/wiki?search=AlanKay
LtU: Style and Focushttp://c2.com/cgi/wiki?search=sucks
Concepts: Design choices for template argument checkinghttp://c2.com/cgi/wiki?SetsOfRequirements
Sinister Scheme Sample Perplexes Python Porterhttp://c2.com/cgi/wiki?SinisterSchemeSamplePerplexesPythonPorter
Dynamic languages and virtual machineshttp://c2.com/cgi/wiki?SmugLispWeenies
Advantages of Soft Typinghttp://c2.com/cgi/wiki?SoftTyping
Call for Papers: ACM Symposium on Dynamic Languageshttp://c2.com/cgi/wiki?SoftTyping
A Proposal For Classifying Tangled Codehttp://c2.com/cgi/wiki?SpaghettiCode
Educational Pearl: Automata as Macroshttp://c2.com/cgi/wiki?StumblingBlocksForDomainSpecificLanguages
Implicit parallel functional programminghttp://c2.com/cgi/wiki?SufficientlySmartCompiler
Suneido languagehttp://c2.com/cgi/wiki?SuneidoLanguage
Objective scientific proof of OOP's validity? Don't need no stinkun' proof.http://c2.com/cgi/wiki?SuperCollider
The new old or The "Return" to Concurrencyhttp://c2.com/cgi/wiki?SuperCollider
Mechanics of designing and implementing a languagehttp://c2.com/cgi/wiki?SuperCombinators
The right default: concurrent components with message passinghttp://c2.com/cgi/wiki?SwingWorkerRaceCondition
Notes on Programming in Chttp://c2.com/cgi/wiki?ThelopLanguage
SchemeUnit and SchemeQL: Two Little Languageshttp://c2.com/cgi/wiki?TheThirdManifesto
Let's make a programming language!http://c2.com/cgi/wiki?ThreadMode
Python 9: Interview with Bruce Eckelhttp://c2.com/cgi/wiki?TruckNumber
Parameterized Unit Testshttp://c2.com/cgi/wiki?UnitTest
Editors, Ahoy!http://c2.com/cgi/wiki?VerifyOutputWithGrammar
OO Best Feature Pollhttp://c2.com/cgi/wiki?WhatIsAnAdvancer
Scheme & Lisp Language Warhttp://c2.com/cgi/wiki?WhatMakesAgoodLanguageGood
EJB critiquehttp://c2.com/cgi/wiki?WhatsWrongWithEjb
EJB critiquehttp://c2.com/cgi/wiki?WikiWikiWeb
C# Literature and Interviewshttp://c2.com/cgi/wiki?WikiWikiWeb
Object Functional Patternshttp://c2.com/cgi/wiki?WikiWikiWeb
Java Design Flawshttp://c2.com/cgi/wiki?WikiWikiWeb
Playing with Swikihttp://c2.com/cgi/wiki?WikiWikiWeb
Yes, Bob, I too want to work in a dynamically typed languagehttp://c2.com/cgi/wiki?WyCash
SPMD - Single Program Multiple Data in Haskellhttp://c2.com/cgi-bin/wiki?AdvantagesOfFp
An interview with Chris Datehttp://c2.com/cgi-bin/wiki?AutoKeysVersusDomainKeys
Roll your own with JavaCChttp://c2.com/cgi-bin/wiki?InterpreterPattern
"Popular vs. Good" in Programming Languageshttp://c2.com/cgi-bin/wiki?TestDrivenDevelopment
An interview with Chris Datehttp://c2.com/cgi-bin/wiki?TutorialDee
The Case for First Class Messageshttp://c2.com/cgi-bin/wiki?TypeErasure
Roll your own with JavaCChttp://c2.com/cgi-bin/wiki?WelcomeVisitors
Is Inheritance a Pillar of OO?http://c2.com/doc/everything.html
Functional Imageshttp://c2.com/doc/plumbin/
Reading, Writing, and Codehttp://c2.com/doc/SignatureSurvey/
Ada and Java: real-time advantageshttp://c2.com/ppr/about/author/ward.html
Java and Pointershttp://c2.com/ppr/checks.html#2
A virtual class calculushttp://caesarj.org/
Haskell Functional Programming Bookstorehttp://cafeshops.com/haskell_books/
PeakStream - a multi-core stream processing modelhttp://cag.csail.mit.edu/streamit/
Why Are ALL Programming Languages So Low Level?http://cag.csail.mit.edu/streamit/
50 Questions for a Language Designerhttp://cal018000.student.utwente.nl/wakka/wakka.php?wakka=Questions
Calculemus 2005http://calculemus2006.loria.fr/
Behaviour: Using CSS selectors to apply Javascript functionalityhttp://calculist.blogspot.com/
Why Dependent Types Matterhttp://calculist.blogspot.com/2005/04/balance-of-expressiveness-and.html
How To Read a Paperhttp://calculist.blogspot.com/2005/05/how-to-read-semantics.html
Narrative Javascripthttp://calculist.blogspot.com/2005/06/too-much-recursion_111886156463188710.html
A Lisp to JavaScript Compiler in 100 Lineshttp://calculist.blogspot.com/2005_06_01_calculist_archive.html
Updates on ICFP + OCaml bookhttp://callisto.swiki.net/1
Tail call elimination decorator in Pythonhttp://call-with-current-continuation.org/
The Salishan problemshttp://caltechcstr.library.caltech.edu/documents/disk0/00/00/01/30/
Keep Blogging Worker Bee!http://camino.rutgers.edu/pldi05_dist.pdf
Keep Blogging Worker Bee!http://camino.rutgers.edu/pldi05_dist.ps.gz
Dynamic Semanticshttp://caml.inria.fr/
OCaml, an Introductionhttp://caml.inria.fr/archives/200102/msg00149.html
OCaml on top of JVM/.NEThttp://caml.inria.fr/archives/200102/msg00189.html
OCaml on top of JVM/.NEThttp://caml.inria.fr/archives/200102/msg00190.html
Call-by-name is dual to call-by-valuehttp://caml.inria.fr/archives/200106/msg00325.html
Backwards Debugginghttp://caml.inria.fr/archives/200110/msg00033.html
JoCamlhttp://caml.inria.fr/archives/200301/msg00243.html
Article on F#http://caml.inria.fr/archives/200305/msg00296.html
The Little MLerhttp://caml.inria.fr/archives/200307/msg00245.html
PLT Spy - Python in Schemehttp://caml.inria.fr/archives/200402/msg00092.html
OCaml Release 3.08.0http://caml.inria.fr/archives/200407/msg00172.html
OCaml Release 3.08.0http://caml.inria.fr/archives/200407/msg00177.html
Eliminating Array Bound Checking through Non-dependent typeshttp://caml.inria.fr/archives/200407/msg00496.html
Eliminating Array Bound Checking through Non-dependent typeshttp://caml.inria.fr/archives/200408/msg00030.html
Calculemus 2005http://caml.inria.fr/archives/200411/msg00076.html
Polyglot and Nested Inheritancehttp://caml.inria.fr/archives/200412/msg00195.html
Poploghttp://caml.inria.fr/camlidl
JScript is a Functional Languagehttp://caml.inria.fr/camlp4/
Why type systems are interestinghttp://caml.inria.fr/camlp4/
Ian Bicking: The challenge of metaprogramminghttp://caml.inria.fr/camlp4/
Larry Wall: Apocalypse 6http://caml.inria.fr/camlp4/manual/manual005.html
"Popular vs. Good" in Programming Languageshttp://caml.inria.fr/camlp4/manual/manual006.html#toc17
"Popular vs. Good" in Programming Languageshttp://caml.inria.fr/camlp4/manual/manual007.html
Links Slideshttp://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=296
Links Slideshttp://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=343
Why do they program in C++?http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=361
Why do they program in C++?http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=367
Links Slideshttp://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=371
Why do they program in C++?http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=375
Why do they program in C++?http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=403
Links Slideshttp://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=403
Links Slideshttp://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=69
Why do they program in C++?http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=87
Future Directions for C++http://caml.inria.fr/FAQ/FAQ_EXPERT-eng.html#polymorphisme
Infer: A Statically-typed Dialect of Schemehttp://caml.inria.fr/FAQ/FAQ_EXPERT-eng.html#polymorphisme
"Popular vs. Good" in Programming Languageshttp://caml.inria.fr/humps/caml_latest.html
OCaml, an Introductionhttp://caml.inria.fr/humps/index.html
Language Constructionhttp://caml.inria.fr/humps/index.html
Updates on ICFP + OCaml bookhttp://caml.inria.fr/icfp00-contest/
Popularity of (Functional) Languageshttp://caml.inria.fr/ocaml/
OCaml Release 3.08.0http://caml.inria.fr/ocaml/distrib.html
OCaml Translation and Functional Objectshttp://caml.inria.fr/ocaml/htmlman/manual004.html#ss:functional-objects
OCaml Translation and Functional Objectshttp://caml.inria.fr/ocaml/htmlman/manual004.html
OCaml vs. C++ for Dynamic Programminghttp://caml.inria.fr/ocaml/index.en.html
Constructive Computation Theory. Course notes on lambda calculushttp://caml.inria.fr/ocaml/index.html
OCaml Tutorials and Summaryhttp://caml.inria.fr/ocaml/numerical.html
OCaml 3.0.9http://caml.inria.fr/ocaml/release.en.html
New features proposed for Java 1.5 by Sunhttp://caml.inria.fr/ocaml
Developing Applications with Objective Camlhttp://caml.inria.fr/oreilly-book/
Developing Applications with Objective CAMLhttp://caml.inria.fr/oreilly-book/
Languages Posterhttp://caml.inria.fr/oreilly-book/
Developing Applications with Objective CAMLhttp://caml.inria.fr/oreilly-book/html/book-ora154.html
OCaml, an Introductionhttp://caml.inria.fr/oreilly-book/html/book-ora191.html
What I Hate About Your Programming Languagehttp://caml.inria.fr/oreilly-book/html/book-ora202.html
Developing Applications with Objective CAMLhttp://caml.inria.fr/oreilly-book/html/index.html
OCaml 3.0.9http://caml.inria.fr/pub/distrib/ocaml-3.09/notes/Changes
Overloading - Syntactic Heroin?http://caml.inria.fr/pub/docs/manual-camlp4/index.html
Advantages of Soft Typinghttp://caml.inria.fr/pub/docs/manual-camlp4/index.html
Parser that allow syntax extensionshttp://caml.inria.fr/pub/docs/manual-camlp4/manual005.html#toc11
Practical OCamlhttp://caml.inria.fr/pub/docs/manual-camlp4/manual007.html
Why do they program in C++?http://caml.inria.fr/pub/docs/manual-ocaml/index.html
Why do computers stop and what can be done about it?http://caml.inria.fr/pub/docs/manual-ocaml/libref/Marshal.html
Buried Treasure - No Fluff Just Stuffhttp://caml.inria.fr/pub/docs/manual-ocaml/libref/Pervasives.html
OOP Parallel class hierarchieshttp://caml.inria.fr/pub/docs/manual-ocaml/manual005.html#ss:using-coercions
OOP Parallel class hierarchieshttp://caml.inria.fr/pub/docs/manual-ocaml/manual014.html
Backwards debugginghttp://caml.inria.fr/pub/docs/manual-ocaml/manual030.html#htoc182
[Newbie] Where can I learn about VM / C interfacing?http://caml.inria.fr/pub/docs/manual-ocaml/manual032.html
Multidimensional Virtual Classeshttp://caml.inria.fr/pub/docs/oreilly-book/html/book-ora130.html
unchecked exceptions are like runtime type checking?http://caml.inria.fr/pub/docs/oreilly-book/index.html
Code Generation Networkhttp://caml.inria.fr/pub/docs/tutorial-camlp4/index.html
Why do they program in C++?http://caml.inria.fr/pub/docs/u3-ocaml/ocaml-modules.html
Lisp is sinhttp://caml.inria.fr/pub/ml-archives/caml-list/2000/07/fbd81abbbb41662e8b9585888d3f3292.en.html
Zipper-based file server/OShttp://caml.inria.fr/pub/ml-archives/caml-list/2003/04/d9701aacd4580cf3feb60ae8cd7a1836.en.html
Good languages with simple grammarhttp://caml.inria.fr/pub/ml-archives/caml-list/2004/08/8173e85e98832b3a81518074ca216ad2.en.html
Mechanics of designing and implementing a languagehttp://caml.inria.fr/pub/ml-archives/caml-list/2004/10/06593c8612be418e12a286faba979e96.fr.html
Native delimited continuations in (byte-code) OCamlhttp://caml.inria.fr/pub/ml-archives/caml-list/2006/02/8fc9c1a56c497b9743515a5e3432d704.en.html
Native delimited continuations in (byte-code) OCamlhttp://caml.inria.fr/pub/ml-archives/caml-list/2006/04/74eefb9afe6aba40ff249e2aa2e1727d.en.html
unchecked exceptions are like runtime type checking?http://caml.inria.fr/pub/old_caml_site/ocamlexc/ocamlexc.htm
A Typeful Approach to Object-Oriented Programming with Multiple inheritancehttp://caml.inria.fr/pub/papers/remy_vouillon-objective_ml-tapos98.pdf
A Typeful Approach to Object-Oriented Programming with Multiple inheritancehttp://caml.inria.fr/pub/papers
On the Revival of Dynamic Languageshttp://caml.inria.fr/resources/doc/index.en.html
Why type systems are interestinghttp://caml.inria.fr/users_programs-eng.html
Guido: Language Design Is Not Just Solving Puzzleshttp://caml.inria.fr
On the Revival of Dynamic Languageshttp://caml.inria.fr
The Next Mainstream Programming Languageshttp://caml.inria.fr
Tuples + Objects + Infosets =Too Much Stuff!http://caml.inria.fr
Yearning for a practical schemehttp://caml.inria.fr
Whither Sather ?http://caml.inria.fr
Bertrand Meyer on Software Qualityhttp://caml.inria.fr
unchecked exceptions are like runtime type checking?http://caml.inria.fr
Why do they program in C++?http://caml.inria.fr
ACM Queue: A Conversation with Alan Kayhttp://caml.inria.fr
ACM Queue: On Usability of Programming Languageshttp://caml.inria.fr
Why do they program in C++?http://caml.inria.fr
A-Posteriori Subtyping: Which Languages?http://caml.inria.fr
Robert Harper Named as ACM Fellowhttp://campus.acm.org/public/pressroom/press_releases/1_2006/acm_fellows_2006.cfm
X2EE Revamps J2EEhttp://candlelightsoftware.com
ruby vs pythonhttp://candygram.sourceforge.net/
Candygram: Erlang Message Passing Semantics in Pythonhttp://candygram.sourceforge.net/
Early history of Fortranhttp://cap-lore.com/stories/Assembler.html
The right default: concurrent components with message passinghttp://case.syr.edu/assets/documents/SoftwareProjectManagement-7-26-01Roundtable.ppt
Arrows, like Monads, are Monoidshttp://cat.inist.fr/?aModele=afficheN&cpsidt=14666146
Linkshttp://catamaran.labs.cs.uu.nl/twiki/pt/bin/view/Stratego/WebHome
Control-Flow Integrityhttp://catb.org/~esr/intercal/
Best route for new language to be self-hostinghttp://catb.org/~esr/jargon/html/M/MFTL.html
What is so bad about compiling?http://catb.org/~esr/jargon/html/T/Turing-tar-pit.html
Real Time Processinghttp://catless.ncl.ac.uk/Risks/9.01.html#subj2
Design Paradigmshttp://catless.ncl.ac.uk/Risks
Alan Kay: Software Design, the Future of Programming...http://cause-www.niss.ac.uk/ir/library/html/erm99027.html
NULLhttp://cause-www.niss.ac.uk/ir/library/html/erm99027.html
Quoteshttp://cause-www.niss.ac.uk/ir/library/html/erm99027.html
Why Lists?http://cc.usu.edu/~amcinnes/ctl_model_checker.csp
PyLogohttp://ccl.northwestern.edu/netlogo/
NetLogohttp://ccl.northwestern.edu/netlogo/
NetLogohttp://ccl.northwestern.edu/netlogo/docs/behaviorspace.html
NetLogohttp://ccl.northwestern.edu/netlogo/docs/faq.html#diff
NetLogohttp://ccl.northwestern.edu/netlogo/docs/hubnet.html
Ivor, a proof enginehttp://c-corn.cs.ru.nl/
Musical programming and languageshttp://ccrma.stanford.edu/software/clm/
Musical programming and languageshttp://ccrma.stanford.edu/software/cm/doc/cm.html
LtU: Style and Focushttp://ccs.mit.edu/dell/site2004.pdf
Naked Objectshttp://ccs.mit.edu/papers/CCSWP181/
smgn: Rapid Prototyping of Small Domain-Specific Languageshttp://cedar.csc.uvic.ca/twiki/kienle/pub/Main/MyPublications/KM:CIT:02.pdf
smgn: Rapid Prototyping of Small Domain-Specific Languageshttp://cedar.csc.uvic.ca/twiki/kienle/pub/Main/MyPublications/KM:CIT:02.ps
Bruce Tate: Technologies that may challenge Javahttp://cedet.sourceforge.net/info/semantic.html
Macros vs. Higher-order Programminghttp://cedet.sourceforge.net/semantic.shtml
Abstracting Allocation: The New new Thinghttp://cedric.cnam.fr/~delahaye/publications/LFM2002_meta.ps.gz
Invariants/Contracts vs. typeshttp://centrin.net.id/~marc/example.html
What makes Centum a bad language?http://centum.sourceforge.net/
AlgoVistahttp://cgi.cs.arizona.edu:8080/algovista/servlet/algovista
More contenthttp://cgi.cse.unsw.edu.au/~ideas/
Abstractionless programminghttp://cgi.cse.unsw.edu.au/~ideas/index.php?module=articles&func=display&ptid=1&aid=369
Partial trig functionshttp://cgi.cse.unsw.edu.au/~lambert/cgi-bin/blog/science/mckitrick6.html
Jon Udell: Languages and environmentshttp://cglib.sourceforge.net
Why type systems are interestinghttp://cglib.sourceforge.net
Ruby 2.0 Newshttp://chadfowler.com/index.cgi/Computing/Programming/Ruby/NotSoFast.rdoc,v
Anders Hejlsberg - Tour through computing industry history at the Microsoft Museumhttp://channel9.msdn.com/ShowPost.aspx?PostID=10116
Anders Hejlsberg - What's so great about generics?http://channel9.msdn.com/ShowPost.aspx?PostID=10189
Channel 9 Videos on VBhttp://channel9.msdn.com/Showpost.aspx?postid=116700
Channel 9 Videos on VBhttp://channel9.msdn.com/Showpost.aspx?postid=116702
Life and Times of Anders Hejlsberghttp://channel9.msdn.com/ShowPost.aspx?PostID=159952
Why Johnny can't codehttp://channel9.msdn.com/showpost.aspx?postid=234889
Ward Cunningham - Do you get religious about programming languages?http://channel9.msdn.com/ShowPost.aspx?PostID=8628#8628
Concurrency made easy?http://channel9.msdn.com/wiki/default.aspx/Channel9.ConcurrencyRuntime
Chapel: "Solving the parallel programming problem"http://chapel.cs.washington.edu/
Chapel: "Solving the parallel programming problem"http://chapel.cs.washington.edu/hips04.html
Does Visual Studio Rot the Mind?http://charlespetzold.com/etc/DoesVisualStudioRotTheMind.html
Arrows, like Monads, are Monoidshttp://chris.chris-lotte.net/publications/2006/arrows/arrows.pdf
Chris Coyne's Context Free Design Grammar, and SCIgen - Randomly generated CS papers.http://chriscoyne.com/
Chris Coyne's Context Free Design Grammar, and SCIgen - Randomly generated CS papers.http://chriscoyne.com/cfdg/
Probabilistic languages for kids?http://chriscoyne.com/cfdg/
Chris Coyne's Context Free Design Grammar, and SCIgen - Randomly generated CS papers.http://chriscoyne.com/cfdg/page5.php
Erlang is Ickyhttp://christophe.delord.free.fr/en/pylog/index.html
The Problem With Parsing - an essayhttp://christophe.delord.free.fr/en/tpg/
Dodohttp://christophe.delord.free.fr/tpg/index.html
Large imperative code --> functionalhttp://chromium.sourceforge.net
Chu Spaceshttp://chu.stanford.edu/
Chu Spaceshttp://chu.stanford.edu/guide.html
Chuck - Concurrent audio programming languagehttp://chuck.cs.princeton.edu/
VPythonhttp://cil.andrew.cmu.edu/mi.html
VPythonhttp://cil.andrew.cmu.edu/projects/visual/
OO Jokeshttp://cis.gsu.edu/~shong/oojokes/index.html
Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculushttp://citebase.eprints.org/cgi-bin/citations?id=oai:arXiv.org:cs/9809008
Effect Systems?http://citeseer.csail.mit.edu/371720.html
Guarded Induction and Weakly Final Coalgebras in Dependent Type Theoryhttp://citeseer.csail.mit.edu/645174.html
Combining computational effectshttp://citeseer.csail.mit.edu/717524.html
Combining computational effectshttp://citeseer.csail.mit.edu/720831.html
What is so bad about compiling?http://citeseer.csail.mit.edu/appel98ssa.html
From shift and reset to polarized linear logichttp://citeseer.csail.mit.edu/danvy89functional.html
From shift and reset to polarized linear logichttp://citeseer.csail.mit.edu/danvy90abstracting.html
Simpler representation of operational semantics?http://citeseer.csail.mit.edu/felleisen92revised.html
XQuery 1.0 and XPath 2.0 Formal Semantics - Last Callhttp://citeseer.csail.mit.edu/fernandez00algebra.html
Constraint Programminghttp://citeseer.csail.mit.edu/group96constraint.html
Djinn, a theorem prover in Haskell, for Haskell.http://citeseer.csail.mit.edu/restall01relevant.html
R6RS Status Reporthttp://citeseer.ifi.unizh.ch/peytonjones99stretching.html
Conjunction typeshttp://citeseer.ist.psu.edu/
How do Java generics correspond to System F-(omega)?http://citeseer.ist.psu.edu/103197.html
Multidimensional Virtual Classeshttp://citeseer.ist.psu.edu/103197.html
Persistent functional databaseshttp://citeseer.ist.psu.edu/10471.html
Reflection in logic, functional and object-oriented programming: a Short Comparative Studyhttp://citeseer.ist.psu.edu/106401.html
Crystal Scheme: A Language for Massively Parallel Machineshttp://citeseer.ist.psu.edu/123020.html
Abstractionless programminghttp://citeseer.ist.psu.edu/133314.html
The pi-Calculus in Direct Stylehttp://citeseer.ist.psu.edu/142345.html
OOPSLA 2005 Reportshttp://citeseer.ist.psu.edu/14244.html
Basic(er) Simple(r) Type Theory(?)http://citeseer.ist.psu.edu/14244.html
Conjunction typeshttp://citeseer.ist.psu.edu/14244.html
Getting Startedhttp://citeseer.ist.psu.edu/14244.html
Prototype based OOhttp://citeseer.ist.psu.edu/14611.html
Classes or prototypeshttp://citeseer.ist.psu.edu/14611.html
Lambda the Ultimate Set Comprehensionhttp://citeseer.ist.psu.edu/166172.html
Type Differencehttp://citeseer.ist.psu.edu/169874.html
Old computer science and technical books worth searching forhttp://citeseer.ist.psu.edu/194550.html
Trampolining Architectureshttp://citeseer.ist.psu.edu/224757.html
Dynamic Semanticshttp://citeseer.ist.psu.edu/26605.html
The Haskell Programmer's Guide to the IO Monad --- Don't Panichttp://citeseer.ist.psu.edu/269479.html
Active Libraries and Universal Languageshttp://citeseer.ist.psu.edu/272342.html
Understanding continuationshttp://citeseer.ist.psu.edu/288145.html
Description Logics in Literate Haskellhttp://citeseer.ist.psu.edu/29210.html
Why type systems are interestinghttp://citeseer.ist.psu.edu/293490.html
Dating Design Patternshttp://citeseer.ist.psu.edu/297288.html
Langauges and Hardware...http://citeseer.ist.psu.edu/306128.html
Why type systems are interestinghttp://citeseer.ist.psu.edu/333346.html
Xactium -- "lightweight language engineering" ??!?http://citeseer.ist.psu.edu/398612.html
Tail of Nil and Its Typehttp://citeseer.ist.psu.edu/400030.html
Lambda the Ultimate Set Comprehensionhttp://citeseer.ist.psu.edu/41123.html
Asynchronous Exceptions in Haskellhttp://citeseer.ist.psu.edu/415348.html
Multi-Return Function Callhttp://citeseer.ist.psu.edu/4469.html
A Brief History of Scalahttp://citeseer.ist.psu.edu/489974.html
Dynamic vs. Static Typing - A Pattern-Based Analysishttp://citeseer.ist.psu.edu/495614.html
Variables as Channelshttp://citeseer.ist.psu.edu/502831.html
Selective Open Recursion: A Solution to the Fragile Base Class Problemhttp://citeseer.ist.psu.edu/528828.html
Type Theoretical Foundations for Data Structures, Classes, and Objectshttp://citeseer.ist.psu.edu/54630.html
Decomposing lambda - the Kernel languagehttp://citeseer.ist.psu.edu/559885.html
Typed Concurrent Programming with Logic Variableshttp://citeseer.ist.psu.edu/581802.html
Life and Times of Anders Hejlsberghttp://citeseer.ist.psu.edu/610025.html
An interview with Chris Datehttp://citeseer.ist.psu.edu/610025.html
CPS without GC?http://citeseer.ist.psu.edu/626882.html
How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressiblehttp://citeseer.ist.psu.edu/630239.html
Syntax, Semantics and all that Stuffhttp://citeseer.ist.psu.edu/638218.html
On Evaluation Contexts, Continuations, and the Rest of Computationhttp://citeseer.ist.psu.edu/651433.html
Explaining monadshttp://citeseer.ist.psu.edu/653507.html
Formal methods for O/R mappinghttp://citeseer.ist.psu.edu/654174.html
Why type systems are interestinghttp://citeseer.ist.psu.edu/658381.html
Human Factors Research On Programming Language Syntaxhttp://citeseer.ist.psu.edu/664874.html
Constraint-Based Type Inference for Guarded Algebraic Data Typeshttp://citeseer.ist.psu.edu/669510.html
E Thesis: Robust Compositionhttp://citeseer.ist.psu.edu/670457.html
Retrospective: The Essence of Compiling with Continuationshttp://citeseer.ist.psu.edu/697897.html
Good Ideas, Through the Looking Glasshttp://citeseer.ist.psu.edu/722833.html
Scrap your Nameplatehttp://citeseer.ist.psu.edu/724708.html
The Weird World of Bi-Directional Programminghttp://citeseer.ist.psu.edu/745681.html
Gilad Is Righthttp://citeseer.ist.psu.edu/8870.html
Can a dynamically typed language support type inference?http://citeseer.ist.psu.edu/8870.html
Lambda the Ultimate Set Comprehensionhttp://citeseer.ist.psu.edu/94763.html
Advantages of Soft Typinghttp://citeseer.ist.psu.edu/9622.html
OOPSLA 2005 Reportshttp://citeseer.ist.psu.edu/abadi89dynamic.html
Scoping based on control flow graphhttp://citeseer.ist.psu.edu/abel99termination.html
Future of software design?http://citeseer.ist.psu.edu/adya02cooperative.html
Type Inference in Object Oriented Languageshttp://citeseer.ist.psu.edu/agesen95cartesian.html
Type inference for Pythonhttp://citeseer.ist.psu.edu/agesen95type.html
Selective Open Recursion: A Solution to the Fragile Base Class Problemhttp://citeseer.ist.psu.edu/ancona00extending.html
Uniform Proofs as a Foundation for Logic Programminghttp://citeseer.ist.psu.edu/andreoli92logic.html
Langauges and Hardware...http://citeseer.ist.psu.edu/appel88runtime.html
Most Productive FP Lang?http://citeseer.ist.psu.edu/appel98ssa.html
Today's Status of Functional Programming Languages for Verification Tools ?http://citeseer.ist.psu.edu/asarin02speedi.html
References for Beginners in PL Theoryhttp://citeseer.ist.psu.edu/barendregt94introduction.html
The Killer Application for Concatenative Languageshttp://citeseer.ist.psu.edu/bawden93implementing.html
Language design: Escaping escapeshttp://citeseer.ist.psu.edu/bawden99quasiquotation.html
Can one avoid monads?http://citeseer.ist.psu.edu/benton00monads.html
Uniform Proofs as a Foundation for Logic Programminghttp://citeseer.ist.psu.edu/bonner93transaction.html
Reversible generatorshttp://citeseer.ist.psu.edu/booth97walk.html
Nested commits for mobile calculi: extending Joinhttp://citeseer.ist.psu.edu/bruni04nested.html
OOP Is Much Better in Theory Than in Practicehttp://citeseer.ist.psu.edu/butterfield01comparing.html
Best default sequence?http://citeseer.ist.psu.edu/cache/papers/cs/29581/http:zSzzSzwww.cs.bonn.eduzSz~ralfzSzpublicationszSzICFP02.pdf/hinze02bootstrapping.pdf
Understanding continuationshttp://citeseer.ist.psu.edu/cache/papers/cs/32515/http:zSzzSzwww.cs.bham.ac.ukzSz~hxtzSzcw04zSzdanvy.pdf/on-evaluation-contexts-continuations.pdf
The Case for First Class Messageshttp://citeseer.ist.psu.edu/cache/papers/cs/386/http:zSzzSzwww.daimi.au.dkzSzPBzSz436zSzPB-436.pdf/agesen93type.pdf
What do you believe about Programming Languages (that you can't prove (yet))?http://citeseer.ist.psu.edu/caires04behavioral.html
Resources related to logic?http://citeseer.ist.psu.edu/cardelli85understanding.html
Definition of Typehttp://citeseer.ist.psu.edu/cardelli97type.html
Short examples of complex use of state?http://citeseer.ist.psu.edu/carlisle95software.html
Neophyte question: detecting deadlock, livelock, races etc.http://citeseer.ist.psu.edu/carlsson97towards.html
Incompleteness in semantics and parallel-orhttp://citeseer.ist.psu.edu/cartwright92observable.html
Closures for Java or money backhttp://citeseer.ist.psu.edu/cartwright98compatible.html
A rationale for semantically enhanced library languageshttp://citeseer.ist.psu.edu/chiba95metaobject.html
Your favourite editor/IDEhttp://citeseer.ist.psu.edu/cinneide00composite.html
Xactium -- "lightweight language engineering" ??!?http://citeseer.ist.psu.edu/cis?q=andy+evans
Xactium -- "lightweight language engineering" ??!?http://citeseer.ist.psu.edu/cis?q=tony+clark&submit=Search+Documents&cs=1
Typed Concurrent Programming with Logic Variableshttp://citeseer.ist.psu.edu/collet01operational.html
Lambda-muhttp://citeseer.ist.psu.edu/context/14385/0
E Thesis: Robust Compositionhttp://citeseer.ist.psu.edu/context/167756/0
Protocol languageshttp://citeseer.ist.psu.edu/context/498016/468149
The X10 Programming Languagehttp://citeseer.ist.psu.edu/context/6952/0
E Thesis: Robust Compositionhttp://citeseer.ist.psu.edu/context/71383/0
any functional language without GC?http://citeseer.ist.psu.edu/crary99typed.html
Static type inference & late binding?http://citeseer.ist.psu.edu/dami96functional.html
Specifying ECMAScript via MLhttp://citeseer.ist.psu.edu/danvy89functional.html
Circular referenceshttp://citeseer.ist.psu.edu/danvy92representing.html
Future of software design?http://citeseer.ist.psu.edu/davie98efficient.html
Continuations for Parallel Logic Programminghttp://citeseer.ist.psu.edu/deboer93paradigm.html
Building Interpreters by Composing Monadshttp://citeseer.ist.psu.edu/duponcheel95using.html
Nanopass Compiler Frameworkhttp://citeseer.ist.psu.edu/dybvig90destinationdriven.html
Garbage Collection as a Lazy Algorithmhttp://citeseer.ist.psu.edu/ennals03optimistic.html
Two Thank Yous for Peter van Royhttp://citeseer.ist.psu.edu/ennals03optimistic.html
Dynamic Eager Haskellhttp://citeseer.ist.psu.edu/ennals03optimistic.html
A Generic Component Framework for System Modelinghttp://citeseer.ist.psu.edu/ermel96taste.html
Message Passing vs. Multi-Methods; Mixing the two?http://citeseer.ist.psu.edu/ernst98predicate.html
Advantages of Soft Typinghttp://citeseer.ist.psu.edu/fagan90soft.html
Non-null references?http://citeseer.ist.psu.edu/fahndrich03declaring.html
Expressivity of lisp/scheme but speed of assembly/C/C++http://citeseer.ist.psu.edu/felleisen90expressive.html
Haskell and creative freedomhttp://citeseer.ist.psu.edu/felleisen90expressive.html
Hundreds of Impossibility Results for Distributed Computinghttp://citeseer.ist.psu.edu/fich03hundreds.html
Understanding continuationshttp://citeseer.ist.psu.edu/filinski89declarative.html
A Practical Theory of Programminghttp://citeseer.ist.psu.edu/filinski89declarative.html
Call-by-what?http://citeseer.ist.psu.edu/filinski89declarative.html
Switch statement designhttp://citeseer.ist.psu.edu/filinski89declarative.html
AOP blog and aosd discussionhttp://citeseer.ist.psu.edu/filman00aspectoriented.html
Scalable Component Abstractionshttp://citeseer.ist.psu.edu/findler98modular.html
Context Free: Grammars as Graphicshttp://citeseer.ist.psu.edu/flajolet95computer.html
When to create syntax?http://citeseer.ist.psu.edu/flatt02composable.html
Educational Pearl: Automata as Macroshttp://citeseer.ist.psu.edu/flatt02composable.html
A software engineering problem: how would functional programming solve it?http://citeseer.ist.psu.edu/flatt98unit.html
E Thesis: Robust Compositionhttp://citeseer.ist.psu.edu/fournet95reflexive.html
Gilad Bracha: Will Continuations continue?http://citeseer.ist.psu.edu/fuchs95escaping.html
A Generic Component Framework for System Modelinghttp://citeseer.ist.psu.edu/gajewsky01rulebased.html
Trampolining Architectureshttp://citeseer.ist.psu.edu/ganz00trampolining.html
Trampolining Architectureshttp://citeseer.ist.psu.edu/ganz99trampolined.html
if Records - Labels = Tuples then Rows - Labels = what?http://citeseer.ist.psu.edu/gaster96polymorphic.html
Practical OCamlhttp://citeseer.ist.psu.edu/gibbons98underappreciated.html
BitC, a new OS implementation languagehttp://citeseer.ist.psu.edu/goubault-larrecq97logical.html
Constraint Programminghttp://citeseer.ist.psu.edu/group96constraint.html
F3 - Functional GUI Development for Javahttp://citeseer.ist.psu.edu/grust03monad.html
Wadler's Blog: Penn, PADL, POPL, and Plan-Xhttp://citeseer.ist.psu.edu/grust99comprehending.html
Persistent functional databaseshttp://citeseer.ist.psu.edu/grust99comprehending.html
The fundamental difference between Sets and Lists?http://citeseer.ist.psu.edu/grust99comprehending.html
A Monadic Framework for Subcontinuationshttp://citeseer.ist.psu.edu/gunter95generalization.html
Why type systems are interesting - part IIhttp://citeseer.ist.psu.edu/guttman95vlisp.html
any functional language without GC?http://citeseer.ist.psu.edu/hallenberg02combining.html
Syntax, Semantics and all that Stuffhttp://citeseer.ist.psu.edu/harel04modeling.html
Commentary on Standard MLhttp://citeseer.ist.psu.edu/harper97interpretation.html
Why I Like PLT Schemehttp://citeseer.ist.psu.edu/hedqvist98parallel.html
Subcontinuationshttp://citeseer.ist.psu.edu/hieb93subcontinuations.html
Neophyte question: detecting deadlock, livelock, races etc.http://citeseer.ist.psu.edu/huch00model.html
How are GADTs useful in practical programming?http://citeseer.ist.psu.edu/hughes95design.html
Relevance of Curry-Howardhttp://citeseer.ist.psu.edu/hughes96proving.html
Relevance of Curry-Howardhttp://citeseer.ist.psu.edu/hughes99recursion.html
Programming Paradigms of the Andorra Kernel Languagehttp://citeseer.ist.psu.edu/janson91programming.html
The X10 Programming Languagehttp://citeseer.ist.psu.edu/janson94akl.html
Petition for adding garbage collection to C++.http://citeseer.ist.psu.edu/kakkad96portable.html
Type Nomenclaturehttp://citeseer.ist.psu.edu/kelsey89realistic.html
Implicitly Heterogeneous Multi-stage Programminghttp://citeseer.ist.psu.edu/kelsey97prescheme.html
CPS without GC?http://citeseer.ist.psu.edu/kelsey97prescheme.html
Ian Bicking: The challenge of metaprogramminghttp://citeseer.ist.psu.edu/kelsey97prescheme.html
PyPy wins a funding contract with the EUhttp://citeseer.ist.psu.edu/kelsey97prescheme.html
Functional multi-method programming languagehttp://citeseer.ist.psu.edu/kiczales90efficient.html
Description Logics in Literate Haskellhttp://citeseer.ist.psu.edu/kifer90logical.html
No new items?http://citeseer.ist.psu.edu/korn98traversalbased.html
Linguistic Reusehttp://citeseer.ist.psu.edu/krishnamurthi01linguistic.html
Building Interpreters by Composing Monadshttp://citeseer.ist.psu.edu/labragayo01lps.html
UML and DSLshttp://citeseer.ist.psu.edu/lamport97composition.html
A Debugging Environment for Lazy Functional Languageshttp://citeseer.ist.psu.edu/lapalme99debugging.html
The Complexity Zoohttp://citeseer.ist.psu.edu/lawall96optimality.html
The pi-Calculus in Direct Stylehttp://citeseer.ist.psu.edu/liquori98deep.html
Why type systems are interestinghttp://citeseer.ist.psu.edu/luo90extended.html
Gilad Bracha: Will Continuations continue?http://citeseer.ist.psu.edu/manolescu02workflow.html
Event-Based Programming without Inversion of Controlhttp://citeseer.ist.psu.edu/manolescu02workflow.html
Practical OCamlhttp://citeseer.ist.psu.edu/mcbride01faking.html
First Class Values, Types as values within a Programming Languagehttp://citeseer.ist.psu.edu/mcbride01faking.html
Getting Startedhttp://citeseer.ist.psu.edu/meijer91functional.html
Filter-Reduce Optimizationhttp://citeseer.ist.psu.edu/meijer91functional.html
The Haskell Programmer's Guide to the IO Monad --- Don't Panichttp://citeseer.ist.psu.edu/moggi89notions.html
Garbage collecting computationshttp://citeseer.ist.psu.edu/moreau96continuing.html
Rigour is good for you and feasible: reflections on formal treatments of C and UDP socketshttp://citeseer.ist.psu.edu/norrish02rigour.html
Persistent functional databaseshttp://citeseer.ist.psu.edu/okasaki96functional.html
Two Thank Yous for Peter van Royhttp://citeseer.ist.psu.edu/okasaki96role.html
Best default sequence?http://citeseer.ist.psu.edu/okasaki97catenable.html
Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculushttp://citeseer.ist.psu.edu/palamidessi97comparing.html
Human Factors Research On Programming Language Syntaxhttp://citeseer.ist.psu.edu/pane00studying.html
Ruby 2.0 Newshttp://citeseer.ist.psu.edu/peytonjones92implementing.html
Object Oriented Programming + Referential Transparencyhttp://citeseer.ist.psu.edu/peytonjones92implementing.html
Conjunction typeshttp://citeseer.ist.psu.edu/pierce91programming.html
Foundational Calculi for Programming Languages (intro)http://citeseer.ist.psu.edu/pierce95foundational.html
Google Code Searchhttp://citeseer.ist.psu.edu/pierce98local.html
Combining computational effectshttp://citeseer.ist.psu.edu/plotkin02notions.html
Functional programming and software engineeringhttp://citeseer.ist.psu.edu/plotkin81structural.html
Circular referenceshttp://citeseer.ist.psu.edu/power99closed.html
When to create syntax?http://citeseer.ist.psu.edu/queinnec96macroexpansion.html
Implementing Declarative Parallel Bottom-Avoiding Choicehttp://citeseer.ist.psu.edu/rauberdubois02implementing.html
BitC, a new OS implementation languagehttp://citeseer.ist.psu.edu/ravara99algebra.html
A Type Theory for Memory Allocation and Data Layouthttp://citeseer.ist.psu.edu/reynolds02separation.html
Is "type" a fundamental intrinsic property of values?http://citeseer.ist.psu.edu/rittri95dimension.html
Multigame A Very High Level Language for Describing Board Gameshttp://citeseer.ist.psu.edu/romein95multigame.html
Multigame A Very High Level Language for Describing Board Gameshttp://citeseer.ist.psu.edu/romein97application.html
Referentially Transparent Schemehttp://citeseer.ist.psu.edu/sabry98what.html
The Next Mainstream Programming Languageshttp://citeseer.ist.psu.edu/sangiorgi99interpreting.html
Concurrent Clustered Programminghttp://citeseer.ist.psu.edu/saraswat91semantic.html
Lambda-muhttp://citeseer.ist.psu.edu/selinger99control.html
Practical: Designing a graph matching language.http://citeseer.ist.psu.edu/sheng99graph.html
Embedding one language in anotherhttp://citeseer.ist.psu.edu/simmons92language.html
Typed Concurrent Programming with Logic Variableshttp://citeseer.ist.psu.edu/smolka95oz.html
Formal methods for O/R mappinghttp://citeseer.ist.psu.edu/smolka95oz.html
Top N Papers 2005http://citeseer.ist.psu.edu/source.html
Deconstructing Process Isolationhttp://citeseer.ist.psu.edu/spatscheck99defending.html
Top N Papers 2005http://citeseer.ist.psu.edu/statistics.html
Building Interpreters by Composing Monadshttp://citeseer.ist.psu.edu/steele94building.html
Pre-LINQ: rich object management in your PLhttp://citeseer.ist.psu.edu/tarr93pleiades.html
Protocol languageshttp://citeseer.ist.psu.edu/thiagarajan97expressively.html
Continuations for Parallel Logic Programminghttp://citeseer.ist.psu.edu/todoran00continuations.html
ACM Queue: A Conversation with Steve Ross-Talbothttp://citeseer.ist.psu.edu/vanderaalst03pi.html
Active Libraries and Universal Languageshttp://citeseer.ist.psu.edu/veldhuizen04active.html
Restructuring Partitioned Normal Form Relations Without Information Losshttp://citeseer.ist.psu.edu/vincent97restructuring.html
Predicate Dispatch in the newshttp://citeseer.ist.psu.edu/wadler87views.html
The Killer Application for Concatenative Languageshttp://citeseer.ist.psu.edu/wadler90linear.html
New Paul Graham thing...http://citeseer.ist.psu.edu/wadler95how.html
Beyond LINQ: A Manifesto For Distributed Data-Intensive Programminghttp://citeseer.ist.psu.edu/wadler95monads.html
Conversion of 'functional' to 'imperative' algorithms: is it possible?http://citeseer.ist.psu.edu/walker00alias.html
Rules for Developing Safety-Critical Codehttp://citeseer.ist.psu.edu/wallace95functional.html
Is "type" a fundamental intrinsic property of values?http://citeseer.ist.psu.edu/wand91automatic.html
Denotational semantics of a DSL?http://citeseer.ist.psu.edu/widom92denotational.html
Avoiding worst case GC with large amounts of data?http://citeseer.ist.psu.edu/wilson92uniprocessor.html
Introduction to (Formal) Type Systemshttp://citeseer.ist.psu.edu/wright92syntactic.html
Expressivityhttp://citeseer.lcs.mit.edu/felleisen90expressive.html
"The Anatomy of a Loop"http://citeseer.lcs.mit.edu/felleisen90expressive.html
Objective scientific proof of OOP's validity? Don't need no stinkun' proof.http://citeseer.lcs.mit.edu/felleisen90expressive.html
Relevance of Curry-Howardhttp://citeseer.lcs.mit.edu/felleisen90expressive.html
A Survey of Object-Oriented Conceptshttp://citeseer.nj.nec.com/102142.html
SLAM (at POPL)http://citeseer.nj.nec.com/103674.html
Concepts, Techniques and Models of Computer Programminghttp://citeseer.nj.nec.com/120621.html
The Charity Languagehttp://citeseer.nj.nec.com/14385.html
Programming Linguisticshttp://citeseer.nj.nec.com/14832.html
Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )http://citeseer.nj.nec.com/162336.html
PROLAC: Language for protocol compilationhttp://citeseer.nj.nec.com/17536.html
Can Programming Be Liberated from the von Neumann Style?http://citeseer.nj.nec.com/183013.html
Backus Turing Award Lecturehttp://citeseer.nj.nec.com/183013.html
Computing with Cells and Atomshttp://citeseer.nj.nec.com/193761.html
A semantics for imprecise exceptionshttp://citeseer.nj.nec.com/196569.html
Logic/Object Oriented Fusionhttp://citeseer.nj.nec.com/19900.html
Does Code Decay?http://citeseer.nj.nec.com/200710.html
Type-safe Covariance in Eiffelhttp://citeseer.nj.nec.com/24009.html
Logic/Object Oriented Fusionhttp://citeseer.nj.nec.com/246051.html
Control handling primitiveshttp://citeseer.nj.nec.com/25749.html
Iteration Abstraction in Satherhttp://citeseer.nj.nec.com/265.html
A Formal Model for an Expressive Fragment of XSLThttp://citeseer.nj.nec.com/295373.html
(Elegant) Recursive Ascent Parsinghttp://citeseer.nj.nec.com/309419.html
Darcshttp://citeseer.nj.nec.com/316105.html
Constraint Logic Programming: A Surveyhttp://citeseer.nj.nec.com/334926.html
Computability and Recursionhttp://citeseer.nj.nec.com/375380.html
Compiler reliabilityhttp://citeseer.nj.nec.com/379562.html
Perspectiveshttp://citeseer.nj.nec.com/383622.html
Refactoring Functional Programshttp://citeseer.nj.nec.com/386474.html
Re-writing abstractionshttp://citeseer.nj.nec.com/392916.html
Beyond Objects: Generative Programminghttp://citeseer.nj.nec.com/408302.html
Getting Startedhttp://citeseer.nj.nec.com/423413.html
Sina Language and Composition Filtershttp://citeseer.nj.nec.com/427558.html
Sina Language and Composition Filtershttp://citeseer.nj.nec.com/441723.html
Ada and Java: real-time advantageshttp://citeseer.nj.nec.com/445079.html
Events and Continuationshttp://citeseer.nj.nec.com/4469.html
Intentional Programming Overviewhttp://citeseer.nj.nec.com/460278.html
Perspectiveshttp://citeseer.nj.nec.com/461895.html
vmgen: A Generator of Efficient Virtual Machine Interpretershttp://citeseer.nj.nec.com/485307.html
Types in Programming Languageshttp://citeseer.nj.nec.com/489211.html
A Proposal For Classifying Tangled Codehttp://citeseer.nj.nec.com/506922.html
Conceptual Integrity in Erlanghttp://citeseer.nj.nec.com/574647.html
The Java™ specs in a formal wayhttp://citeseer.nj.nec.com/582912.html
(Elegant) Recursive Ascent Parsinghttp://citeseer.nj.nec.com/82230.html
Feng Shui for Standard ML Programmershttp://citeseer.nj.nec.com/87305.html
(Lisp) Beating the Averageshttp://citeseer.nj.nec.com/88826.html
Computing with Cells and Atomshttp://citeseer.nj.nec.com/adleman94molecular.html
Generator and Search Objects in Javahttp://citeseer.nj.nec.com/allison00generator.html
Logic/Object Oriented Fusionhttp://citeseer.nj.nec.com/amir01objectoriented.html
Garbage Collection Can Be Faster Than Stack Allocationhttp://citeseer.nj.nec.com/appel87garbage.html
Garbage collection vs. reference counting in .NEThttp://citeseer.nj.nec.com/appel87garbage.html
Search and Imperative Programminghttp://citeseer.nj.nec.com/apt97search.html
Richard Hamming: You and Your Researchhttp://citeseer.nj.nec.com/articles.html
Elements of Basic Category Theoryhttp://citeseer.nj.nec.com/backhouse89making.html
NULLhttp://citeseer.nj.nec.com/barendregt94introduction.html
Getting Startedhttp://citeseer.nj.nec.com/barendregt94introduction.html
Introduction to Lambda Calculushttp://citeseer.nj.nec.com/barendregt94introduction.html
Research Papershttp://citeseer.nj.nec.com/barendregt94introduction.html
The Impact of The Lambda Calculus...http://citeseer.nj.nec.com/barendregt97impact.html
Links to JFP Papershttp://citeseer.nj.nec.com/betarte00type.html
Backwards Debugginghttp://citeseer.nj.nec.com/booth97walk.html
Description Logics in Data Managementhttp://citeseer.nj.nec.com/borgida95description.html
Contributors Needed!http://citeseer.nj.nec.com/bosch98design.html
Relational Programming (whatever happened to...)http://citeseer.nj.nec.com/breazu-tannen91structural.html
SchemeUnit and SchemeQL: Two Little Languageshttp://citeseer.nj.nec.com/breazu-tannen91structural.html
Spreadsheet Languageshttp://citeseer.nj.nec.com/cache/papers/cs/17012/ftp:zSzzSzgatekeeper.dec.comzSzpubzSzDECzSzPascalzSziso10206.pdf/extended-pascal-iso.pdf
State and modularityhttp://citeseer.nj.nec.com/cache/papers/cs/633/ftp:zSzzSzftp.cs.indiana.eduzSzpubzSzscheme-repositoryzSzdoczSzpubszSzexpress.pdf/felleisen90expressive.pdf
On Understanding Types, Data Abstraction, and Polymorphismhttp://citeseer.nj.nec.com/cardelli85understanding.html
Bricklin: Why Johnny can't programhttp://citeseer.nj.nec.com/cardelli89typeful.html
Patterns in Datatype-Generic Programminghttp://citeseer.nj.nec.com/cardelli89typeful.html
The JScript Type System, Part Onehttp://citeseer.nj.nec.com/cardelli97type.html
Dynamic languages and virtual machineshttp://citeseer.nj.nec.com/cardelli97type.html
static AND dynamic typinghttp://citeseer.nj.nec.com/cartwright91soft.html
Co- and Contra-variancehttp://citeseer.nj.nec.com/castagna95covariance.html
Escape Analysis for Javahttp://citeseer.nj.nec.com/choi99escape.html
Parallel Programming with Logic Languageshttp://citeseer.nj.nec.com/ciancarini92parallel.html
Darcshttp://citeseer.nj.nec.com/cinneide00composite.html
Darcshttp://citeseer.nj.nec.com/cinneide98program.html
Typed Logical Variables in Haskellhttp://citeseer.nj.nec.com/claessen00typed.html
DDJ, March 2004, Programming Languageshttp://citeseer.nj.nec.com/clements01little.html
Compiler reliabilityhttp://citeseer.nj.nec.com/colby00certifying.html
The Query Language TQLhttp://citeseer.nj.nec.com/conforti02tql.html
A tutorial on graph transformationhttp://citeseer.nj.nec.com/context/199172/0
Most amazing designer?http://citeseer.nj.nec.com/context/28725/0
The History of Thttp://citeseer.nj.nec.com/context/28823/0
The Charity Languagehttp://citeseer.nj.nec.com/context/359732/0
Edsger Wybe Dijkstra (1930-2002)http://citeseer.nj.nec.com/context/36701/0
Tools for ruleshttp://citeseer.nj.nec.com/context/41717/0
Looking for B. Moura dissertationhttp://citeseer.nj.nec.com/context/64159/0
Securing reflective towershttp://citeseer.nj.nec.com/context/72525/0
GNU Prologhttp://citeseer.nj.nec.com/context/9367/0
Concepts, Techniques and Models of Computer Programminghttp://citeseer.nj.nec.com/cook92interfaces.html
Direct manipulation languageshttp://citeseer.nj.nec.com/cs?q=Napier88&cs=1
Research Publication Modes Need to be Reengineeredhttp://citeseer.nj.nec.com/cs
Real Programmers Don't Use Pascalhttp://citeseer.nj.nec.com/curien00duality.html
SchemeUnit and SchemeQL: Two Little Languageshttp://citeseer.nj.nec.com/darwen95third.html
Bricklin: Why Johnny can't programhttp://citeseer.nj.nec.com/day99symbolic.html
Concept programminghttp://citeseer.nj.nec.com/dedinechin97libraries.html
First-class Attribute Grammarshttp://citeseer.nj.nec.com/demoor00firstclass.html
GNU Prologhttp://citeseer.nj.nec.com/diaz00gnu.html
Expressiveness of Declarative Languageshttp://citeseer.nj.nec.com/did/31548
Lazy Functional Parser Combinators in Javahttp://citeseer.nj.nec.com/dijkstra01lazy.html
Comparing Two Garbage Collectors for C++http://citeseer.nj.nec.com/edelson91smart.html
Comparing Two Garbage Collectors for C++http://citeseer.nj.nec.com/edelson92comparing.html
Seesofthttp://citeseer.nj.nec.com/eick94graphically.html
Polyglot Programminghttp://citeseer.nj.nec.com/elliott98declarative.html
Comparing Two Garbage Collectors for C++http://citeseer.nj.nec.com/ellis93safe.html
Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )http://citeseer.nj.nec.com/ernst98predicate.html
Making reliable distributed systems in the presence of software errorshttp://citeseer.nj.nec.com/felleisen90expressive.html
Events and Continuationshttp://citeseer.nj.nec.com/filinski89declarative.html
Packrat Parsinghttp://citeseer.nj.nec.com/filinski89declarative.html
The Java™ specs in a formal wayhttp://citeseer.nj.nec.com/filinski89declarative.html
Linguistic side effectshttp://citeseer.nj.nec.com/filinski94recursion.html
Representing Monadshttp://citeseer.nj.nec.com/filinski94representing.html
Python Metaclass Programminghttp://citeseer.nj.nec.com/filinski94representing.html
Aspects, Quantification & Obliviousnesshttp://citeseer.nj.nec.com/filman00aspectoriented.html
NULLhttp://citeseer.nj.nec.com/flanagan-essence.html
20 Years of PLDI - CALL FOR NOMINATIONShttp://citeseer.nj.nec.com/flanagan-essence.html
The Essence of Compiling with Continutationshttp://citeseer.nj.nec.com/flanagan-essence.html
Research Papershttp://citeseer.nj.nec.com/flanagan-essence.html
JScript is a Functional Languagehttp://citeseer.nj.nec.com/flatt02composable.html
Is Inheritance a Pillar of OO?http://citeseer.nj.nec.com/flatt98classe.html
Using Mix-ins with Pythonhttp://citeseer.nj.nec.com/flatt98classe.html
Sharing Code through First-class Environmentshttp://citeseer.nj.nec.com/gelernter87environments.html
Embedding Sequence Analysis in FPhttp://citeseer.nj.nec.com/giegerich92embedding.html
Contributors Needed!http://citeseer.nj.nec.com/gil98design.html
Floating Point Arithmetichttp://citeseer.nj.nec.com/goldberg91what.html
Events and Continuationshttp://citeseer.nj.nec.com/graunke01automatically.html
Events and Continuationshttp://citeseer.nj.nec.com/graunke03modeling.html
Copying and Comparing: Problems and Solutionshttp://citeseer.nj.nec.com/grogono00copying.html
You call that a Monad? This HERE's a Monad.... And a Shell.http://citeseer.nj.nec.com/haahr93es.html
The Charity Languagehttp://citeseer.nj.nec.com/hasegawa95decomposing.html
Model Checking Java Programs Using Java PathFinderhttp://citeseer.nj.nec.com/havelund98model.html
Links to JFP Papershttp://citeseer.nj.nec.com/hayden97distributed.html
Semantics of Programming Languages: A Tool-Oriented Approachhttp://citeseer.nj.nec.com/heering00semantics.html
A Proposal For Classifying Tangled Codehttp://citeseer.nj.nec.com/highley99aspect.html
Specifying reusable components using Contractshttp://citeseer.nj.nec.com/holland92specifying.html
Links to JFP Papershttp://citeseer.nj.nec.com/hoogendijk00container.html
Charming Python: Using combinatorial functions in the itertools modulehttp://citeseer.nj.nec.com/howard96inductive.html
B. Stroustrup: Serving the C++ Communityhttp://citeseer.nj.nec.com/howard96inductive.html
Generalising Monads to Arrowshttp://citeseer.nj.nec.com/hughes98generalising.html
Fold and Unfold for Program Semanticshttp://citeseer.nj.nec.com/hutton98fold.html
Folding over treeshttp://citeseer.nj.nec.com/hutton98fold.html
The Java™ specs in a formal wayhttp://citeseer.nj.nec.com/igarashi99featherweight.html
Xtatic: Native XML processing for C#http://citeseer.nj.nec.com/igarashi99featherweight.html
The Charity Languagehttp://citeseer.nj.nec.com/jacobs95objects.html
Programming Linguisticshttp://citeseer.nj.nec.com/jacobs96inheritance.html
Papers in Coalgebra Theory and Applicationshttp://citeseer.nj.nec.com/jacobs97tutorial.html
Coalgebraic Reasoning about Classes in Object-Oriented Languageshttp://citeseer.nj.nec.com/jacobs97tutorial.html
The Charity Languagehttp://citeseer.nj.nec.com/jacobs98coalgebraic.html
Coalgebraic Reasoning about Classes in Object-Oriented Languageshttp://citeseer.nj.nec.com/jacobs98coalgebraic.html
Sharing Code through First-class Environmentshttp://citeseer.nj.nec.com/jagannathan89programming.html
Linguistic Universals and Particularshttp://citeseer.nj.nec.com/jones95using.html
Links to JFP Papershttp://citeseer.nj.nec.com/jun98visualisation.html
Domain-specific Embedded Languages and Program Generatorshttp://citeseer.nj.nec.com/kamin98research.html
Applications of Continuationshttp://citeseer.nj.nec.com/kelsey95correspondence.html
Using Physical Dimensionshttp://citeseer.nj.nec.com/kennedy94dimension.html
Efficient JVM Just-in-Time Compilationhttp://citeseer.nj.nec.com/krall98efficient.html
Perspectiveshttp://citeseer.nj.nec.com/krishnamurthi98synthesizing.html
LPS: Language Prototyping Systemhttp://citeseer.nj.nec.com/labragayo01lps.html
Representing Monadshttp://citeseer.nj.nec.com/liang95monad.html
A Modular Monadic Action Semanticshttp://citeseer.nj.nec.com/liang95monad.html
Composition Languageshttp://citeseer.nj.nec.com/luckham95three.html
Real Time Processinghttp://citeseer.nj.nec.com/lundqvist99formal.html
Elements of Basic Category Theoryhttp://citeseer.nj.nec.com/martini96element.html
Elements of Basic Category Theoryhttp://citeseer.nj.nec.com/martini96element.html
The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Softwarehttp://citeseer.nj.nec.com/massalin92synthesi.html
Udell on licensing and lock-inhttp://citeseer.nj.nec.com/mattsson99mnesia.html
Hundred Year Languagehttp://citeseer.nj.nec.com/mcbride01derivative.html
Concepts, Techniques and Models of Computer Programminghttp://citeseer.nj.nec.com/meijer91functional.html
All About Monadshttp://citeseer.nj.nec.com/meijer95merging.html
Control handling primitiveshttp://citeseer.nj.nec.com/moreau94partial.html
Richard Hamming: You and Your Researchhttp://citeseer.nj.nec.com/mostcited.html
Putting Type Annotations to Workhttp://citeseer.nj.nec.com/odersky96putting.html
Theorems for free!http://citeseer.nj.nec.com/ohearn95parametricity.html
Towards the best collection APIhttp://citeseer.nj.nec.com/opdyke92refactoring.html
Evaluation Order Semantics in Expressions with Side Effectshttp://citeseer.nj.nec.com/papaspyrou00study.html
JScript is a Functional Languagehttp://citeseer.nj.nec.com/pasalic02tagless.html
De-biforestationhttp://citeseer.nj.nec.com/peytonjones96compiling.html
ll1-discuss on macroshttp://citeseer.nj.nec.com/peytonjones96compiling.html
Misc Linkshttp://citeseer.nj.nec.com/peytonjones96compiling.html
Why Events Are a Bad Ideahttp://citeseer.nj.nec.com/pike94acme.html
Dynamically scoped functions vs. AOPhttp://citeseer.nj.nec.com/prehofer97from.html
Control handling primitiveshttp://citeseer.nj.nec.com/queinnec93library.html
Sharing Code through First-class Environmentshttp://citeseer.nj.nec.com/queinnec96sharing.html
TPK Algorithm in Different Programming Languageshttp://citeseer.nj.nec.com/reid99handling.html
A Logic for Shared Mutable Data Structureshttp://citeseer.nj.nec.com/reynolds02separation.html
B. Stroustrup: Serving the C++ Communityhttp://citeseer.nj.nec.com/reynolds02separation.html
Continuations Reading Grouphttp://citeseer.nj.nec.com/reynolds93discoveries.html
Edsger Wybe Dijkstra (1930-2002)http://citeseer.nj.nec.com/reynolds93discoveries.html
Tuples + Objects + Infosets =Too Much Stuff!http://citeseer.nj.nec.com/reynolds96design.html
Heap Profiling for Space Efficiencyhttp://citeseer.nj.nec.com/runciman96heap.html
What is a Purely Functional Language?http://citeseer.nj.nec.com/sabry98what.html
Coroutines in Chttp://citeseer.nj.nec.com/schinz01tail.html
Semanticshttp://citeseer.nj.nec.com/schmidt96programming.html
Book Review: Purely Functional Data Structureshttp://citeseer.nj.nec.com/seidel96randomized.html
Folding over treeshttp://citeseer.nj.nec.com/sheard93fold.html
Refactoring Functional Programshttp://citeseer.nj.nec.com/simonyi95death.html
Richard Hamming: You and Your Researchhttp://citeseer.nj.nec.com/singhal96programming.html
Control handling primitiveshttp://citeseer.nj.nec.com/sitaram93handling.html
Delimited Control for PLT Schemehttp://citeseer.nj.nec.com/sitaram93handling.html
The Essence of Strategic Programminghttp://citeseer.nj.nec.com/smaragdakis97distil.html
Richard Hamming: You and Your Researchhttp://citeseer.nj.nec.com/source.html
Small Time Languageshttp://citeseer.nj.nec.com/stonebraker86design.html
An Analysis of the Divergence of Two Sather Dialectshttp://citeseer.nj.nec.com/stoutamire96analysi.html
Xtatic: Native XML processing for C#http://citeseer.nj.nec.com/studer00constructive.html
Coroutines in Chttp://citeseer.nj.nec.com/tarditi90no.html
Richard Hamming: You and Your Researchhttp://citeseer.nj.nec.com/thomas93scalable.html
Programming Linguisticshttp://citeseer.nj.nec.com/turi98foundation.html
A Revolution in Logic?http://citeseer.nj.nec.com/vanbenthem00hintikka.html
Meta Programming with Concrete Object Syntaxhttp://citeseer.nj.nec.com/vandenbrand98current.html
Multiple inheritance thru automated delegation in Javahttp://citeseer.nj.nec.com/viega98automated.html
Nonalgorithmic programminghttp://citeseer.nj.nec.com/wadler95how.html
A formal semantics of patterns in XSLThttp://citeseer.nj.nec.com/wadler99formal.html
A Software Engineering Perspective on Algorithmicshttp://citeseer.nj.nec.com/weihe99software.html
Uniprocessor Garbage Collection Techniqueshttp://citeseer.nj.nec.com/wilson92uniprocessor.html
Links to JFP Papershttp://citeseer.nj.nec.com/wong98kleisli.html
Barrier Methods for Garbage Collectionhttp://citeseer.nj.nec.com/zorn90barrier.html
How To Read a Paperhttp://citeulike.org/
Parrot 0.2.2 Releasedhttp://cixar.com/~segphault/programming/code/samples/parrot_test/
Mondo bizarrohttp://c-jump.com/
CLAIRE: Combining Sets, Search and Rules to Better Express Algorithmshttp://claire3.free.fr/index.htm
The Nature of Lisp (a tutorial)http://cl-cookbook.sourceforge.net/
CleanJ - Concurrent Clean on Java VMhttp://cleanj.sourceforge.net/
Continuations as UI elementshttp://cliki.net/CLIM
The Human-Language Interfacehttp://cliki.net/CLIM
What's up guys?http://cliki.tunes.org/
Message Object Oriented vs Function Object Orientedhttp://cliki.tunes.org/Actor
Elements of Basic Category Theoryhttp://cliki.tunes.org/Category%20Theory%20101
Does Visual Studio Rot the Mind?http://cliki.tunes.org/CLIM
Concepts, Techniques and Models of Computer Programminghttp://cliki.tunes.org/Dispatch
Lojbanhttp://cliki.tunes.org/Dynamo
Functional and logic paradigms...http://cliki.tunes.org/Functional
Glossary page on Lambda?http://cliki.tunes.org/Glossary
Special characters' input methodshttp://cliki.tunes.org/HTML%20special%20characters%20and%20symbols
LtU etiquettehttp://cliki.tunes.org/index
Category theoryhttp://cliki.tunes.org/Learning%20Lounge
Tunes.org and its review site updated.http://cliki.tunes.org/Learning%20Lounge
Functional and logic paradigms...http://cliki.tunes.org/Logic
Metaprogramming in Heronhttp://cliki.tunes.org/Metaprogramming
Explaining monadshttp://cliki.tunes.org/Monad
Glossary page on Lambda?http://cliki.tunes.org/Morphism
House , hOp - the Haskell Operating Systemhttp://cliki.tunes.org
Glossary page on Lambda?http://cliki.tunes.org
Tunes.org and its review site updated.http://cliki.tunes.org
Reading, Writing, and Codehttp://clim.mikemac.com/
The Human-Language Interfacehttp://clim.mikemac.com/
The Human-Language Interfacehttp://clim.mikemac.com/images/listener1.jpg
The O'Ciao Approach to OO Logic Programminghttp://clip.dia.fi.upm.es/
Inside every API is a programming language struggling to get outhttp://clip.dia.fi.upm.es/COLOGNET-WS/2002/PAPERS/Gupta.pdf
Binary relationshttp://clip.dia.fi.upm.es/papers/persdb-tr.pdf
Can Programming Be Liberated from the von Neumann Style?http://clisp.cons.org/propaganda.html
Screamer: a Common Lisp library for non-determinismhttp://clocc.sf.net
Erlang is Ickyhttp://clocc.sf.net
"Popular vs. Good" in Programming Languageshttp://clorb.sourceforge.net
CLRFIshttp://clrfi.alu.org/
Erlisp: Common Lisp Meets Erlanghttp://clrfi.alu.org/
CLRFIshttp://clrfi.alu.org/mailman/listinfo/clrfi-process
CLRFIshttp://clrfi.alu.org/mailman/listinfo
CLRFIshttp://clrfi.alu.org/process/mechanism
CLRFIshttp://clrfi.alu.org/process
CLRFIshttp://clrfi.alu.org:8080/@md=d&cd=//clrfi.alu.org/&c=Da3@//clrfi.alu.org/?ac=107&mx=10
Introduction to the Java EE 5 Platformhttp://clsql.b9.com/
Links Slideshttp://clsql.b9.com
"Popular vs. Good" in Programming Languageshttp://clsql.b9.com
Mind Mappershttp://clusty.com/clustering
Interview with Brian Kernighanhttp://cm.bell-labs.com/cm/cs/cstr/100.ps.gz
Learning a new programming languagehttp://cm.bell-labs.com/cm/cs/cstr/100.ps.gz
Small Time Languageshttp://cm.bell-labs.com/cm/cs/tpop/index.html
The new old or The "Return" to Concurrencyhttp://cm.bell-labs.com/cm/cs/upe/
SMLNJ RIP?http://cm.bell-labs.com/cm/cs/what/smlnj/
Teaching an ML compiler to speak C nativelyhttp://cm.bell-labs.com/cm/cs/who/blume/papers/nlffi.pdf
Teaching an ML compiler to speak C nativelyhttp://cm.bell-labs.com/cm/cs/who/blume/papers/nlffi-entcs.pdf
C#: Yesterday, Today, and Tomorrow: An Interview with Anders Hejlsberghttp://cm.bell-labs.com/cm/cs/who/dmr/chist.html
C language historyhttp://cm.bell-labs.com/cm/cs/who/dmr/chist.html
Five Little Languages and How They Grew: Talk at HOPLhttp://cm.bell-labs.com/cm/cs/who/dmr/hopl.html
Arc - An Unfinished Dialect of Lisphttp://cm.bell-labs.com/cm/cs/who/wadler/armstrong.ps
Erlang/OTP release with multiprocessor supporthttp://cm.bell-labs.com/cm/cs/who/wadler/armstrong.ps
Industrial-Strength Functional Programminghttp://cm.bell-labs.com/cm/cs/who/wadler/papers/sigplan-why/sigplan-why.ps
[The Creation of a Constraint-based Programming Language]http://cm.bell-labs.com/cm/cs/who/wadler/steele-oopsla98.pdf
Growing a Languagehttp://cm.bell-labs.com/cm/cs/who/wadler/steele-oopsla98.pdf
Comprehending Monadshttp://cm.bell-labs.com/cm/cs/who/wadler/topics/monads.html#monads
Lisp-Stat does not seem to be in good health lately.http://cm.bell-labs.com/cm/ms/departments/sia/doc/ISI99Omegahat.pdf
Multivariate Regressionhttp://cm.bell-labs.com/cm/ms/departments/sia/S/history.html
How fundamental is information?http://cm.bell-labs.com/cm/ms/what/shannonday/paper.html
According to Allen Holub programming is now a liberal art. When did this happen?http://cm.bell-labs.com/who/god/verisoft/
Functional programming and software engineeringhttp://cminusminus.org/
Concurrency-oriented programminghttp://cml.cs.uchicago.edu/
Erlang concurrency: why asynchronious messages?http://cml.cs.uchicago.edu/
Why Dependent Types Matterhttp://cnx.rice.edu/content/m10728/latest/
Rediscovering Object Orientationhttp://cobolreport.com/columnists/martin/04292002.asp
Events and Continuationshttp://cocoon.apache.org/
X2EE Revamps J2EEhttp://cocoon.apache.org/2.1/introduction.html
Events and Continuationshttp://cocoon.apache.org/2.1/userdocs/flow/api.html
Using continuations for web programminghttp://cocoon.apache.org/2.1/userdocs/flow/api.html
Continuations library for Javahttp://cocoon.apache.org/2.1/userdocs/flow/continuations.html
Using continuations for web programminghttp://cocoon.apache.org/2.1/userdocs/flow/index.html
Lisp sans (((paren-theses ((hell)))))http://code.google.com/p/ez2scm/
muSE - an embeddable scheme dialecthttp://code.google.com/p/muvee-symbolic-expressions/
muSE - an embeddable scheme dialecthttp://code.google.com/p/muvee-symbolic-expressions
Haskell -> Javascript converter, kind ofhttp://code.google.com/webtoolkit/
A DSL based Web Framework.http://code.google.com/webtoolkit/
Google Web Toolkithttp://code.google.com/webtoolkit/overview.html
Every language you never wanted to knowhttp://codeaholic.blogspot.com
Code Generation Netwrokhttp://codegeneration.net/tiki-index.php
Cog code generatorhttp://codegeneration.net/tiki-read_article.php?articleId=58
Coghttp://codegeneration.net/tiki-read_article.php?articleId=58
Sudokuhttp://codepoetics.com/code/sudoku.hs
Grid Computing & the Linda Programming Modelhttp://codepoetics.com/poetix/index.php?m=20041116
Grid Computing & the Linda Programming Modelhttp://codepoetics.com/poetix/index.php?m=20041117
Grid Computing & the Linda Programming Modelhttp://codepoetics.com/poetix/index.php?m=20041118
Mechanics of designing and implementing a languagehttp://codepoetics.com/poetix/index.php?p=103
Mechanics of designing and implementing a languagehttp://codepoetics.com/poetix/index.php?p=104
Mechanics of designing and implementing a languagehttp://codepoetics.com/poetix/index.php?p=94
The fate of reduce() in Python 3000http://codepoetics.com/poetix/index.php?p=94
Transactional Memory with data invariants (draft sequel to the STM-Haskell paper)http://codepoetics.com/poetix
The Problem With Threadshttp://codepoetics.com/wiki/index.php?title=Main_Page
CTM wikihttp://codepoetics.com/wiki/index.php?title=Topics:CTM_in_other_languages
Trying to get embedded python co-routines to workhttp://codespeak.net/py/current/doc/greenlet.html
First public release of PyPyhttp://codespeak.net/pypy/
PyPy wins a funding contract with the EUhttp://codespeak.net/pypy/
Type inference for Pythonhttp://codespeak.net/pypy/dist/pypy/doc/coding-guide.html
Type inference for Pythonhttp://codespeak.net/pypy/dist/pypy/doc/dynamic-language-translation.html
PyPyhttp://codespeak.net/pypy/dist/pypy/doc/getting-started.html#translate-itself-to-lower-level-languages
PyPyhttp://codespeak.net/pypy/dist/pypy/doc/index.html
Type inference for Pythonhttp://codespeak.net/pypy/dist/pypy/doc/news.html
MyHDLhttp://codespeak.net/pypy/dist/pypy/doc/objspace.html
MyHDLhttp://codespeak.net/pypy/dist/pypy/doc/theory.html#abstract-interpretation
PyPyhttp://codespeak.net/pypy/dist/pypy/doc/theory.html
PyPy wins a funding contract with the EUhttp://codespeak.net/pypy/index.cgi?doc/architecture.html
PyPy wins a funding contract with the EUhttp://codespeak.net/pypy/index.cgi?doc/objspace/restrictedpy.html
Haskell -> Javascript converter, kind ofhttp://codespeak.net/pypy
First public release of PyPyhttp://codespeak.net/svn/pypy/dist/pypy/objspace/thunk.py
New for Python 2.5http://codespeak.net/svn/user/arigo/papers/psyco/compiled/theory_psyco.ps.gz
XPythonhttp://codespeak.net/svn/user/hpk/talks/xpython-talk.txt
CogPrints - if you believe PLs are languageshttp://cogprints.org/
The Church-Turing Thesis: Breaking the Mythhttp://cogprints.org/356/
CogPrints - if you believe PLs are languageshttp://cogprints.org/view/subjects/comp-sci-lang.html
Top 5 Tech Bookshttp://cogsci.umn.edu/millennium/final.html
The essence of Dataflow Programming by Tarmo Uustalu and Varmo Venehttp://comments.gmane.org/gmane.comp.lang.haskell.general/12171
What good is Strong Normalization in Programming Languages?http://comments.gmane.org/gmane.comp.science.types/4269
μABC: A Minimal Aspect Calculushttp://common-lisp.net/project/aspectl/
I "got" imperative programming throught data bindinghttp://common-lisp.net/project/cells/
Implementing a Lisp Editor - Would like some advice.http://common-lisp.net/project/climacs/
ContextLhttp://common-lisp.net/project/closer/contextl.html
Flexible Addition of Static Typing to Dynamically Typed Programshttp://common-lisp.net/project/cmucl/doc/cmu-user/compiler-hint.html
Slashdot: "Favourite Programming Language Features?"http://common-lisp.net/project/cmucl/doc/cmu-user/index.html
Most Productive FP Lang?http://common-lisp.net/project/lispbox/
Best Common Lisp IDE?http://common-lisp.net/project/lispbox/
House , hOp - the Haskell Operating Systemhttp://common-lisp.net/project/movitz/
Yearning for a practical schemehttp://common-lisp.net/project/slime/
Objective scientific proof of OOP's validity? Don't need no stinkun' proof.http://common-lisp.net/project/slime/
On the Revival of Dynamic Languageshttp://common-lisp.net/project/slime/
Introduction to the Java EE 5 Platformhttp://common-lisp.net/project/ucw/
Programming Languages: Application and Interpretationhttp://common-lisp.net/project/ucw/rest.html
Links Slideshttp://common-lisp.net/project/ucw
"Popular vs. Good" in Programming Languageshttp://common-lisp.net/project/ucw
FORTRAN pilot projecthttp://community.computerhistory.org/scc/projects/FORTRAN/
Archiving LISP historyhttp://community.computerhistory.org/scc/projects/FORTRAN/
FORTRAN 25th anniversary film onlinehttp://community.computerhistory.org/scc/projects/FORTRAN/video/FORTRAN-1982.wmv
computerhistory's History of LISPhttp://community.computerhistory.org/scc/projects/LISP/
Archiving LISP historyhttp://community.computerhistory.org/scc/projects/LISP/
Classic LISP books onlinehttp://community.computerhistory.org/scc/projects/LISP/book/III_LispBook_Apr66.pdf
Classic LISP books onlinehttp://community.computerhistory.org/scc/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf
The Nature of Lisp (a tutorial)http://community.computerhistory.org/scc/projects/LISP/book/LISP%20I%20Programmers%20Manual.pdf
Lisp sans (((paren-theses ((hell)))))http://community.computerhistory.org/scc/projects/LISP/interlisp/Teitelman-3IJCAI.pdf
Introducing o:XMLhttp://community.moertel.com/ss/space/pxsl
Functional programming and software engineeringhttp://community.schemewiki.org/?gcc-does-no-flow-analysis
"Popular vs. Good" in Programming Languageshttp://community.schemewiki.org/
Book opinions?http://compilers.iecc.com/comparch/article/90-03-039
(Elegant) Recursive Ascent Parsinghttp://compilers.iecc.com/comparch/article/93-05-016
(Elegant) Recursive Ascent Parsinghttp://compilers.iecc.com/comparch/article/93-05-045
The Salishan problemshttp://compilers.iecc.com/comparch/article/95-06-043
Classic CS Textshttp://compilers.iecc.com/crenshaw/
Compiler with easily retargetable and flexible back-end?http://compilers.iecc.com/crenshaw/
Amusing questionhttp://compilers.iecc.com/crenshaw/
An Incremental Approach to Compiler Constructionhttp://compilers.iecc.com/crenshaw/
Musical programming and languageshttp://compo-music.net/en/accueil.php
Compo - a language to describe musichttp://compo-music.net/en/accueil.php
Inhouse traininghttp://compose.labri.fr/documentation/dsl/
What is so bad about compiling?http://compose.labri.fr/prototypes/tempo/
Tutorial Notes on Partial Evaluationhttp://compose.labri.u-bordeaux.fr/documentation/pe/
Creating applications with Mozillahttp://composite.mozdev.org
Whitespacehttp://compsoc.dur.ac.uk/whitespace/
Whitespacehttp://compsoc.dur.ac.uk/whitespace/index.php
Language Design 101http://conal.net/
New Paul Graham thing...http://conal.net/fran/
New Paul Graham thing...http://conal.net/Pan/
Functional Imageshttp://conal.net/papers/functional-images/fop-conal.pdf
Shhttp://conal.net/papers/Vertigo/
Special Topics in Domain Specific Languages (course)http://conal.net/papers/Vertigo/
Etech 2006 CFPhttp://conferences.oreillynet.com/cs/et2006/create/e_sess/
Python versus Parrot challenge, the Pie-thonhttp://conferences.oreillynet.com/os2004/
Lang .NET 2006http://conferences.oreillynet.com/os2006/
Visual Basic and LINQhttp://conferences.yapceurope.org/2005/talk/188
ESL Designhttp://confluent.org/wiki/doku.php
Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing?http://consequently.org/
2nd CfP: Structures and Deductionshttp://consequently.org/edit/page/Home
Print.google.comhttp://consequently.org/edit/page/Logic_Books_at_print.google.com
Resources related to logic?http://consequently.org/edit/page/Proof_and_Counterexample
Why Dependent Types Matterhttp://consequently.org/edit/page/Proof_and_Counterexample
Proof and Counterexamplehttp://consequently.org/edit/page/Proof_and_Counterexample
2nd CfP: Structures and Deductionshttp://consequently.org/edit/page/SD05
From shift and reset to polarized linear logichttp://consequently.org/papers/extendingj.pdf
Why Dependent Types Matterhttp://consequently.org/writing/hpplrssl/
Classic LISP books onlinehttp://cooking-with-lisp.blogspot.com/2005/07/people-learning-lisp-today-have-it-so.html
Open data types and open functionshttp://coq.inria.fr/
unchecked exceptions are like runtime type checking?http://coq.inria.fr/
MathLanghttp://coq.inria.fr/
Functional programming and software engineeringhttp://coq.inria.fr/
Formal semantics for working programmershttp://coq.inria.fr/
Dynamic Semanticshttp://coq.inria.fr/
Alloy: A Simple Structural Modeling Language Based on First-Order Logichttp://coq.inria.fr/
Specifying ECMAScript via MLhttp://coq.inria.fr/
A Very Modal Model of a Modern, Major, General Type Systemhttp://coq.inria.fr/doc/tutorial.html
Machine Obstructed Proofhttp://coq.inria.fr/doc/tutorial.html
automatic theorem provinghttp://coq.inria.fr/doc/tutorial.html
Abstracting Allocation: The New new Thinghttp://coq.inria.fr
automatic theorem provinghttp://coq.inria.fr
A type-correct, stack-safe, provably correct, expression compiler in Epigramhttp://coq.inria.fr
Cost of provably-correct codehttp://coq.inria.fr
OOP Parallel class hierarchieshttp://coq.inria.fr
unchecked exceptions are like runtime type checking?http://coq.inria.fr
Software ideals and historyhttp://courses.cs.tamu.edu/petep/24%20ideals_and_history.pdf
Pure bigraphs: structure and dynamics (by Robin Milner)http://courses.cs.vt.edu/~cs5204/fall03/DayByDay.html
Pure bigraphs: structure and dynamics (by Robin Milner)http://courses.cs.vt.edu/~cs5204/fall03/DayByDay.html
Pure bigraphs: structure and dynamics (by Robin Milner)http://courses.cs.vt.edu/~cs5204/fall03/DayByDay.html
Gottfried Wilhelm Leibnizhttp://courses.science.fau.edu/~rjordan/phy1931/VOLTAIRE/voltaire.htm
GaTech SqueakEnd 2002http://coweb.cc.gatech.edu/guzdial/17
GaTech SqueakEnd 2002http://coweb.cc.gatech.edu/mmWorkshop/3
Squeak bookshttp://coweb.cc.gatech.edu/squeakbook/
Free Smalltalk bookshttp://coweb.cc.gatech.edu/squeakbook
GaTech SqueakEnd 2002http://coweb.cc.gatech.edu:8888/cs2340/uploads/1939/introtocs2340-sp02.ppt
Squeak bookshttp://coweb.cc.gatech.edu:8888/squeakbook/uploads/noel.pdf
Transparent Persistencehttp://coyotos.org/
any functional language without GC?http://coyotos.org/docs/bitc/relnotes-0.9.html
Transparent Persistencehttp://coyotos.org/docs/misc/eros-comparison.html
Transparent Persistencehttp://coyotos.org
Perl6 - PUGShttp://cpan.uwinnipeg.ca/htdocs/ponie/jit.html
Programming in dchttp://cpe000103c34069-cm014300001653.cpe.net.cable.rogers.com/weblogs/ben/programming/dc/Prime-Sieve-in-DC.writeback
Practical: Designing a graph matching language.http://cpgraph.info.ucl.ac.be/
Common Lisp Exception Handlinghttp://cpptips.hyperformix.com/cpptips/term_except
Lean Software, Software Jewels & Software Toolshttp://cr.yp.to/bib/1995/wirth.pdf
The R Projecthttp://cran.r-project.org/doc/FAQ/R-FAQ.html#Lexical-scoping
The R Projecthttp://cran.r-project.org/doc/FAQ/R-FAQ.html
Lisp-Stat does not seem to be in good health lately.http://cran.r-project.org/doc/manuals/R-intro.html#Scope
The R Projecthttp://cran.r-project.org/doc/manuals/R-intro.html
The R Projecthttp://cran.r-project.org/doc/manuals/R-lang.html
Alan Kay's talk at O'Reilly Emerging Technology Conference 2003http://craphound.com/kayetcon2003
Introduction to the Java EE 5 Platformhttp://crazybob.org/2006/01/i-dont-get-spring.html
Failure-oblivious computinghttp://crc.stanford.edu/crc_papers/CRC-TR-98-2.pdf
Oxymoronic? "Safety-critical development guidelines for real-time Java"http://crc.stanford.edu/crc_papers/CRC-TR-98-2.pdf
The Needle Programming Languagehttp://cristal.inria.fr/~bonniot/bonniot02.ps
Static Typing Where Possible, Dynamic Typing When Neededhttp://cristal.inria.fr/~fpottier/wallace/
Objects and classes versus moduleshttp://cristal.inria.fr/~remy/
Objects and classes versus moduleshttp://cristal.inria.fr/~remy/cours/appsem/
OCaml Tutorials and Summaryhttp://cristal.inria.fr/~remy/cours/appsem/
Objects and classes versus moduleshttp://cristal.inria.fr/~remy/cours/appsem/ocaml-mixins.html
Constraint-based type inference for guarded algebraic data typeshttp://cristal.inria.fr/~simonet/publis/index.en.html
Why type systems are interestinghttp://cristal.inria.fr/~simonet/publis/index.en.html
A constraint-based approach to guarded algebraic data typeshttp://cristal.inria.fr/~simonet/publis/index.en.html
Combinators for contractshttp://cristal.inria.fr/~simonet/publis/index.en.html
E Thesis: Robust Compositionhttp://cristal.inria.fr/~simonet/publis/index.en.html
Constraint-Based Type Inference for Guarded Algebraic Data Typeshttp://cristal.inria.fr/~simonet/publis/simonet-aplas03-full.pdf
Constraint-Based Type Inference for Guarded Algebraic Data Typeshttp://cristal.inria.fr/~simonet/publis/simonet-icfp03-full.pdf
The SkyNet Virus: Why it is Unstoppable; How to Stop ithttp://cristal.inria.fr/~simonet/soft/flowcaml/
How are GADTs useful in practical programming?http://cristal.inria.fr/~simonet/soft/flowcaml/
G-Men Called on W-Hats for WMVDhttp://cristal.inria.fr/~simonet/soft/flowcaml/
Flow Camlhttp://cristal.inria.fr/~simonet/soft/flowcaml/
Combinators for contractshttp://cristal.inria.fr/~simonet/soft/flowcaml/
A Type Discipline for Authorization Policieshttp://cristal.inria.fr/~simonet/soft/flowcaml/
A Type System Equivalent to Flow Analysishttp://cristal.inria.fr/~simonet/soft/flowcaml/
Flow Camlhttp://cristal.inria.fr/~simonet/soft/flowcaml/flowcaml-manual.pdf
E Thesis: Robust Compositionhttp://cristal.inria.fr/~simonet/soft/flowcaml
ACM Queue: A Conversation with Alan Kayhttp://cristal.inria.fr/~simonet/soft/flowcaml
Call for Papers: ACM Symposium on Dynamic Languageshttp://cristal.inria.fr/~simonet/soft/flowcaml
Why type systems are interestinghttp://cristal.inria.fr/~simonet/soft/flowcaml
Flow Camlhttp://cristal.inria.fr/~simonet/talks/simonet-appsem-03.pdf
The essence of ML type inferencehttp://cristal.inria.fr/attapl/
ICFP PROGRAMMING CONTESThttp://cristal.inria.fr/ICFP2001/prog-contest/
Results of 4th ICFP Programming Contesthttp://cristal.inria.fr/ICFP2001/prog-contest/
The ICFP Programming Contest is underway!http://cristal.inria.fr/ICFP2001/prog-contest/news.html
Happy Birthday LtUhttp://cristal.inria.fr/ICFP2001/prog-contest/task.html
Exploiting parser ambiguityhttp://crm.umontreal.ca/pub/Ventes/desc/PM023.html
Map of LtU readershttp://crookedtimber.org/2005/10/26/map-of-ct-readers/
Amusing questionhttp://crookedtimber.org/2006/05/21/gateway-books-discussion-thread/
Croquet Project Releases Initial Developer Releasehttp://croquetproject.org/
Avoiding worst case GC with large amounts of data?http://cs.anu.edu.au/~Steve.Blackburn/pubs/abstracts.html
A question I have been meaning to ask.http://cs.anu.edu.au/student/comp8033/hol.html
Sudokuhttp://cs.calstatela.edu/~wiki/index.php/Courses/CS_460/Fall_2005
Sudokuhttp://cs.calstatela.edu/wiki/index.php/Courses/CS_460/Fall_2005/Homework#Sudoku_using_Finite_Sets
Marc Andreessen: A Web Odysseyhttp://cs.gmu.edu/~sean/stuff/java-objc.html
Prototyping of Mechanisms in Success/Failure Based Languageshttp://cs.hamilton.edu/~bailey/pubs/techreps/CS-90-35.pdf
The essence of Dataflow Programming by Tarmo Uustalu and Varmo Venehttp://cs.ioc.ee/~tarmo/papers/essence.pdf
The new old or The "Return" to Concurrencyhttp://cs.ioc.ee/~tarmo/papers/essence.pdf
Roles of Variableshttp://cs.joensuu.fi/~saja/var_roles/
Roles of Variableshttp://cs.joensuu.fi/~ykuliko/role_SML/
Abstractly typed languageshttp://cs.nyu.edu/~bacon/setl-doc.html
Lambda Calculus In Javahttp://cs.nyu.edu/courses/summer02/G22.2110-001/lect5.html
Impedance mismatch: RDBMS and PLshttp://cs.nyu.edu/shasha/papers/jagtalk.html
Java Collections Clearinghousehttp://cs.oregonstate.edu/~budd/books/jds/
Categorical Programming with Abstract Data Typeshttp://cs.oregonstate.edu/~erwig/meta/
Phenomenology of Languages and Language Designhttp://cs.ua.edu/403/Previous_Semesters/Fall%202002/Assignments/programming_journal.htm
Cost of provably-correct codehttp://cs.umaine.edu/~chaitin/unknowable/lisp.html
Design Concepts in Programming Languageshttp://cs.wellesley.edu/~fturbak/pubs/6821/current/
Introduction to Programming Languages (book)http://cs.wwc.edu/~aabyan/221_2/PLBOOK/
Resources related to logic?http://cs.wwc.edu/~aabyan/Logic/
VHLLshttp://cs1.cs.nyu.edu/bacon/phd-thesis/diss/node7.html
Why compiler optimizations are interestinghttp://cs1.cs.nyu.edu/leunga/www/MLRISC/Doc/html/index.html
Interview with Intel's C++ Compiler Teamhttp://cs1.cs.nyu.edu/leunga/www/MLRISC/Doc/html/index.html
Micro Autonomous Underwater Vehicles and Smalltalkhttp://cs1.cs.nyu.edu/leunga/www/MLRISC/Doc/html/index.html
Expressiveness versus execution speedhttp://cs1.cs.nyu.edu/leunga/www/MLRISC/Doc/html/INTRO.html
Micro Autonomous Underwater Vehicles and Smalltalkhttp://cs1.cs.nyu.edu/leunga/www/MLRISC/Doc/html/mlrisc-compiler.html
Micro Autonomous Underwater Vehicles and Smalltalkhttp://cs1.cs.nyu.edu/leunga/www/MLRISC/Doc/html/mlrisc-graphics.html
Micro Autonomous Underwater Vehicles and Smalltalkhttp://cs1.cs.nyu.edu/leunga/www/MLRISC/Doc/html/systems.html
Jef Raskin: The Woes of IDEshttp://csc.noctrl.edu/f/opdyke/OOPSLA2002/Papers/TransformDataLayer.pdf
A Good OOP Critique?http://csce.unl.edu/~susan/esp/van.html
Combining Theorem Proving and Programminghttp://cscs.umich.edu/~crshalizi/weblog/367.html
Gamma formalismhttp://csdl2.computer.org/comp/proceedings/hicss/1996/7324/00/73240273.pdf
The Origins and Nature of Computationhttp://csdl2.computer.org/comp/proceedings/lics/2000/0725/00/07250177.pdf
Guido: Language Design Is Not Just Solving Puzzleshttp://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/mags/so/&toc=comp/mags/so/2005/03/s3toc.xml&DOI=10.1109/MS.2005.66
TECHNICAL SYMPOSIUM ON SOFTWARE, SCIENCE & SOCIETYhttp://cse.ogi.edu/~asnyder/S3S/agenda.html
Quickieshttp://cseng.aw.com/book/related/0,3833,020163371X+11,00.html
Advanced Programming Language Design (Finkel)http://cseng.aw.com/book/related/0,3833,0805311912+20,00.html
Advanced Programming Language Design book available onlinehttp://cseng.aw.com/book/related/0,3833,0805311912+20,00.html
Advanced Programming Language Design book available onlinehttp://cseng.aw.com/book/toc/0,3830,0805311912,00.html
Future Directions for C++http://cseng.awl.com/book/0,3828,0201704315,00.html
Kristen Nygaard (1927-2002)http://cs-exhibitions.uni-klu.ac.at/documents/text/simula_an_algol_based_simulation_language.pdf
What do you mean by studying "programming languages"?http://csg.csail.mit.edu/u/a/arvind/public_html/bio.html
Chapel: "Solving the parallel programming problem"http://csg.lcs.mit.edu/pubs/memos/Memo-393/memo-393.pdf
The undergraduate language course: what to do?http://csis.pace.edu/~bergin/
Patterns for teaching Patternshttp://csis.pace.edu/~bergin/PedPat1.3.html
Embedding Prolog in Haskellhttp://csli-publications.stanford.edu/site/0937073180.html
Why type systems are interestinghttp://cs-people.bu.edu/liulk/slurpcast
Static Typing Where Possible, Dynamic Typing When Neededhttp://csserver.evansville.edu:8888/roberts/uploads/1/unanticipatedSoftwareEvolution.pdf
Non-null references?http://cs-www.cs.yale.edu/homes/dvm/nil.html
MetaOcamlhttp://cs-www.cs.yale.edu/homes/taha/MetaOCaml/
MetaOcamlhttp://cs-www.cs.yale.edu/homes/taha/publications/thesis/thesis.pdf
Obituary: Herbert Simonhttp://cui.unige.ch/langlist?IPL
A Lambda Calculus for Dynamic Bindinghttp://cui.unige.ch/OSG/research/Hop/hop.html
More on Curlhttp://curl.lcs.mit.edu/curl/wwwpaper.html
Data Parallel Algorithmshttp://cva.stanford.edu/cs99s/papers/hillis-steele-data-parallel-algorithms.pdf
Continuations in Java and Java-based Web Frameworkshttp://cvs.apache.org/viewcvs.cgi/cocoon-2.1/src/blocks/javaflow/java/org/apache/cocoon/components/flow/java/
Events and Continuationshttp://cvs.cocoondev.org/cgi-bin/viewcvs.cgi/?cvsroot=rhino
Monads are an idiom, but Idiom isn't a monadhttp://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/libraries/base/Control/Applicative.hs
According to Allen Holub programming is now a liberal art. When did this happen?http://cvs.haskell.org/cgi-bin/cvsweb.cgi/programatica/hOp/kernel/Kernel/Driver/NE2000/
According to Allen Holub programming is now a liberal art. When did this happen?http://cvs.haskell.org/cgi-bin/cvsweb.cgi/programatica/hOp/kernel/Net/
Announce: School of Expression softwarehttp://cvs.haskell.org/Hugs/pages/downloading.htm
Haskell for C Programmershttp://cvs.haskell.org/Hugs/pages/users_guide/implicit-parameters.html
C-like Functional Programming Languageshttp://cvs.metaprl.org:12000/cvsweb/cyclone/doc/cyc_users_guide.htm?rev=1.13&content-type=text/html
Type Theoretical Foundations for Data Structures, Classes, and Objectshttp://cvs.metaprl.org:12000/metaprl/default.html
Why type systems are interesting - part IIhttp://cvs.metaprl.org:12000/metaprl/papers/compiler1.html
Type Theoretical Foundations for Data Structures, Classes, and Objectshttp://cvs.metaprl.org:12000/metaprl/papers/thesis-kopylov.html
Why type systems are interesting - part IIhttp://cvs.metaprl.org:12000/metaprl/system/mp-itt.html
On the Revival of Dynamic Languageshttp://cvs.metaprl.org:12000/omake/
o:XMLhttp://cvs.sf.net/cgi-bin/viewcvs.cgi/ssax/SSAX/docs/SXML-paper.tex?rev=2.6
Trees with parent "pointers"http://cvs.sf.net/cgi-bin/viewcvs.cgi/ssax/SSAX/examples/parent-pointers.scm
Algebraic patterns in Schemehttp://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/distel/distel/elisp/patmatch.el?rev=1.7&content-type=text/vnd.viewcvs-markup
Parrot In Detailhttp://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/python/python/nondist/sandbox/parrot/
expressivity of "idiomatic C++"http://cvs.sourceforge.net/viewcvs.py/chaos-pp/order-pp/doc/tom/tom.ltx?view=markup
expressivity of "idiomatic C++"http://cvs.sourceforge.net/viewcvs.py/chaos-pp/order-pp/example/
Hungarian Notation vs The Right Thinghttp://cvs.sourceforge.net/viewcvs.py/haskell-libs/libs/physics/
The new old or The "Return" to Concurrencyhttp://cvs.sourceforge.net/viewcvs.py/kamaelia/Code/CPP/Scratch/
The new old or The "Return" to Concurrencyhttp://cvs.sourceforge.net/viewcvs.py/kamaelia/Code/Python/Kamaelia/Examples/example10/SimpleDiracEncodeDecode.py?view=auto
The new old or The "Return" to Concurrencyhttp://cvs.sourceforge.net/viewcvs.py/kamaelia/Code/Python/Kamaelia/Examples/example10/SimpleDiracPlayer.py?view=auto
The new old or The "Return" to Concurrencyhttp://cvs.sourceforge.net/viewcvs.py/kamaelia/Code/Python/Kamaelia/Examples/example4/MulticastStreamingSystem.py?view=auto
The new old or The "Return" to Concurrencyhttp://cvs.sourceforge.net/viewcvs.py/kamaelia/Code/Python/Kamaelia/Examples/example4/MulticastStreamingSystem_SRM.py?view=auto
The new old or The "Return" to Concurrencyhttp://cvs.sourceforge.net/viewcvs.py/kamaelia/Code/Python/Kamaelia/Examples/example9/Simplegame.py?view=auto
The new old or The "Return" to Concurrencyhttp://cvs.sourceforge.net/viewcvs.py/kamaelia/Code/Python/Kamaelia/Tools/KamaeliaPresent.py?rev=1.6&view=auto
The new old or The "Return" to Concurrencyhttp://cvs.sourceforge.net/viewcvs.py/kamaelia/Code/Python/Kamaelia/Tools/VisualPipeBuilder.py?rev=1.2&view=auto
The new old or The "Return" to Concurrencyhttp://cvs.sourceforge.net/viewcvs.py/kamaelia/Sketches/MPS/Paint/Paint.py?rev=1.1&view=auto
The Weird World of Bi-Directional Programminghttp://cvs.sourceforge.net/viewcvs.py/kanren/kanren/examples/pure-bin-arithm.scm
Inverse typechecker and theorem proving in intuitionistic and classical logicshttp://cvs.sourceforge.net/viewcvs.py/kanren/kanren/mini/logic.scm
The Reasoned Schemerhttp://cvs.sourceforge.net/viewcvs.py/kanren/kanren/mini/mk.scm?view=markup
Inverse typechecker and theorem proving in intuitionistic and classical logicshttp://cvs.sourceforge.net/viewcvs.py/kanren/kanren/mini/type-inference.scm
Embedding one language in anotherhttp://cvs.sourceforge.net/viewcvs.py/kokogut/kokogut/lib/Network/Network/Sockets/GetAddrInfo.ko?view=markup
Concept programminghttp://cvs.sourceforge.net/viewcvs.py/mozart-dev/mozart/xl/library/xl.math.complex.xs?rev=1.1&view=markup
Concept programminghttp://cvs.sourceforge.net/viewcvs.py/mozart-dev/mozart/xl/library/xl.text_io.xs?view=markup
Concepts: Design choices for template argument checkinghttp://cvs.sourceforge.net/viewcvs.py/mozart-dev/mozart/xl/TESTS/instantiation/minimax_vararg_generics.xl?rev=1.7&view=markup
Concept programminghttp://cvs.sourceforge.net/viewcvs.py/mozart-dev/mozart/xl/TESTS/instantiation/minimax_vararg_generics.xl?rev=1.7&view=markup
Concept programminghttp://cvs.sourceforge.net/viewcvs.py/mozart-dev/mozart/xl/TESTS/parser/external_pragma.xl?view=markup
Concept programminghttp://cvs.sourceforge.net/viewcvs.py/mozart-dev/mozart/xl/TESTS/semantics/for_loop.xl?view=markup
Concept programminghttp://cvs.sourceforge.net/viewcvs.py/xlr/xl2/bootstrap/xl.translator.xl?view=markup
o:XMLhttp://cvs.zope.org/Zope/lib/python/TAL/
Email/news interfacehttp://cvsweb.civicactions.net/cgi/cvsweb.cgi/~checkout~/civicgroups/civicspace/modules/forummail/doc/index.html?rev=1.4;content-type=text%2Fhtml
Buried Treasure - No Fluff Just Stuffhttp://cwarren.infogami.com/Boa/syntax
Advantages of Soft Typinghttp://cwarren.infogami.com/Boa/types
Type inference for Pythonhttp://cwarren.infogami.com/Boa/types
Windows Scripting?http://cwashington.netreach.net/main/default.asp?topic=links
Windows Scriptinghttp://cwashington.netreach.net/main_site/
Type systems and software evolutionhttp://cyber.law.harvard.edu/eldredvreno/
A Hacker's Introduction to Partial Evaluationhttp://cybertiggyr.com/gene/peval/peval.cgi
Let's make a programming language!http://cybertiggyr.com/gene/peval/peval.cgi
A Comparison of Ada and Real-Time Java for Safety-Critical Applicationshttp://cyclone.thelanguage.org/wiki/Papers
Petition for adding garbage collection to C++.http://cyclone.thelanguage.org/wiki/Papers
Cyclone 1.0 released.http://cyclone.thelanguage.org
A Comparison of Ada and Real-Time Java for Safety-Critical Applicationshttp://cyclone.thelanguage.org
Mind Mappershttp://dabbledb.com/
Chapel: "Solving the parallel programming problem"http://dacnet.rice.edu/Depts/CRPC/HPFF/index.cfm
Generic C# Sample Programshttp://dada.perl.it/shootout/
Comparisons between languages for performancehttp://dada.perl.it/shootout/
Erlang is Ickyhttp://dada.perl.it/shootout/
java vs. C# speed comparisons?http://dada.perl.it/shootout/index.html
Comparisons between languages for performancehttp://dada.perl.it/shootout/sieve.html
Composable memory transactionshttp://dal.i.am/cs/fp/ea8-composablememory_stm.pdf
Two misc. itemshttp://damienkatz.net/2005/01/formula-engine-rewrite.html
Why type systems are interestinghttp://danadler.com/jacob/
Reading, Writing, and Codehttp://danbricklin.com/log/2004_03_11.htm#paw
Fractal Music (and a Personal Introduction)http://dannyayers.com/archives/002511.html
Mind Mappershttp://dannyayers.com/archives/2005/10/03/semantic-web-starting-points/
Fractal Music (and a Personal Introduction)http://dannyayers.com/misc/about/biog.htm
Fractal Music (and a Personal Introduction)http://dannyayers.com
Djinn, a theorem prover in Haskell, for Haskell.http://darcs.augustsson.net/Darcs/Djinn/Djinn.tar.gz
Why do they program in C++?http://darcs.net/
Monads in Rubyhttp://darcs.net/
Human Factors Research On Programming Language Syntaxhttp://daringfireball.net/2005/09/englishlikeness_monster
The English-Likeness Monsterhttp://daringfireball.net/2005/09/englishlikeness_monster
Flapjax - Functional Reactive Ajaxhttp://daringfireball.net/linked/2006/october#wed-18-flapjax
The Little Coder's Predicamenthttp://darius.livejournal.com/30651.html
Inherited Traits - Classes Like Never Beforehttp://darksleep.com/mica/
Human Factors Research On Programming Language Syntaxhttp://databases.about.com/od/sqlserver/a/englishquery.htm
On Garbage Collectionhttp://davenet.userland.com/1999/05/24/editThisPage
PSP Experienceshttp://davidfrico.com/obeirne99.htm
Wadler: XQuery, a typed functional language for querying XMLhttp://db.bell-labs.com/galax/
Relational Programming (whatever happened to...)http://db.cis.upenn.edu/Publications/
Declarative Networking: Language, Execution and Optimizationhttp://db.cs.berkeley.edu/papers/sigmod06-declar.pdf
This Is the Title of This Story, Which Is Also Found Several Times in the Story Itselfhttp://db.cs.utwente.nl/Publications/PaperStore/db-utwente-0000003408.ps
Category theoryhttp://db.cs.utwente.nl/Publications/PaperStore/db-utwente-0000003535.pdf
Datatype Laws without Signatureshttp://db.cs.utwente.nl/Publications/PaperStore/db-utwente-404F33DB.pdf
Category theoryhttp://db.cs.utwente.nl/Publications/PaperStore/db-utwente-404F4540.pdf
Extensible Term Languagehttp://db.cwi.nl/projecten/project.php4?prjnr=117
Extensible Term Languagehttp://db.cwi.nl/projecten/project.php4?prjnr=123
Relevance of Curry-Howardhttp://db.cwi.nl/rapporten/abstract.php?abstractnr=604
The Haskell Programmer's Guide to the IO Monad --- Don't Panichttp://db.ewi.utwente.nl/Publications/PaperStore/db-utwente-0000003696.pdf
When is one thing equal to some other thing?http://db.ewi.utwente.nl/Publications/PaperStore/db-utwente-0000003696.pdf
Rel: an open source implementation of Date & Darwen's Tutorial Dhttp://dbappbuilder.sourceforge.net/cgi-bin/wiki.pl?RelProject
Rel: an open source implementation of Date & Darwen's Tutorial Dhttp://dbappbuilder.sourceforge.net/cgi-bin/wiki.pl?WhyRel
Rel: an open source implementation of Date & Darwen's Tutorial Dhttp://dbappbuilder.sourceforge.net/Rel.html#Grammar
An interview with Chris Datehttp://dbappbuilder.sourceforge.net/Rel.html
Rel: an open source implementation of Date & Darwen's Tutorial Dhttp://dbappbuilder.sourceforge.net/TutorialDGrammar.html
SchemeUnit and SchemeQL: Two Little Languageshttp://dbdebunk.com./
SQL Limitationshttp://dbdebunk.com./
Delphi?!!http://dbn.media.mit.edu/whatisdbn.html
RDF Elevator Pitchhttp://dc.internet.com/news/article.php/2209971
Gregor, the next generation XSLT compilerhttp://dcb.sun.com/practices/howtos/xslt.jsp
Haskell for C Programmershttp://dd.pangyre.org/m/monad.html
Design Patterns as Higher-Order Datatype-Generic Programs.http://debasishg.blogspot.com/2006/03/patterns-and-programming-languages.html
Abstractions considered harmful?http://debuggingabstractions.wikispaces.org/
Looking for FP Debuggershttp://debuggingabstractions.wikispaces.org/War+Stories#obogenomics
A Good OOP Critique?http://dec.bournemouth.ac.uk/ESERG/Technical_Reports/TR02-05/TR02-05.pdf
A Good OOP Critique?http://dec.bournemouth.ac.uk/ESERG/Technical_Reports/TR98-02/TR98-02.ps
Natural Language Programming for Interactive Fictionhttp://decafbad.com/blog/2006/05/01/inform-7-is-insanely-wonderful-and-full-of-words
Call for Papers: ACM Symposium on Dynamic Languageshttp://decomp.ulb.ac.be:8082/events/dls05/
Little language for use within Java, suited for users to define "rules"http://dedasys.com/freesoftware/hecl/
The lambda C++ libraryhttp://deja.com/getdoc.xp?AN=650348131
Concurrent Clustered Programminghttp://del.icio.us/manuel/concurrency+logic
ILC2002 Proceedings and Videoshttp://del.icio.us/tag/lisp
CiteULikehttp://del.icio.us
Chuck - Concurrent audio programming languagehttp://delysid.org/schearnet.html
Microsoft Atlashttp://demo.nextapp.com/InteractiveTest/ia
G-Men Called on W-Hats for WMVDhttp://den.cubik.org/
Scheme & Macroshttp://dept-info.labri.u-bordeaux.fr/~strandh/Teaching/MTP/Common/Strandh-Tutorial/diff-scheme.html
How birds learn songshttp://deseretnews.com/dn/view/1,1249,595111048,00.html
Jef Raskin: The Woes of IDEshttp://dev.eclipse.org/mhonarc/lists/stellation-res/msg00899.html
Eclipse C/C++ Dev Tools 2.0 Releasedhttp://dev.eclipse.org/viewcvs/index.cgi/%7Echeckout%7E/cdt-home/downloads/main.html?cvsroot=Tools_Project
JDeveloperAOPhttp://dev.eclipse.org/viewcvs/indextech.cgi/%7Echeckout%7E/org.eclipse.ajdt/AJDT_30M9_src/org.eclipse.ajdt/doc/whatsnew/newnoteworthy.html
AOP Without The Buzzwordshttp://dev.eclipse.org/viewcvs/indextech.cgi/~checkout~/aspectj-home/doc/progguide/starting-aspectj.html
The Dada Enginehttp://dev.null.org/dadaengine/
Future Perlhttp://dev.perl.org/~ask/als/
New Paul Graham thing...http://dev.perl.org/perl1/dist/
1st International Workshop on Interpreted Languageshttp://dev.perl.org/perl6/
Parrot 0.2.2 Releasedhttp://dev.perl.org/perl6/
Beyond LINQ: A Manifesto For Distributed Data-Intensive Programminghttp://dev.perl.org/perl6/doc/design/apo/A06.html
Why You Might Want to Try Rubyhttp://dev.rubycentral.com/book/classes.html#UC
Javascript with native XML supporthttp://dev2dev.bea.com/articles/JSchneider_XML.jsp
Javascript with native XML supporthttp://dev2dev.bea.com/articles/JSchneider_XML.jsp
Native XML Scriptinghttp://dev2dev.bea.com/articlesnews/discussion/thread.jsp?thread=JSchneider_XML
Microsoft Forges Ahead With New Compiler Technologyhttp://dev2dev.bea.com/technologies/javelin/
Microsoft Forges Ahead With New Compiler Technologyhttp://dev2dev.bea.com/technologies/javelin
Gamma formalismhttp://developer.apple.com/documentation/Cocoa/Conceptual/CocoaBindings/index.html
ObjectiveCLIPS Releasedhttp://developer.apple.com/documentation/Cocoa/Conceptual/CoreData/index.html
What will Apple's move to Intel mean for Alternative Language Communities?http://developer.apple.com/documentation/DeviceDrivers/Conceptual/IOKitFundamentals/index.html#//apple_ref/doc/uid/TP0000011
What will Apple's move to Intel mean for Alternative Language Communities?http://developer.apple.com/documentation/DeviceDrivers/index.html#//apple_ref/doc/uid/TP30000423
What will Apple's move to Intel mean for Alternative Language Communities?http://developer.apple.com/documentation/MacOSX/Conceptual/universal_binary/universal_binary.pdf
Putting Curry-Howard to Workhttp://developer.apple.com/documentation/MusicAudio/Reference/CoreAudio/core_audio_types/chapter_6_section_4.html
The Objective-C Languagehttp://developer.apple.com/techpubs/macosx/Cocoa/ObjectiveC/ObjC.pdf
Generic Javahttp://developer.java.sun.com/developer/bugParade/bugs/4144488.html
Generic Javahttp://developer.java.sun.com/developer/bugParade/bugs/4343727.html
Preview of Java 1.5http://developer.java.sun.com/developer/earlyAccess/adding_generics/index.html
Java and Pointershttp://developer.kde.org/~sewardj/
Public resources for ECMAScript Edition 4http://developer.mozilla.org/es4/
Public resources for ECMAScript Edition 4http://developer.mozilla.org/es4/clarification/clarifications.html
Public resources for ECMAScript Edition 4http://developer.mozilla.org/es4/discussion/discussions.html
Block-scopehttp://developer.mozilla.org/es4/proposals/block_expressions.html
Public resources for ECMAScript Edition 4http://developer.mozilla.org/es4/proposals/block_expressions.html
Public resources for ECMAScript Edition 4http://developer.mozilla.org/es4/proposals/iterators_and_generators.html
Public resources for ECMAScript Edition 4http://developer.mozilla.org/es4/proposals/meta_objects.html
Public resources for ECMAScript Edition 4http://developer.mozilla.org/es4/proposals/proper_tail_calls.html
Public resources for ECMAScript Edition 4http://developer.mozilla.org/es4/proposals/proposals.html
Public resources for ECMAScript Edition 4http://developer.mozilla.org/es4/proposals/stack_inspection.html
Public resources for ECMAScript Edition 4http://developer.mozilla.org/es4/proposals/structural_types_and_typing_of_initializers.html
JavaScript 2.0: Evolving a Language for Evolving Systemshttp://developer.mozilla.org/presentations/xtech2006/javascript/
JavaScript 2 and the Future of the Webhttp://developer.mozilla.org/presentations/xtech2006/javascript/
Narrative Javascripthttp://developer.mozilla.org/presentations/xtech2006/javascript/
JavaScript 2.0: Evolving a Language for Evolving Systemshttp://developer.mozilla.org/presentations/xtech2006/javascript/bigo.html
Why Johnny can't codehttp://developer.mozilla.org/samples/raycaster/RayCaster.html
Windows Scriptinghttp://developer.netscape.com/docs/manuals/javascript.html
Accelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelismhttp://developer.nvidia.com/page/cg_main.html
XNHTMLhttp://developerdocumentation.ning.com/forum.php?Forum:title=Ning+XNHTML+Reference
XNHTMLhttp://developerdocumentation.ning.com/post.php?Post:slug=AEN585
XNHTMLhttp://developerdocumentation.ning.com/post.php?Post:slug=AEN668
The new old or The "Return" to Concurrencyhttp://developers.omnimark.com/documentation/concept/603.htm
The new old or The "Return" to Concurrencyhttp://developers.omnimark.com/documentation/supplement.htm
Gamma formalismhttp://developers.omnimark.com/etcetera/streaming-component-combinators.pdf
Programming Languages in the Markup Worldhttp://developers.omnimark.com/etcetera/streaming-component-combinators.tar.gz
Refactoring Functional Programshttp://developers.slashdot.org/article.pl?sid=01/11/19/1959242&mode=thread&tid=156
Two New Microsoft Languages - AsmL and Panhttp://developers.slashdot.org/article.pl?sid=02/06/11/2137246&mode=thread&tid=109
NVIDIA's Cg technologyhttp://developers.slashdot.org/article.pl?sid=02/06/15/170237&mode=thread&tid=152
Perl Foundation Grants are Almost Emptyhttp://developers.slashdot.org/article.pl?sid=02/07/06/1556223&mode=thread&tid=145
Water : A new OO, Dynamic, and Secure Language for Web Services and XMLhttp://developers.slashdot.org/article.pl?sid=02/11/28/0251248&mode=thread&tid=156
Programming languages will become OSshttp://developers.slashdot.org/article.pl?sid=03/01/17/1656249&mode=thread&tid=156
JXXX Compiler Servicehttp://developers.slashdot.org/article.pl?sid=03/04/26/1650245
Schemix - A Scheme In The Linux Kernelhttp://developers.slashdot.org/article.pl?sid=03/04/27/1810202
80x86 ASM for ASP.NEThttp://developers.slashdot.org/article.pl?sid=03/04/28/2021204
Language Once Was Key-Now It's Designhttp://developers.slashdot.org/article.pl?sid=03/05/12/2357250
Preview of Java 1.5http://developers.slashdot.org/article.pl?sid=03/05/30/1942259
The Little Coder's Predicamenthttp://developers.slashdot.org/article.pl?sid=03/06/11/1348236
Concepts, Techniques and Models of Computer Programminghttp://developers.slashdot.org/article.pl?sid=03/06/18/127214
The Pragmatic Languagehttp://developers.slashdot.org/article.pl?sid=03/07/30/2125246
Early history of Fortranhttp://developers.slashdot.org/article.pl?sid=03/08/03/2257219
The Fault Tolerant Shellhttp://developers.slashdot.org/article.pl?sid=04/03/15/0051221
Pike 7.6 Releasedhttp://developers.slashdot.org/article.pl?sid=04/05/05/2021237&mode=thread&tid=117&tid=126&tid=156&tid=185&tid=99
Fabian Pascal on XQueryhttp://developers.slashdot.org/article.pl?sid=04/06/28/1728204&mode=thread&tid=126
Bossa, a framework for scheduler developmenthttp://developers.slashdot.org/article.pl?sid=04/07/08/199230&mode=thread&tid=106&tid=185
Musical programming and languageshttp://developers.slashdot.org/article.pl?sid=04/09/02/1257253&tid=145&tid=141&tid=1
OCaml vs. C++ for Dynamic Programminghttp://developers.slashdot.org/article.pl?sid=05/03/14/2258219&tid=156
Slashdot: Conceptual Models of a Program?http://developers.slashdot.org/developers/02/06/03/1814251.shtml?tid=156
Leo and Literate Programminghttp://developers.slashdot.org/developers/02/08/28/1655207.shtml?tid=156
Using Redundancies to Find Errorshttp://developers.slashdot.org/developers/03/01/23/0221242.shtml
Toward an architecture for quantum programminghttp://developers.slashdot.org/developers/03/04/03/221222.shtml?tid=156
The Power and Philosophy of Rubyhttp://developers.slashdot.org/developers/03/07/17/1222224.shtml
Scripting with Free Software Rexx implementationshttp://developers.slashdot.org/developers/04/03/24/0034224.shtml
Interview with Donald Knuthhttp://developers.slashdot.org/developers/05/03/14/1411203.shtml
Happy Birthday, PHP...http://developers.slashdot.org/developers/05/06/09/127249.shtml?tid=169
Interval Computationshttp://developers.sun.com/prodtech/cc/articles/int_angles/interval-angles.pdf
X2EE Revamps J2EEhttp://developers.sun.com/techtopics/webservices/reference/whitepapers/jbiwhitepaper.pdf
Functional libraries for Javahttp://devnet.developerpipeline.com/documents/s=9851/q=1/ddj0511i/0511i.html
Building an Extensible Menu Classhttp://devshed.com/Server_Side/PHP/ExtensibleMenuClass/print.html
Have scripting languages peaked?http://devworld.apple.com/dev/techsupport/develop/issue21/21strassman.html
Why Johnny can't codehttp://dewey.soe.berkeley.edu/boxer/
Eidola Languagehttp://dewey.soe.berkeley.edu/boxer/
Eidola Languagehttp://dewey.soe.berkeley.edu/boxer/availability.html
Adding Apples to Orangeshttp://dialect.sf.net
Business Objects Quark - Haskell meets Javahttp://diamond.businessobjects.com/forum/274
Alan Kay's talk at O'Reilly Emerging Technology Conference 2003http://dictionary.reference.com/search?q=anachronism
What's a definition of "type" that beginners can understand?http://dictionary.reference.com/search?q=meaning&r=67
Job / Resume postingshttp://dictionary.reference.com/search?q=obsequious
Screamer: a Common Lisp library for non-determinismhttp://dictionary.reference.com/search?q=undoable
Dr. Seuss on Parser Monadshttp://dimacs.rutgers.edu/Volumes/schools/paper82/node11.html
Multivariate Regressionhttp://dir.yahoo.com/Science/Mathematics/Statistics/
Introduction to Special Issue on Domain-Specific Languageshttp://directory.google.com/Top/Computers/CAD/AutoCAD/Development/
Welcome to the New, Improved LtU!http://directory.google.com/Top/Computers/Programming/Languages/
Trivia: Programming Language Naming Patternshttp://directory.google.com/Top/Computers/Programming/Languages/Leda/
Refactoring Functional Programshttp://directory.google.com/Top/Computers/Programming/Languages/Multiparadigm/?tc=1
The Essence of Strategic Programminghttp://directory.google.com/Top/Computers/Programming/Languages/Prograph/
Introduction to Special Issue on Domain-Specific Languageshttp://directory.google.com/Top/Computers/Programming/Languages/SAS/?tc=1
XLANG and WSFL: Syntactic Arsenichttp://directory.google.com/Top/Computers/Software/Typesetting/TeX/Converters/?tc=1
Introduction to Special Issue on Domain-Specific Languageshttp://directory.google.com/Top/Science/Math/Software/Mathematica/?tc=1
Introduction to Special Issue on Domain-Specific Languageshttp://directory.google.com/Top/Science/Math/Statistics/Software/S-PLUS/
Introduction to Special Issue on Domain-Specific Languageshttp://directory.google.com/Top/Science/Math/Statistics/Software/SPSS/
Linguistic Relativity Homepagehttp://directory.google.com/Top/Science/Social_Sciences/Anthropology/Linguistic_Anthropology/Sapir-Whorf_Hypothesis/?il=1
Animism: An Essential Concept in Programming?http://directory.google.com/Top/Science/Social_Sciences/Language_and_Linguistics/People/Lakoff,_George/
Ian Bicking: The challenge of metaprogramminghttp://dirtsimple.org/
Generic Functions have Landed (Python)http://dirtsimple.org/2004/11/generic-functions-have-landed.html
Python "Monkey Typing"http://dirtsimple.org/2005/01/monkey-typing-for-python.html
Python Optimization Surpriseshttp://dirtsimple.org/2005/02/optimization-surprises.html
Garbage collection vs. reference counting in .NEThttp://discuss.develop.com/archives/wa.exe?A2=ind0010A&L=DOTNET&P=R28572
gen<> past and presenthttp://discuss.develop.com/archives/wa.exe?A2=ind0112&L=genx&F=&S=&P=2047
The CityScript Little Languagehttp://discuss.fogcreek.com/joelonsoftware/default.asp?cmd=show&ixPost=1303&ixReplies=5
Small Time Languageshttp://discuss.fogcreek.com/joelonsoftware/default.asp?cmd=show&ixPost=319
Is Inheritance a Pillar of OO?http://discuss.fogcreek.com/joelonsoftware/default.asp?cmd=show&ixPost=33708&ixReplies=30
Hungarian Notationhttp://discuss.fogcreek.com/joelonsoftware/default.asp?cmd=show&ixPost=35396&ixReplies=28
Shrink-wrap developers: what programming language?http://discuss.fogcreek.com/joelonsoftware/default.asp?cmd=show&ixPost=47453&ixReplies=5
a new programming language called Lingohttp://discuss.fogcreek.com/joelonsoftware/default.asp?cmd=show&ixPost=49148&ixReplies=11
Withhttp://discuss.fogcreek.com/joelonsoftware/default.asp?cmd=show&ixPost=50125
Withhttp://discuss.fogcreek.com/joelonsoftware/default.asp
Continuations library for Javahttp://discuss.fogcreek.com/joelonsoftware3/default.asp?cmd=show&ixPost=94006
Lisp Lovers, how would you fix Lisp or bring it up to date?http://discuss.joelonsoftware.com/default.asp?joel.3.373043.10
distcc: a fast, free distributed C/C++ compilerhttp://distcc.samba.org/
Parallel-Concurrent Programming Dept.http://distcc.samba.org/
Toasterhttp://diveintomark.org/
The CSS debate rages onhttp://diveintomark.org/archives/00000144.html
The CSS debate rages onhttp://diveintomark.org/archives/00000159.html
RSS vs. Echohttp://diveintomark.org/archives/2003/04/21/whats_your_winer_number.html
Charming Python: Using combinatorial functions in the itertools modulehttp://diveintomark.org/archives/2003/06/23/in_brief_angry_grass_edition.html
RSS vs. Echohttp://diveintomark.org/archives/2003/06/26/will_the_real_rss_validator_please_stand_up.html
The CSS debate rages onhttp://diveintomark.org
Python timelinehttp://diveintomark.weblogger.com/pythontimeline
MVC for dummieshttp://diveintomark.weblogger.com/stories/storyReader$140
Abstracting input sourceshttp://diveintomark.weblogger.com
elj Rounduphttp://diveintopython.org/
Charming Python: Using combinatorial functions in the itertools modulehttp://diveintopython.org/
Abstracting input sourceshttp://diveintopython.org/kgp_openanything.html
COM support in Pythonhttp://diveintopython.org
Description Logics in Literate Haskellhttp://dl.kr.org/
Class hierarchies and Ontologieshttp://dl.kr.org
Unification on Stateless Objectshttp://dl.kr.org
SchemeUnit and SchemeQL: Two Little Languageshttp://dmoz.org/Computers/Software/Databases/Relational/Model/
Mind Mappershttp://dmoz.org/Reference/Knowledge_Management/Knowledge_Creation/Mind_Mapping/
Inside Software Factorieshttp://dnjonline.com/article.aspx?ID=mar05_stevecook
Gamma formalismhttp://doc.trolltech.com/3.3/signalsandslots.html
Neophyte question: detecting deadlock, livelock, races etc.http://doc.utwente.nl/49240
Tuples + Objects + Infosets =Too Much Stuff!http://docs.alphora.com/D4LGD4LanguageGuide.html
Tim Bray on Rubyhttp://docs.codehaus.org/display/~jrose
Gamma formalismhttp://docs.jboss.com/seam/latest/reference/en/html/concepts.html#d0e2511
Python 2.5a1 releasedhttp://docs.python.org/dev/whatsnew/node3.html
Python 2.5a1 releasedhttp://docs.python.org/dev/whatsnew/whatsnew25.html
Ian Bicking: The challenge of metaprogramminghttp://docs.python.org/ref/naming.html
Language design: Escaping escapeshttp://docs.python.org/ref/strings.html
Is there a formal basis for generators?http://docs.python.org/tut/node11.html#SECTION00111000000000000000000
AppleScript - a story worth tellinghttp://docs.sun.com/doc/806-2910
Types in CMUCLhttp://docs.warhead.org.uk/cltl/clm/node44.html#SECTION00800000000000000000
The Fortress Language Spec v0.618http://documents.wolfram.com/mathematica/Add-onsLinks/GUIKit/
The Fortress Language Spec v0.618http://documents.wolfram.com/mathematica/book/section-1.10.4
The Fortress Language Spec v0.618http://documents.wolfram.com/mathematica/book/section-1.10.9
The Fortress Language Spec v0.618http://documents.wolfram.com/mathematica/book/section-2.9.1
The Fortress Language Spec v0.618http://documents.wolfram.com/mathematica/Built-inFunctions/InputAndOutput/FormatTypes/FurtherExamples/StandardForm.html
The Fortress Language Spec v0.618http://documents.wolfram.com/mathematica/Built-inFunctions/InputAndOutput/FormatTypes/index.en.html
The Fortress Language Spec v0.618http://documents.wolfram.com/mathematica/functions/FullForm
The Fortress Language Spec v0.618http://documents.wolfram.com/mathematica/functions/StandardForm
The Fortress Language Spec v0.618http://documents.wolfram.com/mathematica/functions/TraditionalForm
The Fortress Language Spec v0.618http://documents.wolfram.com/mathematica/Tour/TheUnifyingIdeaOfMathematica.html
Partial trig functionshttp://documents.wolfram.com/teachersedition/Teacher/ATM.html
Multidimensional arrayshttp://documents.wolfram.com/v5/
Multidimensional arrayshttp://documents.wolfram.com/v5/Built-inFunctions/ListsAndMatrices/ElementExtraction/FurtherExamples/Part.html
Multidimensional arrayshttp://documents.wolfram.com/v5/Built-inFunctions/ListsAndMatrices/ElementExtraction/Part.html
The Fortress Language Spec v0.618http://documents.wolfram.com/v5/Built-inFunctions/NewInVersion4.x/InputAndOutput/InputAliases.html
Multidimensional arrayshttp://documents.wolfram.com/v5/Built-inFunctions/Programming/FunctionalProgramming/index.html
The Fortress Language Spec v0.618http://documents.wolfram.com/v5/GettingStarted/WorkingWithNotebooks/EnteringMathematicalNotation.html
The Fortress Language Spec v0.618http://documents.wolfram.com/v5/GettingStarted/WorkingWithNotebooks/UsingPalettes.html
The Fortress Language Spec v0.618http://documents.wolfram.com/v5/TheMathematicaBook/AdvancedMathematicsInMathematica/MathematicalAndOtherNotation/3.10.1.html
The Fortress Language Spec v0.618http://documents.wolfram.com/v5/TheMathematicaBook/APracticalIntroductionToMathematica/InputAndOutputInNotebooks/index.html
The Fortress Language Spec v0.618http://documents.wolfram.com/v5/TheMathematicaBook/APracticalIntroductionToMathematica/UsingTheMathematicaSystem/1.3.4.html
The Fortress Language Spec v0.618http://documents.wolfram.com/v5/TheMathematicaBook/MathematicaReferenceGuide/ListingOfNamedCharacters/DifferentialD.html
The Fortress Language Spec v0.618http://documents.wolfram.com/v5/TheMathematicaBook/PrinciplesOfMathematica/ManipulatingNotebooks/2.11.3.html
Multidimensional arrayshttp://documents.wolfram.com/v5/Tour/MathematicaAsAProgrammingLanguage.html
Dodohttp://dodo.sourceforge.net
Implementing Declarative Parallel Bottom-Avoiding Choicehttp://doi.acm.org.ezproxy.openu.ac.il/10.1145/72551.72555
Visual Basic and LINQhttp://doi.acm.org/10.1145/1062455.1062487
Finding Application Errors Using PQL: A Program Query Languagehttp://doi.acm.org/10.1145/1094811.1094840
Finding Application Errors Using PQL: A Program Query Languagehttp://doi.acm.org/10.1145/1094811.1094841
Why type systems are interesting - part IIhttp://doi.acm.org/10.1145/239912.239917
OOP Parallel class hierarchieshttp://doi.acm.org/10.1145/239912.239917
The Type-System-Feature-Creep Death Spiralhttp://doi.acm.org/10.1145/263699.263744
The Type-System-Feature-Creep Death Spiralhttp://doi.acm.org/10.1145/292540.292557
An interview with Chris Datehttp://doi.acm.org/10.1145/319587.319592
Questions about Semantics.http://doi.acm.org/10.1145/322609.322795
An interview with Chris Datehttp://doi.acm.org/10.1145/362384.362685
Languages Posterhttp://doi.acm.org/10.1145/365230.365257
Can Programming Be Liberated from the von Neumann Style?http://doi.acm.org/10.1145/72551.72554
Object Oriented Programming + Referential Transparencyhttp://doi.acm.org/10.1145/800168.811543
ABLEhttp://doi.acm.org/10.1145/953777.953783
Concurrency made easy?http://doi.acm.org/10.1145/97946.97955
Dataflow languages and hardware - current status and directionshttp://doi.acm.org/10.1145/980152.980156
Guido: Language Design Is Not Just Solving Puzzleshttp://doi.ieeecomputersociety.org/10.1109/MS.2005.66
Compiler Technology for Scalable Architectureshttp://domino.research.ibm.com/comm/research_projects.nsf/pages/cellcompiler.index.html
Petition for adding garbage collection to C++.http://domino.research.ibm.com/comm/research_projects.nsf/pages/metronome.index.html
The X10 Programming Languagehttp://domino.research.ibm.com/comm/research_projects.nsf/pages/x10.index.html
Philip Greenspun: Lisp diehards = Holocaust deniershttp://dotlisp.sourceforge.net/dotlisp.htm
Haskell for C Programmershttp://download.eclipse.org/eclipse/downloads/drops/S-3.1M7-200505131415/index.php
Eclipse C/C++ Dev Tools 2.0 Releasedhttp://download.eclipse.org/tools/cdt/docs/news/CDT20-News.htm
Visual Basic and LINQhttp://download.microsoft.com/download/4/7/0/4703eba2-78c4-4b09-8912-69f6c38d3a56/LINQ%20Preview.msi
C# Language Specification 2.0 drafthttp://download.microsoft.com/download/8/1/6/81682478-4018-48fe-9e5e-f87a44af3db9/SpecificationVer2.doc
C# Language Specification 2.0 (new features)http://download.microsoft.com/download/8/1/6/81682478-4018-48fe-9e5e-f87a44af3db9/SpecificationVer2.doc
Beyond LINQ: A Manifesto For Distributed Data-Intensive Programminghttp://download.microsoft.com/download/9/5/0/9503e33e-fde6-4aed-b5d0-ffe749822f1b/csharp%203.0%20specification.doc
Beyond LINQ: A Manifesto For Distributed Data-Intensive Programminghttp://download.microsoft.com/download/c/f/b/cfbbc093-f3b3-4fdb-a170-604db2e29e99/DLinq%20Overview.doc
Static type inference & late binding?http://download.plt-scheme.org/doc/103p1/html/mrspidey/node2.htm
Can a dynamically typed language support type inference?http://download.plt-scheme.org/doc/103p1/html/mrspidey/node25.htm
Lisp powers Jak & Daxter at Naughty Doghttp://download.plt-scheme.org/doc/203/html/mzlib/mzlib-Z-H-19.html#%_chap_19
PLaneThttp://download.plt-scheme.org/doc/208/html/mzscheme/mzscheme-Z-H-5.html#node_sec_5.4.1
Naked Objectshttp://download.plt-scheme.org/doc/301/html/mzscheme/mzscheme-Z-H-4.html#node_sec_4.5
The Fun of Programminghttp://download.plt-scheme.org/doc/mzscheme/mzscheme-Z-H-12.html#node_chap_12
Lisp sans (((paren-theses ((hell)))))http://download.plt-scheme.org/doc/mzscheme/mzscheme-Z-H-19.html#node_chap_19
Native delimited continuations in (byte-code) OCamlhttp://download.plt-scheme.org/doc/mzscheme/mzscheme-Z-H-6.html#node_sec_6.5
Native delimited continuations in (byte-code) OCamlhttp://download.plt-scheme.org/doc/mzscheme/mzscheme-Z-H-7.html#node_sec_7.8
Native delimited continuations in (byte-code) OCamlhttp://download.plt-scheme.org/doc/mzscheme/mzscheme-Z-H-7.html#node_sec_7.9
Does Visual Studio Rot the Mind?http://download.plt-scheme.org/drscheme/
Buried Treasure - No Fluff Just Stuffhttp://download.plt-scheme.org/mrspidey/
Frappe: Functional Reactive Programming in Javahttp://download.plt-scheme.org/scheme/
Educational Pearl: Automata as Macroshttp://download.plt-scheme.org/scheme/plt/collects/parser-tools/doc.txt
Frappe: Functional Reactive Programming in Javahttp://download.plt-scheme.org/scheme/plt-clean-cvs/collects/frtime/
Eclipse C/C++ Dev Tools 2.0 Releasedhttp://download2.eclipse.org/downloads/drops/R-3.0-200406251208/eclipse-news-part1-R3.html
Writing an interpreter, targeting a VM or writing from scratch?http://dparser.sourceforge.net
Windows security flaw - buffer-overflowhttp://dreamsongs.com/NewFiles/RoadNotTaken.pdf
teaching programming; any research or results?http://drjava.sourceforge.net/
Little language for use within Java, suited for users to define "rules"http://drools.org/
Choice of OS of LtU readershttp://drscheme.org/
Site usage question...http://drupal.org/forum
Email/news interfacehttp://drupal.org/node/29816
PHP 6 picks up GOTO and COMEFROMhttp://drupal.org/node/56815
New RSS Feed(s)http://drupal.org/node/6352
The site discussions forumhttp://drupal.org/node/view/5642
Email/news interfacehttp://drupal.org/project/listhandler
Email/news interfacehttp://drupal.org/project/mailhandler
PHP 6 picks up GOTO and COMEFROMhttp://drupal.org
Dying Tongueshttp://dsc.discovery.com/news/briefs/20040329/womenlanguage.html
Call for Papers: ACM Symposium on Dynamic Languageshttp://dsl.cs.technion.ac.il/projects/Ensemble
System programming using FPhttp://dsl.cs.technion.ac.il/projects/Ensemble
Why do they program in C++?http://dsl.cs.technion.ac.il/projects/Ensemble
Quoteshttp://dsonline.computer.org/0208/f/lam_print.htm
NULLhttp://dsonline.computer.org/0208/f/lam_print.htm
Why type systems are interestinghttp://dsonline.computer.org/0407/d/w4tow.htm
Why type systems are interesting - part IIhttp://dsonline.computer.org/0407/d/w4tow.htm
House , hOp - the Haskell Operating Systemhttp://dst.purevoid.org/
C++ OR mapping - cross platform and dbhttp://dtemplatelib.sf.net/index.htm
Reflection in Java: how are they getting with it?http://dtemplatelib.sourceforge.net/index.htm
Environmental Acquisition - A New InheritancE Mechanismhttp://duncan.smeed.org/
Real Programmers Don't Use Pascalhttp://duncan.smeed.org/
Standard Chttp://duncan.smeed.org/
DIY Web Services with Radio 8http://duncan.smeed.org/2194
My Trip To Microsofthttp://duncan.smeed.org
Untangling the balancing and searching of balanced binary search treeshttp://dx.doi.org/10.1002/spe.564
Handling multiple concurrent exceptions in C++ using futureshttp://dx.doi.org/10.1002/spe.754
Incompleteness in semantics and parallel-orhttp://dx.doi.org/10.1016/0304-3975(77)90053-6
'Information and Computation' Open Accesshttp://dx.doi.org/10.1016/0890-5401(91)90052-4
Why Dependent Types Matterhttp://dx.doi.org/10.1016/j.entcs.2003.12.011
Arrows, like Monads, are Monoidshttp://dx.doi.org/10.1016/S0304-3975(02)00366-3
The Type-System-Feature-Creep Death Spiralhttp://dx.doi.org/10.1016/S1571-0661(05)80691-7
What do you believe about Programming Languages (that you can't prove (yet))?http://dx.doi.org/10.1145/362007.362035
Expressivity of lisp/scheme but speed of assembly/C/C++http://dynamo.ecn.purdue.edu/~qobi/software.html
On Garbage Collectionhttp://dynamo.ecn.purdue.edu/~qobi/software.html
User-defined functions in Excelhttp://dynapad.swiki.net
Lojbanhttp://ebtx.com/lang/eminfrm.htm
XLANG and WSFL: Syntactic Arsenichttp://eclectic.weblogs.com
Constraint Programminghttp://eclipse.crosscoreop.com/eclipse/
Constraint Programminghttp://eclipse.crosscoreop.com/eclipse/reports/index.html
DSL Error Handling in an Object Oriented contexthttp://eclipse.org/proposals/eclipse-gmf/
The IDE Dividehttp://eclipsefp.sf.net/
The IDE Dividehttp://eclipsefp.sf.net/ocaml
The IDE Dividehttp://eclipsefp.sourceforge.net/
Haskell for C Programmershttp://eclipsefp.sourceforge.net/
Most Productive FP Lang?http://eclipsefp.sourceforge.net/ocaml/
New Paul Graham thing...http://eclipsefp.sourceforge.net
Eclipse C/C++ Dev Tools 2.0 Releasedhttp://eclipse-wiki.info/CDT
Intro to the Common Language Infrastructure with David Stutzhttp://ecoop2001.inf.elte.hu/technical_program/invited1.html
The Origins and Nature of Computationhttp://edelstein.huji.ac.il/computation_workshop/
The Origins and Nature of Computationhttp://edelstein.huji.ac.il/computation_workshop/Program_files/program.pdf
Native XML Scriptinghttp://edocs.bea.com/workshop/docs70/help/guide/xmlmap/conHandlingXMLWithECMAScriptExtensions.html
Javascript with native XML supporthttp://e-docs.bea.com/workshop/docs81/doc/en/workshop/guide/xmlmap/navHandlingXMLWithECMAScriptExtensions.html
the Chinese natual languagehttp://educ.queensu.ca/~brownan/courses/aqcsdp97fall/myersbriggs.htm
PyLogohttp://education.mit.edu/starlogo
End Users to Shape Effective Softwarehttp://eecs.oregonstate.edu/EUSES/
End Users to Shape Effective Softwarehttp://eecs.oregonstate.edu/EUSES/papers.php
The Future of .NET Languageshttp://ei.cs.vt.edu/~history/GASCH.KAY.HTML
Do languages matter?http://ei.cs.vt.edu/~wwwbtb/book/chap1/java_hist.html
Interactive Programminghttp://eic.sourceforge.net/documentation/node20.html
Eidola Languagehttp://eidola.org/about.shtml
Eidola Languagehttp://eidola.org/examples/evolution.shtml
Eidola Languagehttp://eidola.org/semantics/Eidola-semantics.pdf
Eidola Languagehttp://eidola.org
Eiffel Studio adds GPL versionhttp://eiffelsoftware.origo.ethz.ch/
Tom 2.3 Releasedhttp://elan.loria.fr/
Programming Languages: Application and Interpretationhttp://eleven.sf.net
Dr. Kenneth Iverson Passes Awayhttp://elliscave.com/APL_J/tool.pdf
Esolang Extravaganzahttp://elswanko.vm.bytemark.co.uk/~fraggle/stuffage/bf.net/
Erlang: A Case Study of Technology Introductionhttp://emea.smallworld.co.uk/support/techpaper/tp1.html
Erlang: A Case Study of Technology Introductionhttp://emea.smallworld.co.uk/support/techpaper/tp5.html
Essay: Multi-Paradigm Design and Generic Programminghttp://emw.inf.tu-dresden.de/de/pdai/Forschung/refactoring/refactoring_html/node40.html
LiteratePrograms wikihttp://en.literateprograms.org/LiteratePrograms:Downloading_LiteratePrograms_source_code_and_content
SICP Translationshttp://en.literateprograms.org/LiteratePrograms:Welcome
Proofs are Programs: 19th Century Logic and 21st Century Computinghttp://en.thinkexist.com/quotation/computer_science_is_no_more_about_computers_than/334131.html
Writing A Lisp Interpreter In Haskellhttp://en.wikibooks.org/wiki/Haskell/Write_Yourself_a_Scheme_in_48_Hours
Why type systems are interesting - part III: latent typeshttp://en.wikibooks.org/wiki/Programming:Ada:Subtypes#Checked_Conversion
Why type systems are interesting - part III: latent typeshttp://en.wikibooks.org/wiki/Programming:Ada:Subtypes
Programming: 50, 100 years from nowhttp://en.wikibooks.org/wiki/Programming:Haskell
Dependent types: literature, implementations and limitations ?http://en.wikipedia.org/w/index.php?title=Dependent_type&action=edit
3APLhttp://en.wikipedia.org/wiki/3APL
ABLEhttp://en.wikipedia.org/wiki/ABLE_programming_language
Let's make a programming language!http://en.wikipedia.org/wiki/Abstract_interpretation
Purity in PLThttp://en.wikipedia.org/wiki/Actor_model
Functional single argument style object oriented programminghttp://en.wikipedia.org/wiki/Actor_model
E Thesis: Robust Compositionhttp://en.wikipedia.org/wiki/Ambient_calculus
Constraint Programminghttp://en.wikipedia.org/wiki/Arc_consistency
AppleScript - a story worth tellinghttp://en.wikipedia.org/wiki/ARexx
History: Array languageshttp://en.wikipedia.org/wiki/Array_programming
Closures for Java or money backhttp://en.wikipedia.org/wiki/ArsDigita_Prize
Promising OS's from a Programming Language Perspectivehttp://en.wikipedia.org/wiki/AS/400_object
LL4 Program and Abstractshttp://en.wikipedia.org/wiki/Basic_English
online literature on CPL?http://en.wikipedia.org/wiki/BCPL
Sapir-Whorf again?http://en.wikipedia.org/wiki/Benjamin_Whorf
Why Are ALL Programming Languages So Low Level?http://en.wikipedia.org/wiki/Brainfuck
Failure-oblivious computinghttp://en.wikipedia.org/wiki/Bystander_effect
Type theory question...http://en.wikipedia.org/wiki/Calculus_of_constructions
Gottfried Wilhelm Leibnizhttp://en.wikipedia.org/wiki/Calculus_ratiocinator
Programming Languages and Lambda Calculihttp://en.wikipedia.org/wiki/Call_by_name#Call_by_name
LtU: Style and Focushttp://en.wikipedia.org/wiki/Captcha
Geometric Algebrahttp://en.wikipedia.org/wiki/Category:Clifford_algebras
The building of robust softwarehttp://en.wikipedia.org/wiki/Category:Dispute_resolution
Guy Steele on Language Designhttp://en.wikipedia.org/wiki/Cell_(microprocessor)
expressivity of "idiomatic C++"http://en.wikipedia.org/wiki/Chewbacca_Defense
LtU: Policies documenthttp://en.wikipedia.org/wiki/Civil_law_(legal_system)
source code conversionhttp://en.wikipedia.org/wiki/Coco/R
source code conversionhttp://en.wikipedia.org/wiki/Code_completion
Why recursing is better than loopinghttp://en.wikipedia.org/wiki/COMEFROM
LtU: Policies documenthttp://en.wikipedia.org/wiki/Common_law
Speed and semantics in CTM Chap. 1http://en.wikipedia.org/wiki/Common_subexpression_elimination
Church-Turning is False?http://en.wikipedia.org/wiki/Computability_logic
Dynamic Languages Symposium Program Onlinehttp://en.wikipedia.org/wiki/Concurrent_computing#Concurrent_programming_languages
Memory fault and segmentation faultshttp://en.wikipedia.org/wiki/Core_dump
online literature on CPL?http://en.wikipedia.org/wiki/CPL_(programming_language)
Failure-oblivious computinghttp://en.wikipedia.org/wiki/Crash-only_software
Yield Prologhttp://en.wikipedia.org/wiki/CSharp
unchecked exceptions are like runtime type checking?http://en.wikipedia.org/wiki/Curry-Howard_isomorphism
What are the real benefits of FP?http://en.wikipedia.org/wiki/Cybernetics
unchecked exceptions are like runtime type checking?http://en.wikipedia.org/wiki/Defensive_programming
"dynamic" generative programming?http://en.wikipedia.org/wiki/Definite_description
Rethinking Linguistic Relativityhttp://en.wikipedia.org/wiki/Deixis
MPS-based editor for Epigram programming language.http://en.wikipedia.org/wiki/Dependent_types
unchecked exceptions are like runtime type checking?http://en.wikipedia.org/wiki/Devil's_advocate
unchecked exceptions are like runtime type checking?http://en.wikipedia.org/wiki/Diminishing_returns
'Information and Computation' Open Accesshttp://en.wikipedia.org/wiki/Doom_engine
"Language Oriented Programming" Meta Programming Systemhttp://en.wikipedia.org/wiki/Doskona%C5%82a_pr%C3%B3%C5%BCnia
Linspire chooses Haskell as preferred languagehttp://en.wikipedia.org/wiki/Dugong
Block-scopehttp://en.wikipedia.org/wiki/Dynamic_variable_scoping
Google Magichttp://en.wikipedia.org/wiki/Ego_surfing
MPS-based editor for Epigram programming language.http://en.wikipedia.org/wiki/Epigram_programming_language
The fundamental difference between Sets and Lists?http://en.wikipedia.org/wiki/Equivalence_class
Why Dependent Types Matterhttp://en.wikipedia.org/wiki/Existential_quantification
foldl and foldrhttp://en.wikipedia.org/wiki/F-algebra
Implementing arrayshttp://en.wikipedia.org/wiki/Fanout
Stroustrup: A Brief Look at C++0xhttp://en.wikipedia.org/wiki/First-class_(object)
Stroustrup: A Brief Look at C++0xhttp://en.wikipedia.org/wiki/First-class_object
The Language Machine - a toolkit for language and grammarhttp://en.wikipedia.org/wiki/Formal_grammar
Why do they program in C++?http://en.wikipedia.org/wiki/Founder_effect
This Is the Title of This Story, Which Is Also Found Several Times in the Story Itselfhttp://en.wikipedia.org/wiki/G%C3%B6del,_Escher,_Bach
Dynamic Semanticshttp://en.wikipedia.org/wiki/Geas
Language support for generating functions?http://en.wikipedia.org/wiki/Generating_function
Genetic algorithms vs. genetic programming - PLT perspective?http://en.wikipedia.org/wiki/Genetic_algorithm
Genetic algorithms vs. genetic programming - PLT perspective?http://en.wikipedia.org/wiki/Genetic_programming
Gottfried Wilhelm Leibnizhttp://en.wikipedia.org/wiki/Gottfried_Leibniz#Information_technology
The Church-Turing Thesis: Breaking the Mythhttp://en.wikipedia.org/wiki/Halting_problem#Can_humans_solve_the_halting_problem.3F
The Church-Turing Thesis: Breaking the Mythhttp://en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof
"Types and Reflection" by Lauri Emil Alankohttp://en.wikipedia.org/wiki/Harvard_architecture
HOPL III and the History of Haskellhttp://en.wikipedia.org/wiki/HOPL
the Chinese natual languagehttp://en.wikipedia.org/wiki/Howard_Gardner
What are the real benefits of FP?http://en.wikipedia.org/wiki/Hybrid_System
Dynamic Programming Languages + VLIW/EPIChttp://en.wikipedia.org/wiki/IA-64
Map of LtU readershttp://en.wikipedia.org/wiki/Image:Edge_of_Chaos.png
expressivity of "idiomatic C++"http://en.wikipedia.org/wiki/Imre_Lakatos
Rethinking Linguistic Relativityhttp://en.wikipedia.org/wiki/Indeterminacy_of_translation
Is "post OO" just over?http://en.wikipedia.org/wiki/Information_hiding
Accelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelismhttp://en.wikipedia.org/wiki/Intel_iAPX_432
"Language Oriented Programming" Meta Programming Systemhttp://en.wikipedia.org/wiki/Intentional_programming
Inform 7: A relational DSL for interactive fiction with natural language syntaxhttp://en.wikipedia.org/wiki/Interactive_fiction
unchecked exceptions are like runtime type checking?http://en.wikipedia.org/wiki/Intuitionistic_logic
First Class Values, Types as values within a Programming Languagehttp://en.wikipedia.org/wiki/Intuitionistic_Type_Theory
The Case for First Class Messageshttp://en.wikipedia.org/wiki/Isomorphic
BrookGPUhttp://en.wikipedia.org/wiki/IWarp
Accidental Syntaxhttp://en.wikipedia.org/wiki/Jensen's_Device
E Thesis: Robust Compositionhttp://en.wikipedia.org/wiki/Join-calculus
Dr. Kenneth Iverson Passes Awayhttp://en.wikipedia.org/wiki/Kenneth_E._Iverson
Arrows, like Monads, are Monoidshttp://en.wikipedia.org/wiki/Kleene_algebra
OOP language extensionhttp://en.wikipedia.org/wiki/Ladder_logic
What is so bad about compiling?http://en.wikipedia.org/wiki/Lambda_calculus
The DSL, MDA, UML thing again...http://en.wikipedia.org/wiki/Lambda_calculus
LtU etiquettehttp://en.wikipedia.org/wiki/Lambda_calculus
generating interpreters, IDEs, etc., from simple specifications?http://en.wikipedia.org/wiki/Language-Sensitive_Editor
Functional programming and software engineeringhttp://en.wikipedia.org/wiki/Law_of_Demeter
unchecked exceptions are like runtime type checking?http://en.wikipedia.org/wiki/Law_of_excluded_middle
Grady Booch: Software Engineering Grand Challengeshttp://en.wikipedia.org/wiki/Lazy_evaluation
Advantages of Soft Typinghttp://en.wikipedia.org/wiki/Least_upper_bound
expressivity of "idiomatic C++"http://en.wikipedia.org/wiki/Lisp_programming_language#Quotations
AST intermediate representationshttp://en.wikipedia.org/wiki/Locality_of_reference
Spreadsheet structure discoveryhttp://en.wikipedia.org/wiki/Lotus_Improv
History: Array languageshttp://en.wikipedia.org/wiki/Lush_programming_language
Accidental Syntaxhttp://en.wikipedia.org/wiki/Man_or_boy_test
unchecked exceptions are like runtime type checking?http://en.wikipedia.org/wiki/Marginal_cost
unchecked exceptions are like runtime type checking?http://en.wikipedia.org/wiki/Marginal_utility
Mind Mappershttp://en.wikipedia.org/wiki/Mark_Lombardi
Polymorphic replacementhttp://en.wikipedia.org/wiki/Mementto_pattern
Functional Programming Has Reached The Masses; It's Called Visual Basichttp://en.wikipedia.org/wiki/Memoir
Visual Basic and LINQhttp://en.wikipedia.org/wiki/Metaprogramming
The Nature of Lisp (a tutorial)http://en.wikipedia.org/wiki/M-expression
Lambda the Ultimate Set Comprehensionhttp://en.wikipedia.org/wiki/Monad
Gottfried Wilhelm Leibnizhttp://en.wikipedia.org/wiki/Monadology
Failure-oblivious computinghttp://en.wikipedia.org/wiki/Moral_hazard
What are the real benefits of FP?http://en.wikipedia.org/wiki/Mu_(Japanese_word)
Chapel: "Solving the parallel programming problem"http://en.wikipedia.org/wiki/MultiLisp
Static Typing Where Possible, Dynamic Typing When Neededhttp://en.wikipedia.org/wiki/Name_binding
Lambda the Ultimate Set Comprehensionhttp://en.wikipedia.org/wiki/Natural_number_object
BrookGPUhttp://en.wikipedia.org/wiki/NCUBE
Combining Theorem Proving and Programminghttp://en.wikipedia.org/wiki/Noether's_theorem
Lang .NET Symposium Registration Now Openhttp://en.wikipedia.org/wiki/Number_of_the_Beast
Interval Computationshttp://en.wikipedia.org/wiki/Numerical_stability
Best default sequence?http://en.wikipedia.org/wiki/Object-relational_mapping
What do you believe about Programming Languages (that you can't prove (yet))?http://en.wikipedia.org/wiki/Occam_programming_language
emulation for Erlang style processeshttp://en.wikipedia.org/wiki/Occam_programming_language
The Problem With Threadshttp://en.wikipedia.org/wiki/Occam_programming_language
Sapir-Whorf again?http://en.wikipedia.org/wiki/Oligosynthetic
Class hierarchies and Ontologieshttp://en.wikipedia.org/wiki/Ontology_%28computer_science%29
unchecked exceptions are like runtime type checking?http://en.wikipedia.org/wiki/Opportunity_cost
Convergencehttp://en.wikipedia.org/wiki/Optical_computer
Oracleshttp://en.wikipedia.org/wiki/Oracle_machine
Let's make a programming language!http://en.wikipedia.org/wiki/Partial_evaluation
What do you believe about Programming Languages (that you can't prove (yet))?http://en.wikipedia.org/wiki/Pattern_recognition
Lisp is sinhttp://en.wikipedia.org/wiki/Paul_Erdos
What is a Proposition?http://en.wikipedia.org/wiki/Per_Martin-Lof
LtU: Policies documenthttp://en.wikipedia.org/wiki/Philosophy_of_law
Misc Linkshttp://en.wikipedia.org/wiki/Pi-calculus#Formal_definition
Gamma formalismhttp://en.wikipedia.org/wiki/Planner_programming_language
Embedding one language in anotherhttp://en.wikipedia.org/wiki/Polyglot_(computing)
The long tail of programming languageshttp://en.wikipedia.org/wiki/Power_law
Rethinking Linguistic Relativityhttp://en.wikipedia.org/wiki/Pragmatics
Topology in Programming Language Semanticshttp://en.wikipedia.org/wiki/Programming_language_semantics
Want to learn something newhttp://en.wikipedia.org/wiki/Prolog
Yield Prologhttp://en.wikipedia.org/wiki/Prolog
Lisp Lovers, how would you fix Lisp or bring it up to date?http://en.wikipedia.org/wiki/Proof_by_assertion
What is a Proposition?http://en.wikipedia.org/wiki/Proposition
Gottfried Wilhelm Leibnizhttp://en.wikipedia.org/wiki/Pythagoreanism
Yield Prologhttp://en.wikipedia.org/wiki/Python_%28programming_language%29
Embedding one language in anotherhttp://en.wikipedia.org/wiki/Quine
Functional programming and software engineeringhttp://en.wikipedia.org/wiki/Refal
Referentially Transparent Schemehttp://en.wikipedia.org/wiki/Referential_transparency
How does Lisp do that?!?http://en.wikipedia.org/wiki/Reflection_%28computer_science%29
Impedance mismatch: RDBMS and PLshttp://en.wikipedia.org/wiki/Relational_model
Continuations library for Javahttp://en.wikipedia.org/wiki/Representational_State_Transfer
Petition for adding garbage collection to C++.http://en.wikipedia.org/wiki/Resource_Acquisition_Is_Initialization
ObjectiveCLIPS Updatedhttp://en.wikipedia.org/wiki/Rete_algorithm
Reversible generatorshttp://en.wikipedia.org/wiki/Reversible_computing
OOPSLA 2005 Reportshttp://en.wikipedia.org/wiki/Rice%27s_theorem
Richard Hamming - "You and Your Research"http://en.wikipedia.org/wiki/Richard_Hamming
XQuery Implementation in a Relational Database Systemhttp://en.wikipedia.org/wiki/R-tree
What is Universal about the Representation of Color Experience?http://en.wikipedia.org/wiki/Sapir-Whorf_and_programming_languages
What is Universal about the Representation of Color Experience?http://en.wikipedia.org/wiki/Sapir-Whorf_Hypothesis
Functional programming and software engineeringhttp://en.wikipedia.org/wiki/SCADE
Narrative Javascripthttp://en.wikipedia.org/wiki/Scripting_language#Application-specific_languages
Memory fault and segmentation faultshttp://en.wikipedia.org/wiki/Segmentation_fault
Rethinking Linguistic Relativityhttp://en.wikipedia.org/wiki/Semantic_holism
Encodings (wikipedia)http://en.wikipedia.org/wiki/Semantics_encoding
Arrows, like Monads, are Monoidshttp://en.wikipedia.org/wiki/Semiring
What's a definition of "type" that beginners can understand?http://en.wikipedia.org/wiki/Sense_and_reference
Is "post OO" just over?http://en.wikipedia.org/wiki/Separation_of_concerns
OOP language extensionhttp://en.wikipedia.org/wiki/Sequential_logic
Network Transparent languageshttp://en.wikipedia.org/wiki/Seven_Fallacies_of_Distributed_Computing
source code conversionhttp://en.wikipedia.org/wiki/SharpDevelop
call by ? and mental modelshttp://en.wikipedia.org/wiki/Sigil_(computer_programming)
Gilad Is Righthttp://en.wikipedia.org/wiki/Siren
Geometric Algebrahttp://en.wikipedia.org/wiki/SKI_combinator_calculus
Extremely static language?http://en.wikipedia.org/wiki/Skolem
Oxymoronic? "Safety-critical development guidelines for real-time Java"http://en.wikipedia.org/wiki/Software_engineering
What is so bad about compiling?http://en.wikipedia.org/wiki/Static_single_assignment_form
Felleisen: How to Design Class Hierarchieshttp://en.wikipedia.org/wiki/Static_single_assignment_form
Two Thank Yous for Peter van Royhttp://en.wikipedia.org/wiki/Strict_programming_language
What good is Strong Normalization in Programming Languages?http://en.wikipedia.org/wiki/Strong_normalization
Ian Bicking: The challenge of metaprogramminghttp://en.wikipedia.org/wiki/Structural_induction
Sudokuhttp://en.wikipedia.org/wiki/Sudoku
What is Universal about the Representation of Color Experience?http://en.wikipedia.org/wiki/Synaesthesia
Buried Treasure - No Fluff Just Stuffhttp://en.wikipedia.org/wiki/System_F#Use_in_programming_languages
Virtual Machine and Runtime Frameworkhttp://en.wikipedia.org/wiki/Tail_recursion
Gottfried Wilhelm Leibnizhttp://en.wikipedia.org/wiki/The_Last_Question
Misspelling.http://en.wikipedia.org/wiki/The_Sound_Pattern_of_English
Gosling vs. Dynamic Languageshttp://en.wikipedia.org/wiki/The_Structure_of_Scientific_Revolutions
Programming: 50, 100 years from nowhttp://en.wikipedia.org/wiki/The_Takahashi_method
On the Unusual Effectiveness of Logic in Computer Sciencehttp://en.wikipedia.org/wiki/The_Unreasonable_Effectiveness_of_Mathematics_in_the_Natural_Sciences
Richard Feynman and the Connection Machinehttp://en.wikipedia.org/wiki/Thinking_Machines
AppleScript - a story worth tellinghttp://en.wikipedia.org/wiki/ToolTalk
Topology in Programming Language Semanticshttp://en.wikipedia.org/wiki/Topology
A new implementation of recursive-descent parsing?http://en.wikipedia.org/wiki/Trampoline_%28computers%29
What do you believe about Programming Languages (that you can't prove (yet))?http://en.wikipedia.org/wiki/Transputer
emulation for Erlang style processeshttp://en.wikipedia.org/wiki/Transputer
The fundamental difference between Sets and Lists?http://en.wikipedia.org/wiki/Tuple
The Case for First Class Messageshttp://en.wikipedia.org/wiki/Type_inference
Why type systems are interestinghttp://en.wikipedia.org/wiki/Type_safety
Why type systems are interestinghttp://en.wikipedia.org/wiki/Type_theory
Why Dependent Types Matterhttp://en.wikipedia.org/wiki/Universal_quantification
Proposed Wikipedia Programming Language Theory topichttp://en.wikipedia.org/wiki/User:EngineerScotty/Programming_Language_Theory
Community enforcement discussionhttp://en.wikipedia.org/wiki/User:EngineerScotty
Abstractly typed languageshttp://en.wikipedia.org/wiki/VDM_specification_language
Second Life Faces Threat to its Virtual Economyhttp://en.wikipedia.org/wiki/Venus_Equilateral
"Types and Reflection" by Lauri Emil Alankohttp://en.wikipedia.org/wiki/Wallaby
On the Unusual Effectiveness of Logic in Computer Sciencehttp://en.wikipedia.org/wiki/Weyl
The Nature of Lisp (a tutorial)http://en.wikipedia.org/wiki/Where_Mathematics_Comes_From
Proposed Wikipedia Programming Language Theory topichttp://en.wikipedia.org/wiki/Wikipedia:WikiProject_Computer_science
Abstractly typed languageshttp://en.wikipedia.org/wiki/Word_problem_for_groups
Choice of OS of LtU readershttp://en.wikipedia.org/wiki/Worse_is_better
LtU: blog not forum!http://en.wikipedia.org/wiki/WP:NPA
Abstractly typed languageshttp://en.wikipedia.org/wiki/Z_notation
Proposed Wikipedia Programming Language Theory topichttp://en.wikipedia.org
SAT 3 Proof with E Prover via OWLhttp://encyclopedia.thefreedictionary.com/Boolean%20satisfiability%20problem
Type systems and software evolutionhttp://encyclopedia.thefreedictionary.com/Typed%20lambda%20calculus
Erlang: A Case Study of Technology Introductionhttp://endowment.pwcglobal.com/pdfs/GranofReport.pdf
Simple explanation of Continuation Passinghttp://entropy.uark.edu/~jdfulto/
Simple explanation of Continuation Passinghttp://entropy.uark.edu/~jdfulto/cps.html
Does Visual Studio Rot the Mind?http://envman.blogspot.com/
Packaging Data And Methodshttp://envman.blogspot.com/
PBD and XML ?http://ep.open.ac.uk/PubSys/resources/html/hori1009.html
Convergencehttp://e-pig.org/
Merging Languageshttp://epolyglot.sourceforge.net/epolyglot/c10.html
The Next Mainstream Programming Languageshttp://eprints.cs.vt.edu/archive/00000206/
What do you believe about Programming Languages (that you can't prove (yet))?http://eprints.ecs.soton.ac.uk/12304/
A Good OOP Critique?http://epubs.siam.org/sam-bin/dbq/toclist/SIREV
Mechanics of designing and implementing a languagehttp://equi4.com/metakit.html
Database Abstraction Layers and Programming Languageshttp://equi4.com/vlerq.html
Petition for adding garbage collection to C++.http://erdani.org/
A software engineering problem: how would functional programming solve it?http://erdani.org/book/main.html
Dynamic Semanticshttp://erdani.org/book/main.html
Extremely static language?http://erdani.org/book/main.html
Promising OS's from a Programming Language Perspectivehttp://erights.org/
Lightweight Static Capabilitieshttp://erights.org/
Convergencehttp://erights.org/
G-Men Called on W-Hats for WMVDhttp://erights.org/elib/capability/ode/index.html
The SkyNet Virus: Why it is Unstoppable; How to Stop ithttp://erights.org/elib/capability/ode/overview.html
E - secure,distributed, pure OOP and p2p scripting languagehttp://erights.org/elib/concurrency/event-loop.html
The right default: concurrent components with message passinghttp://erights.org/elib/concurrency
G-Men Called on W-Hats for WMVDhttp://erights.org/smart-contracts/donut-lab/index.html
G-Men Called on W-Hats for WMVDhttp://erights.org/talks/asian03/index.html
Future of software design?http://erights.org/talks/thesis/
Why Dependent Types Matterhttp://erights.org
Apache vs. Yawshttp://erlang.org/
Convergencehttp://erlang.org/
What Makes Erlang Processes Tick?http://erlang.org/download/armstrong_thesis_2003.pdf
Introduction to Concurrent Programming with Stackless Pythonhttp://erlang.org
Real-life use case - which PLs support it nicely?http://erlang.se/doc/doc-5.4.8/doc/programming_examples/bit_syntax.html#4
An interview with Chris Datehttp://erlang.se/doc/doc-5.4.8/lib/mnesia-4.2.2/doc/html/mnesia.html
An interview with Chris Datehttp://erlang.se/doc/doc-5.4.8/lib/mnesia-4.2.2/doc/html/part_frame.html
Google Magichttp://es.csiro.au/pubs/craswell_sigir01.pdf
PL for interactive simulationhttp://esdl.sourceforge.net/
Why type systems are interestinghttp://eserver.org/poetry/light-brigade.html
Leszek - a new esoteric programming languagehttp://esolangs.org/wiki/Leszek
Lazy Khttp://esoteric.sange.fi/essie2/download
Ook?http://esoteric.voxelperfect.net/wiki/Language_list
Ook?http://esoteric.voxelperfect.net/wiki/Sean_Heber
European Summer School on Logic, Language and Informationhttp://esslli2004.loria.fr/
European Summer School on Logic, Language and Informationhttp://esslli2004.loria.fr/give-page.php?6
Extensible Term Languagehttp://etl.sourceforge.net/etl-java-0_2_0/doc/ProblemStatement.html
Extensible Term Languagehttp://etl.sourceforge.net/etl-java-0_2_0/xmlout/core/grammar.g.etl.html
Extensible Term Languagehttp://etl.sourceforge.net/etl-java-0_2_0/xmlout/ej/grammars/CommonControlFlow.g.etl.html
Extensible Term Languagehttp://etl.sourceforge.net/etl-java-0_2_0/xmlout/ej/grammars/EJ.g.etl.html
Extensible Term Languagehttp://etl.sourceforge.net/etl-java-0_2_0/xmlout/ej/samples/HelloWorld.ej.etl.c.html
Extensible Term Languagehttp://etl.sourceforge.net/etl-java-0_2_0/xmlout/ej/samples/HelloWorld.ej.etl.html
Extensible Term Languagehttp://etl.sourceforge.net/etl-java-0_2_0/xmlout/tests/fallback/Fallbacks.g.etl.html
Extensible Term Languagehttp://etl.sourceforge.net/etl-java-0_2_0/xmlout/tests/fallback/NonEmptyFallbacks.test.etl.html
What is a Proposition?http://euclid.trentu.ca/math/sb/pcml/welcome.html
Proof and Counterexamplehttp://eudoxos.math.uoa.gr/~lc2005/
RDFEnginehttp://eulersharp.sourceforge.net/2004/02swap/RDFEngine/RDFEngine.html
Europython presentationshttp://europython.zope.nl/sessions/presentations/all
Europython presentationshttp://europython.zope.nl/sessions/presentations/PythonLanguage/EPC2002-Christian_Tismer-Stackless_Reincarnate.pdf
Europython presentationshttp://europython.zope.nl/sessions/presentations/PythonTutorials/EPC2002-Martelli-IteratorsGenerators.pdf
Small Time Languageshttp://eveander.com/arsdigita-history
The Essence of Programming: Reynoldsfest at MFPShttp://events.cs.bham.ac.uk/mfps21/index-data#special
Expresso, environment for ISO 10303-1http://exp-engine.sourceforge.net/
HTML editorshttp://extensionroom.mozdev.org/more-info/webdeveloper
It's the language, stupid. Or is it?http://extensions.roachfiend.com/howto.html
C++ Templates as Partial Evaluationhttp://extreme.indiana.edu/~tveldhui/papers/pepm99/
Semantic Web scripting languageshttp://fabl.net/manual-2.0/intro.html
Language Design 101http://fabrice.bellard.free.fr/otcc/
Concatenative Language Konthttp://factor.sf.net
Convergencehttp://factorcode.org/
Designing a Type Notation for a Stack Based Functional Languagehttp://factorcode.org
Functional single argument style object oriented programminghttp://factorcode.org
Misspelling.http://facweb.furman.edu/~mmenzer/gvs/what.htm
Call-by-name is dual to call-by-valuehttp://fare.tunes.org/tmp/rndlc/
Sharing Code through First-class Environmentshttp://fare.tunes.org
Dynamic typing in OCamlhttp://farrand.net/dynaml.shtml
Dynamic typing in OCamlhttp://farrand.net/dynaml-tutorial.txt
Dataflow programming for PIC microcontrollershttp://faudiostream.sourceforge.net/
IPod-compatible SICPhttp://feeds.feedburner.com/SICP
Parser that allow syntax extensionshttp://felix.sf.net
Feature wishes may be grantedhttp://felix.sf.net
Petition for adding garbage collection to C++.http://felix.sourceforge.net/
Felix: The power language for C++ programmershttp://felix.sourceforge.net/
Functional programming in Javahttp://felix.sourceforge.net/
Haskell and creative freedomhttp://felix.sourceforge.net/
Let's make a programming language!http://felix.sourceforge.net/
Feature wishes may be grantedhttp://felix.sourceforge.net/flx_1.0.4/tut/doc/en_flx_tutorial_0004.html
Feature wishes may be grantedhttp://felix.sourceforge.net/flx_1.0.4/tut/doc/en_flx_tutorial_0005.html
Good languages with simple grammarhttp://felix.sourceforge.net
RT++ Higher Order Threads for C++http://felix.sourceforge.net
Java hits obstacle with cell phoneshttp://ficl.sf.net
Convergencehttp://fig.org/figure/CircleOfPromises.pdf
Convergencehttp://fig.org/figure/figure.txt
Big O complexity for abstractions?http://fig.org/gord/
Let's make a programming language!http://fig.org/gord/
Virtual Machine and Runtime Frameworkhttp://fig.org/gord/
Convergencehttp://fig.org/michael/
Erlang the Moviehttp://files.worthplaying.com/files/modules.php?name=Downloads&d_op=viewdownload&cid=793
Lang .NET Symposium Registration Now Openhttp://finance.google.com/finance?q=msft
NVIDIA's Cg technologyhttp://firingsquad.gamers.com/hardware/cg/default.asp
Ward Cunningham: Testing, Types, and Morehttp://fit.c2.com
Most amazing designer?http://fit.c2.com
Lang .NET Symposium Registration Now Openhttp://flakenstein.net/
This Is the Title of This Story, Which Is Also Found Several Times in the Story Itselfhttp://flakmag.com/misc/review.html
Flapjax - Functional Reactive Ajaxhttp://flapjax.blogspot.com/2006/10/compiler.html
Flapjax - Functional Reactive Ajaxhttp://flapjax.blogspot.com/2006/10/ie-problems.html
Flapjax - Functional Reactive Ajaxhttp://flapjax.blogspot.com/2006/10/networked-persistence.html
Mechanizing Language Definitionshttp://fling-l.seas.upenn.edu/~plclub/cgi-bin/poplmark/index.php?title=The_POPLmark_Challenge
Specifying ECMAScript via MLhttp://fling-l.seas.upenn.edu/~plclub/cgi-bin/poplmark/index.php?title=The_POPLmark_Challenge
Spring School on Datatype-Generic Programming 2006http://flint.cs.yale.edu/
Strong Typing, Dynamic Languages, What to do?http://flint.cs.yale.edu/
A type-correct, stack-safe, provably correct, expression compiler in Epigramhttp://flint.cs.yale.edu/
Church-Turning is False?http://flint.cs.yale.edu/cs428/coq/doc/faq.html#htoc45
The Church Projecthttp://flint.cs.yale.edu/flint/index.html
Spring School on Datatype-Generic Programming 2006http://flint.cs.yale.edu/flint/publications/eraseita.html
Spring School on Datatype-Generic Programming 2006http://flint.cs.yale.edu/flint/publications/ita.html
Combinators for contractshttp://flint.cs.yale.edu/spam/abstract/stefansen.html
Logic/Object Oriented Fusionhttp://flora.sourceforge.net
Embedding Prolog in Haskellhttp://flp.cs.tu-berlin.de/~tolk/vmlanguages.html#logic
Organizing papers...http://flyingmeat.com/voodoopad
Javascript Inheritancehttp://fm.dept-z.com/index.asp?get=/Resources/OOP_with_ECMAScript/
Combining Theorem Proving and Programminghttp://focal.inria.fr/site/index.php
foldl and foldrhttp://foldl.com/
Templates vs. Genericshttp://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?backward+compatibility
From Perl Monks: "pissed off about functional programming"http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?lambda+lifting
Most amazing designer?http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?PLASMA
Wanted: platform-independent Standard MLhttp://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?query=sml2c
Ian Bicking: The challenge of metaprogramminghttp://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?structural+recursion
Alloy: A Lightweight Object Modelling Notationhttp://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?Z
Object Oriented Programming + Referential Transparencyhttp://foldoc.org/?lazy+evaluation
foldl and foldrhttp://foldr.com/
foldl and foldrhttp://foldr.com
New result re "linguistic determinism"http://folk.uio.no/alied/TMoL.html
Building Interpreters by Composing Monadshttp://folli.loria.fr/cds/1999/library/pdf/barrwells.pdf
Getting Startedhttp://folli.loria.fr/cds/1999/library/pdf/curry-howard.pdf
AdbmaLhttp://formal.cs.uiuc.edu/stehr/cinni_eng.html
A Visual Environment for Developing Context-Sensitive Term Rewriting Systemshttp://formal.cs.uiuc.edu/stehr/cinni_eng.html
A Deeper Look At Metafunctionshttp://formal.cs.uiuc.edu/stehr/cinni_eng.html
automatic theorem provinghttp://formal.cs.uiuc.edu/stehr/cinni_eng.html
I am not a number: I am a free variablehttp://formal.cs.uiuc.edu/stehr/cinni_eng.html
Open data types and open functionshttp://formal.cs.uiuc.edu/stehr/cinni_eng.html
A New Approach to Abstract Syntax with Variable Bindinghttp://formal.cs.uiuc.edu/stehr/cinni_eng.html
Invariants/Contracts vs. typeshttp://formal.cs.uiuc.edu/stehr/occ_eng.html
A Visual Environment for Developing Context-Sensitive Term Rewriting Systemshttp://formal.cs.uiuc.edu/stehr/occ_eng.html
A Deeper Look At Metafunctionshttp://formal.cs.uiuc.edu/stehr/occ_eng.html
automatic theorem provinghttp://formal.cs.uiuc.edu/stehr/occ_eng.html
Questions about Semantics.http://formal.cs.uiuc.edu/stehr/occ_eng.html
Open data types and open functionshttp://formal.cs.uiuc.edu/stehr/occ_eng.html
A Visual Environment for Developing Context-Sensitive Term Rewriting Systemshttp://formal.cs.uiuc.edu/stehr/pts_eng.html
Advanced Topics in Types and Programming Languageshttp://formal.cs.uiuc.edu/stehr/pts_eng.html
automatic theorem provinghttp://formal.cs.uiuc.edu/stehr/pts_eng.html
Invariants/Contracts vs. typeshttp://formal.cs.uiuc.edu/stehr/pts_eng.html
The Type-System-Feature-Creep Death Spiralhttp://formal.cs.uiuc.edu/stehr/thesis.pdf
Enjoy the Soundnesshttp://fortnow.com/lance/complog/
Computation Complexity Webloghttp://fortnow.com/lance/complog/
Variance in Java Genericshttp://forum.java.sun.com/thread.jsp?forum=316&thread=405062&tstart=0&trange=15
Variance in Java Genericshttp://forum.java.sun.com/thread.jsp?forum=316&thread=405062&tstart=0&trange=15
More on the "generics are evil" memehttp://forum.java.sun.com/thread.jspa?forumID=316&threadID=503547
Quoteshttp://forums.itworld.com/webx?14@141.g0iHaTmagsC^0@.ee6f2d1/11!skip=
Bertrand Meyer Online Interviewhttp://forums.itworld.com/webx?14@141.g0iHaTmagsC^0@.ee6f2d1/11!skip=
NULLhttp://forums.itworld.com/webx?14@141.g0iHaTmagsC^0@.ee6f2d1/11!skip=
Why did Python Grow?http://forums.itworld.com/webx?14@87.r6AMa9KKd6Q^7@.ee6b679/144
Bertrand Meyer Online Interviewhttp://forums.itworld.com/webx?230@179.AV2wa1lPgPA^0@.ee6f2d1
Sun ships "extensible" Java compiler?http://forums.java.net/jive/thread.jspa?threadID=82
An Overview of the Singularity Projecthttp://forums.trapexit.org:81/phpBB/viewtopic.php?t=5429
Interval Datatypehttp://forums.wolfram.com/mathgroup/archive/1992/Oct/msg00112.html
&mu;ABC: A Minimal Aspect Calculushttp://fpl.cs.depaul.edu/ajeffrey/papers/concur04.pdf
Scripting Languages For Javahttp://freeroller.net/page/ericfj/20030217#scripting_from_java
Linspire chooses Haskell as preferred languagehttp://freespire.org/about/vision
Linspire chooses Haskell as preferred languagehttp://freespire.org/support/faqs
Event-Based Programming without Inversion of Controlhttp://fresh.homeunix.net/~luke/distel/
Future of software design?http://fresh.homeunix.net/~luke/distel/
What Makes Erlang Processes Tick?http://fresh.homeunix.net/~luke/distel/
Oberon Script. A Lightweight Compiler and Runtime System for the Webhttp://fresh.homeunix.net/~luke/jscm/repl.html
Educational Pearl: Automata as Macroshttp://fresh.homeunix.net/~luke/misc/cl-ppcre-slime.png
Qi 6.1 releasedhttp://fresh.homeunix.net/~luke/misc/emacs/patmatch.el.html
Code Readinghttp://fresh.homeunix.net/~luke/misc/GNUmakefile
Qi 6.1 releasedhttp://fresh.homeunix.net/~luke/misc/lisp/claw.lisp.html
Editing postshttp://fresh.homeunix.net/~luke/misc/lisp/packet.pdf
Qi 6.1 releasedhttp://fresh.homeunix.net/~luke/misc/lisp/Qi%206.1%20in%20Qi.txt
Good languages with simple grammarhttp://fresh.homeunix.net/~luke/misc/lisp/reader.lisp
Issue One of The Monad.Reader, monthly Haskell eZinehttp://fresh.homeunix.net/~luke/misc/lisp/serve-event-tricky.lisp
Issue One of The Monad.Reader, monthly Haskell eZinehttp://fresh.homeunix.net/~luke/misc/lisp/serve-event-tricky.pdf
Erlang concurrency: why asynchronious messages?http://fresh.homeunix.net/~luke/misc/lisp/slime-pda.html
Issue One of The Monad.Reader, monthly Haskell eZinehttp://fresh.homeunix.net/~luke/misc/lisp/swank.lisp
Issue One of The Monad.Reader, monthly Haskell eZinehttp://fresh.homeunix.net/~luke/misc/lisp/swank.pdf
Unix as programming languagehttp://fresh.homeunix.net/~luke/misc/untar
Erlang the Moviehttp://fresh.homeunix.net/files/erlang/erlang_the_movie.mpg.torrent
ILC2002 Proceedings and Videoshttp://fresh.homeunix.net/files/ilc02/day1-videos/
ILC2002 Proceedings and Videoshttp://fresh.homeunix.net/files/ilc02/day2-videos/
ILC2002 Proceedings and Videoshttp://fresh.homeunix.net/files/ilc02/proceedings/Gilbert-Baumann.pdf
Why You Might Want to Try Rubyhttp://freshmeat.net/articles/view/358/
Nemerlehttp://freshmeat.net/projects/gont/
TCLP is a type checker for Prolog dialectshttp://freshmeat.net/releases/149281/
Unix as programming languagehttp://freshmeat.net/search/?q=lightweight&section=projects&Go.x=0&Go.y=0
Ivory, an experimental declarative programming systemhttp://freshmeat.net
Domino on Acidhttp://freshmeat.net
Distel: Distributed Emacs Lisphttp://freshmeat.net
International Components for Unicode 3.0 Releasedhttp://fribidi.sourceforge.net/
Erlang concurrency: why asynchronious messages?http://frmb.org/occtutor.html#alting
Active Objects with Syntax Directed Dialogshttp://frmb.org/occtutor.html#types
Frost - Multimethods and FWVAs for C++http://frost.flewid.de/
Feature wishes may be grantedhttp://frost.flewid.de/
Oberon Day @ CERN 2004http://ftkachov.home.cern.ch/ftkachov/programme.html
Croquet: A Collaboration Architecturehttp://ftp.archive.org/movies/lisarein/oreilly/etech2003/alankay/
Alan Kay's talk at O'Reilly Emerging Technology Conference 2003http://ftp.archive.org/movies/lisarein/oreilly/etech2003/alankay/tour.html
Functional Imageshttp://ftp.cs.indiana.edu/pub/scheme-repository/doc/misc/TIGGER.html
When and How to Develop Domain-Specific Languageshttp://ftp.cwi.nl/CWIreports/SEN/SEN-E0309.pdf
Class hierarchies and Ontologieshttp://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-64/menzel.pdf
Non-Lisp, natively extensible?http://fullpliant.org/
Convergencehttp://fullpliant.org/
Non-Lisp, natively extensible?http://fullpliant.org/pliant/language/compiler/tutorial/overview.html
Non-Lisp, natively extensible?http://fullpliant.org/pliant/protocol/http/server.pli
Functional libraries for Javahttp://functionalj.sourceforge.net
Lambda Calculus In Javahttp://functionalj.sourceforge.net
Frinkhttp://futureboy.homeip.net/frinkdocs/
Interval Computationshttp://futureboy.us/frinkdocs/#IntervalArithmetic
Interval Datatypehttp://futureboy.us/frinkdocs/#IntervalArithmetic
Interval Computationshttp://futureboy.us/frinkdocs/#IntervalComparisonOperators
Interval Datatypehttp://futureboy.us/frinkdocs/#IntervalComparisonOperators
Interval Datatypehttp://futureboy.us/frinkdocs/
Interval Computationshttp://futureboy.us/frinkdocs/
Interval Computationshttp://futureboy.us/fsp/colorize.fsp?fileName=sun.frink
Interval Datatypehttp://futureboy.us/fsp/highlight.fsp?fileName=simplegraph.fsp
Interval Datatypehttp://futureboy.us/fsp/simplegraph.fsp
Embedding one language in anotherhttp://fxsl.sourceforge.net/
Avionics Control Systems DSL from 1994, by Doug Leahttp://g.oswego.edu/dl/acs/acs/acs.html
More on the "generics are evil" memehttp://gafter.blogspot.com/2004/09/puzzling-through-erasure-answer.html
Closures for Java or money backhttp://gafter.blogspot.com/2004/09/puzzling-through-erasure-answer.html
On the Revival of Dynamic Languageshttp://gafter.blogspot.com/2004/09/puzzling-through-erasure-answer.html
Closures for Java or money backhttp://gafter.blogspot.com/2006/08/closures-for-java.html
Closures for Java or money backhttp://gafter.blogspot.com/2006/08/tennents-correspondence-principle-and.html
Closures for Java or money backhttp://gafter.blogspot.com/2006/08/whats-point-of-closures.html
Closures for Java or money backhttp://gafter.blogspot.com/2006/09/closures-for-java-version-01.html
Closures for Java or money backhttp://gafter.blogspot.com/2006/09/control-abstraction.html
Closures for Java or money backhttp://gafter.blogspot.com/2006/09/debate-over-closures-for-java.html
Closures for Java or money backhttp://gafter.blogspot.com/2006/09/failure-of-imagination-in-language_17.html
Closures for Java or money backhttp://gafter.blogspot.com/2006/09/nominal-closures-for-java-version-02.html
Alan Kay: The Early History of Smalltalkhttp://gagne.homedns.org/%7etgagne/contrib/EarlyHistoryST.html
Polymorphic replacementhttp://galinha.ucpel.tche.br:8080/Unit%20lolevel#object-become!
A Brief History of Scalahttp://gallium.inria.fr/~remy/work/virtual/
ICFP proceedings / Scheme workshophttp://gallium.inria.fr/ml2006/program.html
What being an Editor is all abouthttp://galois.com/~sof/hugs98.net/
LPS: Language Prototyping Systemhttp://galois.com/~sof/hugs98.net/
Hugs98 for .NEThttp://galois.com/~sof/hugs98.net/
Dijkstra on analogies and anthropomorphismhttp://galois.com/
Lego Mindstorms NXT Robotics Announcedhttp://games.slashdot.org/article.pl?sid=06/01/05/1328229&tid=159&tid=156&tid=10
Once a COBOL programmer...http://gartner5.gartnerweb.com/public/static/hotc/00092702.html
Typeful Programminghttp://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/src-rr-045.html
Non-Lisp, natively extensible?http://gauss.gwydiondylan.org/books/drm/drm_76.html
Neologismhttp://gcc.fyxm.net/summit/2003/Tree%20SSA%20-%20A%20New%20optimization%20infrastructure.pdf
Nemerlehttp://gcc.gnu.org/frontends.html
Fortress focuses on the needs of scientistshttp://gcc.gnu.org/gcc-4.0/changes.html
Reading, Writing, and Codehttp://gcc.gnu.org/java/
Shrink-wrap developers: what programming language?http://gcc.gnu.org/java/
Shrink-wrap developers: what programming language?http://gcc.gnu.org/java/faq.html#2_3
Shrink-wrap developers: what programming language?http://gcc.gnu.org/java/faq.html#2_4
Tail call optimizations in GCChttp://gcc.gnu.org/ml/gcc/2000-11/msg01120.html
Functional programming and software engineeringhttp://gcc.gnu.org/onlinedocs/gcc-4.1.1/gcc/Labels-as-Values.html#Labels-as-Values
Ravenscar Profile?http://gcc.gnu.org/onlinedocs/gnat_rm/Pragma-Profile-_0028Ravenscar_0029.html
Eiffel Studio adds GPL versionhttp://gcc.gnu.org/onlinedocs/libstdc++/17_intro/license.html
Compiler Technology for Scalable Architectureshttp://gcc.gnu.org/projects/tree-ssa/vectorization.html
Mechanics of designing and implementing a languagehttp://gcc.gnu.org/projects/tree-ssa
Neologismhttp://gcc.gnu.org/projects/tree-ssa
Selected Readings on C (gcc)http://gcc.gnu.org/readings.html
GCC Wikihttp://gcc.gnu.org/wiki/
GCC Wikihttp://gcc.gnu.org/wiki/Interprocedural%20optimizations
Dynamic Semanticshttp://gcc.gnu.org
Guy Steele on Language Designhttp://gd.tuwien.ac.at/languages/smlnj/papers/95-tutorial-reppy.ps
Apache vs. Yawshttp://gee.cs.oswego.edu/dl/
The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Softwarehttp://gee.cs.oswego.edu/dl/
Erlang to OTP: A heavy duty TCP/IP Client Server applicationhttp://gee.cs.oswego.edu/dl/classes/EDU/oswego/cs/dl/util/concurrent/intro.html
JSR-166 - Concurrency Utilitieshttp://gee.cs.oswego.edu/dl/classes/EDU/oswego/cs/dl/util/concurrent/intro.html
Concurrencyhttp://gee.cs.oswego.edu/dl/classes/EDU/oswego/cs/dl/util/concurrent/intro.html
JSR-166 - Concurrency Utilitieshttp://gee.cs.oswego.edu/dl/classes/EDU/oswego/cs/dl/util/concurrent/intro.html
Beyond LINQ: A Manifesto For Distributed Data-Intensive Programminghttp://gee.cs.oswego.edu/dl/classes/EDU/oswego/cs/dl/util/concurrent/intro.html
JSR-166 - Concurrency Utilitieshttp://gee.cs.oswego.edu/dl/concurrency-interest/aims.html
JSR-166 - Concurrency Utilitieshttp://gee.cs.oswego.edu/dl/concurrency-interest/index.html
Concurrencyhttp://gee.cs.oswego.edu/dl/cpj/refs.html
Icon Language Implementation and Unicon Newshttp://gema.sourceforge.net/
Daniel Friedman: A Poorman's 'Roll Your Own' Logic Systemhttp://genamics.com/developer/csharp_comparative.htm
Back to the future...http://genify.com.18.m6.net/
The new old or The "Return" to Concurrencyhttp://geocities.com/bdenckla@sbcglobal.net/LtU/mainEss.pdf
The essence of Dataflow Programming by Tarmo Uustalu and Varmo Venehttp://geocities.com/bdenckla@sbcglobal.net/LtU/mainEss.pdf
Forum usabilityhttp://getfirefox.com/
Tom 2.4 Releasedhttp://gforge.inria.fr/frs/shownotes.php?release_id=691
Concrete Abstractions on the webhttp://gigamonkeys.com/book/
Croquet: A Collaboration Architecturehttp://glab.cs.uni-magdeburg.de/~croquet/
Are Higher-Order Type Systems Too Hard?http://glab.cs.uni-magdeburg.de/~croquet/downloads/Croquet0.1.pdf
NULLhttp://glab.cs.uni-magdeburg.de/~croquet/downloads/Croquet0.1.pdf
Quoteshttp://glab.cs.uni-magdeburg.de/~croquet/downloads/Croquet0.1.pdf
What will Apple's move to Intel mean for Alternative Language Communities?http://globalguerrillas.typepad.com/johnrobb/2005/05/17_inch_powerbo.html
Review of Python Bookshttp://gnosis.cx/cgi/txt2html.cgi?source=http://gnosis.cx/publish/programming/charming_python_12.txt
Functional Programming in Pythonhttp://gnosis.cx/cgi/txt2html.cgi?source=http://gnosis.cx/publish/programming/charming_python_13.txt&proxy=NONE
Functional Pythonhttp://gnosis.cx/cgi/txt2html.cgi?source=http://gnosis.cx/publish/programming/charming_python_8.txt
Charming Python: Using combinatorial functions in the itertools modulehttp://gnosis.cx/download/gnosis
Functional Programming in Pythonhttp://gnosis.cx/publish/programming/
Functional Programming in Pythonhttp://gnosis.cx/publish/programming/charming_python_13.txt
Pythologic - Prolog syntax in Pythonhttp://gnosis.cx/publish/programming/charming_python_b11.txt
Metaclass programming in Python, Part 2http://gnosis.cx/TPiP/
Good languages with simple grammarhttp://gnu.archive.hk/software/smalltalk/gst-manual/gst_41.html
Pyrex - A language for writing Python extension moduleshttp://gnu-prolog.inria.fr/
GNU Prologhttp://gnuprologjava.sourceforge.net/
Notes on Postmodern Programminghttp://goanna.cs.rmit.edu.au/~jz/wfcs.html
Notes on Postmodern Programminghttp://goanna.cs.rmit.edu.au/~jz/writing.html
programming languages with chickenhttp://god404.net/wiesentiger/archives/00000029.htm
Holodeck games and CCCshttp://golem.ph.utexas.edu/category/2006/10/classical_vs_quantum_computati_3.html
JExampleshttp://gonzui.sourceforge.net/
Croquet: A Collaboration Architecturehttp://goodoldadventures.com/index.html
The fate of reduce() in Python 3000http://goog-goopy.sourceforge.net/
Google Code Searchhttp://google.com/codesearch?hl=en&lr=&q=file%3A%5C.l%3Fhs%24+isEmpty&btnG=Search
Google Code Searchhttp://google.com/codesearch?q=file%3A%5C.hs%24+isEmpty&btnG=Search+Code
Self-application as a fixpoint of call/cchttp://google.com/groups?selm=7eb8ac3e.0309182239.5a64b3b1%40posting.google.com
Python 'for' as Scheme 'let'http://google.com/groups?selm=7eb8ac3e.0402131819.46d2bbb4%40posting.google.com
Programming as if Performance Matteredhttp://google.com/groups?threadm=7eb8ac3e.0201120052.ee51092%40posting.google.com
Programming as if Performance Matteredhttp://google.com/groups?threadm=7eb8ac3e.0201120056.3fc231c8%40posting.google.com
Paul Vick: BASIC principleshttp://google.com/trends?q=vb%7Cvisual-basic%2Cc%23&ctab=0&geo=all&date=all
Joshua Bloch: "Nearly All Binary Searches Broken"http://googleresearch.blogspot.com/2006/06/extra-extra-read-all-about-it-nearly.html
Implementations of .NET-Targeted Languages Problematichttp://got.net/~landauer/tmp/DeathPaper.html
Are delegates the moniker of .NET?http://gotdotnet.com/team/csharp/conferences/OOPSLA%202002%20CSharp.ppt
Microsoft rules...http://gotdotnet.com/team/csharp/learn/Future/default.aspx
expressivity of "idiomatic C++"http://graphics.cs.ucdavis.edu/~lefohn/work/shadingLang/mio/
F3 - Functional GUI Development for Javahttp://graphics.stanford.edu/papers/polaris_extended/
BrookGPUhttp://graphics.stanford.edu/projects/brookgpu/
MapReduce - functional programming in the REAL Worldhttp://graphics.stanford.edu/projects/brookgpu/
PeakStream - a multi-core stream processing modelhttp://graphics.stanford.edu/projects/brookgpu/
Accelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelismhttp://graphics.stanford.edu/projects/brookgpu/
User-defined functions in Excelhttp://graphics.stanford.edu/projects/spreadsheets/
Brook: a Streaming Lanugage from Stanfordhttp://graphics.stanford.edu/streamlang/
Graphite DSL for Advanced Typographyhttp://graphite.sil.org
Let's make a programming language!http://gravitar.no-ip.org/lang/pynchon
Forum usabilityhttp://greasemonkey.mozdev.org/
Boring...http://grok.sourceforge.net/
The OpenNLP Grok Libraryhttp://grok.sourceforge.net/
Groovy Languagehttp://groovy.codehaus.org/
Why type systems are interestinghttp://groovy.codehaus.org
Groovy Languagehttp://groovy.codehaus.org
Chickenfoothttp://groups.csail.mit.edu/uid/chickenfoot/examples.html
Chickenfoothttp://groups.csail.mit.edu/uid/chickenfoot/faq.html#rendered-model
Chickenfoothttp://groups.csail.mit.edu/uid/chickenfoot/index.html
Proceedings of the Scheme Workshop 2003http://groups.google.at/groups?dq=&hl=de&lr=&ie=UTF-8&selm=d051d25e.0311080748.6135297b%40posting.google.com
What's wrong with C++ templates?http://groups.google.at/groups?hl=de&lr=&ie=UTF-8&oe=UTF-8&selm=fa.bp6r4i6.g2ojc%40ifi.uio.no
Happy Birthday, PHP...http://groups.google.ch/group/comp.infosystems.www.authoring.cgi/msg/cc7d43454d64d133?oe=UTF-8&output=gplain
Fun projecthttp://groups.google.cl/groups?group=comp.lang.functional&selm=1055931841.921271%40ananke.eclipse.net.uk
SMLNJ RIP?http://groups.google.com/
A VB.NET Critiquehttp://groups.google.com/
Revisiting AWKhttp://groups.google.com/group/comp.lang.awk
Petition for adding garbage collection to C++.http://groups.google.com/group/comp.lang.c++.moderated/browse_frm/thread/86a5a3f804c84ea4/73aeb5166ab141f8
Is STL algorithms doing damage to the cause?http://groups.google.com/group/comp.lang.c++.moderated/browse_frm/thread/fb09e90899f97f93/bf8f0ad83d8fda11?lnk=st&q=stl+lisp+ml&rnum=7&hl=en#bf8f0ad83d8fda11
The Next Mainstream Programming Languageshttp://groups.google.com/group/comp.lang.c++/browse_frm/thread/dda94c6b82bb1f47/f637444f6d0596d8#f637444f6d0596d8
Buried Treasure - No Fluff Just Stuffhttp://groups.google.com/group/comp.lang.c++/msg/4fc3356f4499b799
Common Lisp Exception Handlinghttp://groups.google.com/group/comp.lang.dylan/msg/302b4353425ba5ce
Findler's Contract Flaw Analysis and Eiffelhttp://groups.google.com/group/comp.lang.eiffel/browse_frm/thread/796303cdd61d992/579191673520a81e
Sudokuhttp://groups.google.com/group/comp.lang.forth/tree/browse_frm/thread/3c281b48312a6c83/caa65fa9c26c6ac9
What are the real benefits of FP?http://groups.google.com/group/comp.lang.functional/browse_frm/thread/31bceaef99cabd36/5bd08b910ab14b4f#5bd08b910ab14b4f
Code Readinghttp://groups.google.com/group/comp.lang.functional/browse_frm/thread/44dedc17a914606d/52cef3a8d7791533
How to make a FPL successfulhttp://groups.google.com/group/comp.lang.functional/browse_frm/thread/eecf0347a1cb916a/53da3b9c436954eb?rnum=8#53da3b9c436954eb
How to make a FPL successfulhttp://groups.google.com/group/comp.lang.functional/browse_frm/thread/ffb29a9dd6735974/38fd65fec381e12b
Exceptional syntaxhttp://groups.google.com/group/comp.lang.functional/browse_thread/thread/d3a87da3d8e4b38f/2a0d1e0f95f3670c?lnk=st&q=%22exceptionalsyntax%22&rnum=1#2a0d1e0f95f3670c
Functional libraries for Javahttp://groups.google.com/group/comp.lang.functional/msg/00257e36e70efa7e
OO Language Engineering for the Post-Java Erahttp://groups.google.com/group/comp.lang.functional/msg/37151410eb120c34?hl=en&
Extremely static language?http://groups.google.com/group/comp.lang.java.advocacy/msg/d3cef4dd9b7d3b92
How to make a FPL successfulhttp://groups.google.com/group/comp.lang.java.programmer/browse_frm/thread/34c96ea7802f37b0/f0b6e4359fad283e
Teaching programminghttp://groups.google.com/group/comp.lang.lisp/browse_frm/thread/6c75cae46f065843/399e95924a58f6fe
How to make a FPL successfulhttp://groups.google.com/group/comp.lang.lisp/browse_frm/thread/c4b36dd81537e120/7f568538d76dfaa6?rnum=137
Your introduction to Lisp...http://groups.google.com/group/comp.lang.lisp/browse_frm/thread/c627cffd3df25029/1b07142f831abe5#1b07142f831abe5
Your introduction to Lisp...http://groups.google.com/group/comp.lang.lisp/browse_frm/thread/c627cffd3df25029/1b07142f831abe5
The Essence of Strategic Programminghttp://groups.google.com/group/comp.lang.lisp/browse_frm/thread/d68cc2d17eb068ef/19e330d3ada91abf
Rich resource site for the programming language "K"http://groups.google.com/group/comp.lang.lisp/browse_thread/thread/6504beb28b625479/db0593e5a6180ad4?lnk=st&q=conciseness+is+power&rnum=1#db0593e5a6180ad4
Flexible Addition of Static Typing to Dynamically Typed Programshttp://groups.google.com/group/comp.lang.lisp/msg/7a0f4c7cf54be120
Scope, generators and list comprehensions (Python)http://groups.google.com/group/comp.lang.lisp/msg/a0fee2c811cd528c
Ethnographic Study of Copy and Paste Programming Practices in OOPLhttp://groups.google.com/group/comp.lang.lisp/msg/c54079fc951aa768
Decomposing lambda - the Kernel languagehttp://groups.google.com/group/comp.lang.lisp/msg/fcbc414fbecf0bed
Advantages of Soft Typinghttp://groups.google.com/group/comp.lang.perl.misc/msg/cf49ca13ac015256
Mercury Vs Prologhttp://groups.google.com/group/comp.lang.prolog/browse_thread/thread/febfcdf0aeaeaa76/692e5dbc8d8cec62
Anyone know Prolog here?http://groups.google.com/group/comp.lang.prolog
Introduction to Concurrent Programming with Stackless Pythonhttp://groups.google.com/group/comp.lang.python/browse_frm/thread/4c9b1287a1a76c98/592958d4e2ec319e?q=PyPy+0.9&rnum=1#592958d4e2ec319e
EasyExtend - Python MetaProgramminghttp://groups.google.com/group/comp.lang.python/browse_thread/thread/6ddbe3537838258c/3053133d67daacbe#3053133d67daacbe
Type inference for Pythonhttp://groups.google.com/group/comp.lang.python/msg/114a25d394769591
Intentional Programming Overviewhttp://groups.google.com/group/comp.lang.scheme/browse_frm/thread/2927665e0d205dca/2d291f2c4940033b#2d291f2c4940033b
newLisp: A better Lisp/Scheme Fusion...http://groups.google.com/group/comp.lang.scheme/browse_frm/thread/997dc59b8ebb1749/af62130eefafd338
Scheme Language Steering Committee Report to the Communityhttp://groups.google.com/group/comp.lang.scheme/msg/1ca4eed2f55756e6
Executable Implementation of Scheme Denotational Semanticshttp://groups.google.com/group/comp.lang.scheme/msg/7584c8a745edab45
OOP Parallel class hierarchieshttp://groups.google.com/group/comp.lang.scheme/msg/d30c17e36727feed
OOPSLA 2005 Reportshttp://groups.google.com/group/comp.lang.scheme/msg/d995e2919cb8fbab
PyPyhttp://groups.google.com/group/comp.lang.scheme/msg/dc37c81fb146b37a?dmode=source&hl=en
The Reasoned Schemer with Ozhttp://groups.google.com/group/comp.lang.scheme/msg/e58e4ad3f67fa4e0?hl=en&
Inherited Traits - Classes Like Never Beforehttp://groups.google.com/group/comp.lang.smalltalk/browse_frm/thread/15f7e1b56da7e773/c2d8de4ab0b18f98
Ward Cunningham: Testing, Types, and Morehttp://groups.google.com/group/comp.lang.smalltalk/browse_frm/thread/afd743243bb3a72d/e9c5d1e4e183c93
Lisp will never make it to mainstream...http://groups.google.com/group/comp.lang.smalltalk/browse_frm/thread/cbd7f6ce728968c8/52d6f411a42e88ee
Towards the best collection APIhttp://groups.google.com/group/comp.lang.smalltalk/msg/44d7f8321aebdee2
Virtual machine implementation and dynamic languageshttp://groups.google.com/group/comp.lang.smalltalk/msg/90c1e54f260e5b8d
Objective scientific proof of OOP's validity? Don't need no stinkun' proof.http://groups.google.com/group/comp.object/browse_frm/thread/7b3f60b223215a0c/685c9d612edee7a0?hl=en#685c9d612edee7a0
New languages for OS level programming?http://groups.google.com/group/comp.os.minix/browse_thread/thread/b904ca2c94d842f0/5896b45d682f33a0#5896b45d682f33a0
Threads Cannot be Implemented as a Libraryhttp://groups.google.com/group/comp.programming.threads/browse_frm/thread/12385d00922820e5/02d719bd3c77ef2f?tvc=1&q=volatile+thread&hl=el
Threads Cannot be Implemented as a Libraryhttp://groups.google.com/group/comp.programming.threads/msg/9ceaee0e94f8f3ba?hl=el&
A New Haskell and those anxious to changehttp://groups.google.com/group/comp.std.c++/browse_thread/thread/fb0a8fcabb2b19b4/3278cef927c345c1?tvc=2&q=export+n1426#3278cef927c345c1
Ward Cunningham: Testing, Types, and Morehttp://groups.google.com/group/comp.sys.next.programmer/browse_frm/thread/4f7ae8a6bceec7b/64407c824274a7f9
Zipper-based file server/OShttp://groups.google.com/group/fa.caml/browse_thread/thread/e10c96f3896f26ef/5fd7f27eed944f0a#5fd7f27eed944f0a
Linear types for aliased resourceshttp://groups.google.com/group/fa.caml/msg/60cec7e8f67f1a83
Church-Turning is False?http://groups.google.com/group/fa.haskell/tree/browse_frm/thread/a812e9255aa8327c/4e2fcd47d63d7a98
Functional Relational Programming: Out of the tar pithttp://groups.google.com/group/frp-discuss
Google Code Searchhttp://groups.google.com/group/Google-Code-Search/browse_thread/thread/8c9ed4b0883f80bf/1afa42009dc3ac46#1afa42009dc3ac46
Eric Lippert does SimpleScripthttp://groups.google.com/group/microsoft.public.scripting.hosting/msg/fe9b8c67cf486eeb
Jon Udell: Multi-language runtimeshttp://groups.google.com/group/perl.perl6.internals/browse_frm/thread/6a842f9ec6c1c87b/6d322b5c3f9c569f#6d322b5c3f9c569f
Inform 7: A relational DSL for interactive fiction with natural language syntaxhttp://groups.google.com/group/rec.arts.int-fiction/msg/ac0577fe70c636bc?&q=inform-7
Don Box on the Importance of Being WSDLhttp://groups.google.com/groups?as_ugroup=comp.lang.scheme&as_uauthors=Matthias%20Blume&num=100&as_scoring=d&hl=en
Don Box on the Importance of Being WSDLhttp://groups.google.com/groups?as_ugroup=comp.lang.scheme&as_uauthors=Robert%20Harper&num=100&as_scoring=d&hl=en
Guido van Rossum: Programming at Python Speedhttp://groups.google.com/groups?as_ugroup=comp.lang.scheme&as_uauthors=Robert%20Harper
What is so bad about compiling?http://groups.google.com/groups?as_umsgid=429e604b$0$7560$ed2619ec@ptn-nntp-reader03.plus.net
Hidden complexities of tail-call/tail-recursion optimizationhttp://groups.google.com/groups?as_umsgid=7eb8ac3e.0106121538.42b1d107%40posting.google.com
Psyco, the Python Specializing Compilerhttp://groups.google.com/groups?as_umsgid=Pine.OSF.3.96.1020823150150.1970393A-100000%40aster3.ulb.ac.be
Hidden complexities of tail-call/tail-recursion optimizationhttp://groups.google.com/groups?as_umsgid=slrn9hvod2.eli.korek%40lilia.lab.icm.edu.pl
Transparent Language Implementation and Designhttp://groups.google.com/groups?dq=&hl=en&lr=&ie=UTF-8&frame=right&th=c1d7e15386be4660&seekm=bnuhtk%249er%40arthur.cs.purdue.edu#link41
Symmetric difference in LC, P-numerals, and foldhttp://groups.google.com/groups?dq=&hl=en&lr=&ie=UTF-8&group=comp.lang.functional&selm=7eb8ac3e.0208291749.3bcd95c6%40posting.google.com
Roles of Variableshttp://groups.google.com/groups?dq=&hl=en&lr=&ie=UTF-8&group=comp.lang.functional&selm=cajkam%24j20%242%40oravannahka.helsinki.fi
Devils and Angels, via Monadshttp://groups.google.com/groups?dq=&hl=en&lr=&ie=UTF-8&oe=UTF-8&group=comp.lang.scheme&selm=tzjva.3296%247h5.1485027482%40newssvr30.news.prodigy.com
Tarski's fixpoint theorem - history of usehttp://groups.google.com/groups?dq=&hl=en&lr=&ie=UTF-8&oe=UTF-8&threadm=03-03-110%40comp.compilers&prev=/groups%3Fq%3Dcomp.compilers%26ie%3DUTF-8%26oe%3DUTF-8%26hl%3Den
The Constructor Calculushttp://groups.google.com/groups?dq=&hl=en&lr=&ie=UTF-8&safe=off&th=59739e6845991c70
Type inference a good thing?http://groups.google.com/groups?dq=&hl=en&lr=&ie=UTF-8&safe=off&th=9f666cd86fdffa85
Transparent Language Implementation and Designhttp://groups.google.com/groups?dq=&hl=en&lr=&ie=UTF-8&selm=770d8f1a.0311220542.47499590%40posting.google.com&rnum=51
Transparent Language Implementation and Designhttp://groups.google.com/groups?dq=&hl=en&lr=&ie=UTF-8&selm=77776c11.0311101033.63194e64%40posting.google.com&rnum=47
Is Inheritance a Pillar of OO?http://groups.google.com/groups?dq=&hl=en&lr=&ie=UTF-8&selm=xczptp5g51s.fsf%40CUT-ericsson.com
Lisp powers Jak & Daxter at Naughty Doghttp://groups.google.com/groups?dq=&hl=en&lr=&ie=UTF-8&th=1221e69c86386554&seekm=4bs0jaurq.fsf%40beta.franz.com&frame=off
Module Concept For C++http://groups.google.com/groups?dq=&hl=en&lr=&ie=UTF-8&th=51fe3066fcdfbe5d&seekm=423c153c.0305070015.76e085ee%40posting.google.com#link1
Tcl Core Team Interviewhttp://groups.google.com/groups?dq=&hl=en&lr=&ie=UTF-8&th=98fdfac46ebbef5b
Design By Contract Discussionhttp://groups.google.com/groups?dq=&hl=en&lr=&ie=UTF-8&threadm=ba18d5cb.0210210033.4ceff523%40posting.google.com&prev=/groups%3Fhl%3Den%26lr%3D%26ie%3DUTF-8%26group%3Dcomp.lang.eiffel
Haskell bookshttp://groups.google.com/groups?dq=&hl=en&lr=&safe=off&th=3a2af247988adf4c
syntax-case "for dummies"http://groups.google.com/groups?dq=&hl=iw&lr=&ie=UTF-8&oe=UTF-8&selm=nw1a9.1660%24aW5.298725471%40newssvr30.news.prodigy.com
Typed Prologhttp://groups.google.com/groups?group=comp.lang.prolog
Defining predicatehttp://groups.google.com/groups?group=comp.lang.prolog
An Advanced Syntax-Rules Primer for the Mildly Insanehttp://groups.google.com/groups?group=comp.lang.scheme&selm=87it8db0um.fsf%40radish.petrofsky.org
Skribe 1.2b releasedhttp://groups.google.com/groups?group=comp.lang.scheme&selm=cnf8n7%24ole%241%40news-sop.inria.fr
Full abstraction is not very abstract (via comp.lang.scheme)http://groups.google.com/groups?group=comp.lang.scheme
Liskov Substitution all over againhttp://groups.google.com/groups?group=comp.object
Future Directions for C++http://groups.google.com/groups?group=comp.soft-sys.ace
Oracleshttp://groups.google.com/groups?hl=en&lr=&ie=UTF-8&safe=off&threadm=4042800f%241%40news.unimelb.edu.au&rnum=1
Erlang the Moviehttp://groups.google.com/groups?hl=en&lr=&ie=UTF-8&selm=87ism4r4pe.fsf%40darkstar.cartan
study of the "list comprehension" sugarhttp://groups.google.com/groups?hl=en&ie=ISO-8859-1&oe=ISO-8859-1&th=84bc248264eabfb9&seekm=567746d426173a1158a1c8b4370652e3.7564%40mygate.mailgate.org&frame=off
Moving FP from Academiahttp://groups.google.com/groups?hl=en&lr=&group=comp.lang.functional&safe=off&ic=1&th=123ef6309922d1fc
Quickies (GHC/OO-FP/Generative P)http://groups.google.com/groups?hl=en&lr=&group=comp.lang.functional&safe=off&ic=1&th=695e8c0ae9f62ec5&seekd=900225847
Curl on /. + Quickieshttp://groups.google.com/groups?hl=en&lr=&group=comp.lang.functional&safe=off&ic=1&th=97622a4fcae6dd29
Curl on /. + Quickieshttp://groups.google.com/groups?hl=en&lr=&group=comp.lang.functional&safe=off&ic=1&th=c31d66b52cef82c7
Depressing, but truehttp://groups.google.com/groups?hl=en&lr=&group=comp.lang.functional&safe=off&ic=1&th=cd2aadc48bf211a4&seekd=911095167#911095167
C-like Functional Programming Languageshttp://groups.google.com/groups?hl=en&lr=&group=comp.lang.functional&safe=off&ic=1&th=fb5d00b2ee380086
Validating the Unit Correctness of Spreadsheet Programshttp://groups.google.com/groups?hl=en&lr=&ie=UTF-8&oe=UTF-8&c2coff=1&safe=off&threadm=87c65o%24k4u%241%40mozo.cc.purdue.edu&rnum=
The unique nature of Lisp (?)http://groups.google.com/groups?hl=en&lr=&ie=UTF-8&safe=off&th=cb4e1b1828e58c7f&rnum=1
Guido van Rossum: Programming at Python Speedhttp://groups.google.com/groups?hl=en&lr=&ie=UTF-8&safe=off&threadm=4vhnj7%24pk%40roar.cs.utexas.edu&rnum=1&prev=/&frame=on
Backus Turing Award Lecturehttp://groups.google.com/groups?hl=en&lr=&ie=UTF-8&selm=c427d639.0208260736.60daa4fa%40posting.google.com
Programming Competitionhttp://groups.google.com/groups?hl=en&lr=&safe=off&ic=1&th=22129afeff5b228e,1
Why Threads Are A Bad Idea (and E)http://groups.google.com/groups?hl=en&lr=&safe=off&ic=1&th=3dbf05596274d939,10
Real Time Processinghttp://groups.google.com/groups?hl=en&lr=&safe=off&ic=1&th=6210f9a1afd3d42d
Hidden complexities of tail-call/tail-recursion optimizationhttp://groups.google.com/groups?hl=en&lr=&safe=off&ic=1&th=69d3f735a3ff4cff
Hidden complexities of tail-call/tail-recursion optimizationhttp://groups.google.com/groups?hl=en&lr=&safe=off&ic=1&th=a86160995de6f949
Links to JFP Papershttp://groups.google.com/groups?hl=en&lr=&safe=off&ic=1&th=e1172c7d695edf66&seekd=897316521#897316521
Programming Competitionhttp://groups.google.com/groups?hl=en&lr=&safe=off&ic=1&th=e32e856559e0e653,1
elj Rounduphttp://groups.google.com/groups?hl=en&lr=&safe=off&ic=1&th=e3d9be756a7e485&seekm=080C2936D3F2BACD.FB793F3CB7663DF5.B397667A476AA48F%40lp.airnews.net#p
Heap Profiling for Space Efficiencyhttp://groups.google.com/groups?hl=en&lr=&safe=off&ic=1&th=f45a11f766d2c055,9
Hidden complexities of tail-call/tail-recursion optimizationhttp://groups.google.com/groups?hl=en&lr=&safe=off&ic=1&th=ffbaee72ae678d23
Language Support for Disributed Processinghttp://groups.google.com/groups?hl=en&lr=&safe=off&th=23ccfb186c85564&ic=1&seekd=920109375
More typing debates!http://groups.google.com/groups?hl=en&lr=&safe=off&th=6103e625f854e647&ic=1&seekd=927377131
Miscellanyhttp://groups.google.com/groups?hl=en&safe=off&group=comp.lang.eiffel
List of first programming languageshttp://groups.google.com/groups?hl=en&safe=off&ic=1&th=1c0d2bcdaf918bf2,2&seekm=3A82F4A5.AC076510%40umich.edu#p
Python's proposed change to integer divisionhttp://groups.google.com/groups?hl=en&safe=off&th=22f8a9bfd33f1099,252
Python's proposed change to integer divisionhttp://groups.google.com/groups?hl=en&safe=off&th=cf5af74a6441c030,186
Language Mythshttp://groups.google.com/groups?hl=en&selm=aacf3eb9.0203151012.164c4920%40posting.google.com
The Sociology of Language Evolutionhttp://groups.google.com/groups?hl=en&th=12a0c7ef4cd1409
Generators in Python, Icon and Schemehttp://groups.google.com/groups?hl=en&th=248c58d9518a6983&frame=off
The Sociology of Language Evolutionhttp://groups.google.com/groups?hl=en&th=77b25819f84c09c9
The Sociology of Language Evolutionhttp://groups.google.com/groups?hl=en&th=e27c6be94bb32d8c
Are dylan macros Turing-complete?http://groups.google.com/groups?hl=en&threadm=slrnadji0u.vcm.neelk%40h00045a4799d6.ne.client2.attbi.com
Typed Prologhttp://groups.google.com/groups?hl=he&safe=off&th=4c3b686642615fe5,11
Category theory for non-mathematicianshttp://groups.google.com/groups?hl=he&safe=off&th=9b8c42b52eb4a8df,2
Haskell for circuit descriptionhttp://groups.google.com/groups?hl=iw&th=75e5a9b0a74668db&seekm=3BBDEC24.70E4A819%40acooke.org&frame=off
How To Steal Code or Inventing The Wheel Only Oncehttp://groups.google.com/groups?hl=iw&th=897ba308330db435&seekm=9nqp6p%246ol%241%40cantaloupe.srv.cs.cmu.edu#link1
Haskell for circuit descriptionhttp://groups.google.com/groups?hl=iw&th=d680d1a225c46528&seekm=3BC2807E.807C01F5%40b.c&frame=off
Optimizationshttp://groups.google.com/groups?lr=&group=comp.lang.scheme&safe=off&ic=1&th=58c0e7cc865bd7b9
Optimizationshttp://groups.google.com/groups?lr=&group=comp.lang.scheme&safe=off&ic=1&th=8807b819887e96d2
Couple of Usenet threadshttp://groups.google.com/groups?lr=&safe=off&ic=1&th=8ee17ca07c45bf24,6
Couple of Usenet threadshttp://groups.google.com/groups?lr=&safe=off&ic=1&th=cc1a8e824eae2331,16
Disney Losing Kay & Teamhttp://groups.google.com/groups?lr=&safe=off&ic=1&th=d00f25ebcb0126af,10
It all depends on what you mean by ($f)http://groups.google.com/groups?lr=&safe=off&th=8f575498ff728804,11&rnum=9&ic=1&selm=9fgvts%24l8r%241%40news.huji.ac.il
Prolog (database)http://groups.google.com/groups?q=comp.lang.prolog
A Good OOP Critique?http://groups.google.com/groups?q=comp.object&ie=UTF-8&oe=UTF-8&hl=en
Essentials of Programming Languages, 2ehttp://groups.google.com/groups?q=essentials+of+programming&hl=en&lr=&safe=off&rnum=1&seld=916533928&ic=1
Strongtalkhttp://groups.google.com/groups?q=g:thl1465322509d&dq=&hl=en&lr=&ie=UTF-8&oe=UTF-8&selm=3D2A7E46.2BFFB277%40pacbell.net
Do languages matter?http://groups.google.com/groups?q=g:thl1861907203d&dq=&hl=en&lr=&ie=UTF-8&oe=UTF-8&selm=ce7ef1c8.0210201237.36119f7c%40posting.google.com
Tuples + Objects + Infosets =Too Much Stuff!http://groups.google.com/groups?q=g:thl3072472236d&dq=&hl=en&lr=&ie=UTF-8&selm=3250033069468718@naggum.no
How to make a FPL successfulhttp://groups.google.com/groups?q=g:thl3194772366d&dq=&hl=en&lr=&ie=UTF-8&oe=UTF-8&selm=tyffzoa99ko.fsf_-_%40enfield.sics.se
Guido van Rossum: Programming at Python Speedhttp://groups.google.com/groups?q=g:thl3243730853d&dq=&hl=en&lr=&ie=UTF-8&safe=off&selm=4tbes4%24gjf%40roar.cs.utexas.edu&rnum=4
Introduction to Aspect-Oriented Programminghttp://groups.google.com/groups?q=g:thl372125022d&dq=&hl=en&lr=&ie=UTF-8&oe=UTF-8&selm=3B2AA11F.51C821ED%40pacbell.net&rnum=25
Charming Python : Iterators and simple generatorshttp://groups.google.com/groups?q=g:thl399494743d&hl=iw&selm=3BC411E8.1496E06A%40brighton.ac.uk
Language Mythshttp://groups.google.com/groups?q=g:thl973601333d&dq=&hl=en&selm=yf3afpmwkrs.fsf%40sabi.demon.co.uk
Comparison of Haskell (GHC) and ML (SML/NJ)http://groups.google.com/groups?q=George+Russell+SML+GHC&hl=en&lr=&safe=off&rnum=1&seld=996462351&ic=1
Hidden complexities of tail-call/tail-recursion optimizationhttp://groups.google.com/groups?q=group:comp.lang.functional&hl=en&safe=off&ic=1&selm=9h3qi1%24qn9%241%40mulga.cs.mu.OZ.AU
Don Box on the Importance of Being WSDLhttp://groups.google.com/groups?q=group:comp.lang.scheme+author:Matthias+author:Blume&hl=en&scoring=d&selm=3C18DD4E.20803%40research.bell-labs.com&rnum=4
Hugs98 for .NEThttp://groups.google.com/groups?q=haskell+.NET&hl=en&lr=&ie=UTF-8&selm=fa.bv6go7v.11i6v0q%40ifi.uio.no&rnum=4
What being an Editor is all abouthttp://groups.google.com/groups?q=haskell+.NET&hl=en&lr=&ie=UTF-8&selm=fa.bv6go7v.11i6v0q%40ifi.uio.no&rnum=4
What being an Editor is all abouthttp://groups.google.com/groups?q=haskell+.NET&hl=en&lr=&ie=UTF-8&selm=fa.dg03n7v.10gk8ar%40ifi.uio.no&rnum=5
Hugs98 for .NEThttp://groups.google.com/groups?q=haskell+.NET&hl=en&lr=&ie=UTF-8&selm=fa.dg03n7v.10gk8ar%40ifi.uio.no&rnum=5
Bricklin: Why Johnny can't programhttp://groups.google.com/groups?q=henry+baker+tcl+ml+spit&hl=en&lr=&ie=UTF-8&oe=UTF-8&selm=hbaker-2104972329440001%4010.0.2.1&rnum=1
A Good OOP Critique?http://groups.google.com/groups?q=marcel+weiher+alan+kay&hl=en&lr=&ie=UTF-8&oe=UTF-8&selm=apu7mc%24dl2%241%40news.cs.tu-berlin.de&rnum=7
Liskov Substitution all over againhttp://groups.google.com/groups?safe=off&ic=1&th=1a86e1cdc97d4c46,33
for and against conservative GChttp://groups.google.com/groups?safe=off&th=2e48406ab2d5817b,31
for and against conservative GChttp://groups.google.com/groups?safe=off&th=f894e37a8cba4e1f,88
Is Java Language Neutral?http://groups.google.com/groups?safe=off&threadm=9mg5dd%249lb%241%40news.huji.ac.il&rnum=1&prev=/groups%3Fsafe%3Doff%26q%3Dauthor:mslamm%2540mscc.huji.ac.il%2B
A book to learn from?http://groups.google.com/groups?selm=001101beae49%2439af7bc0%24949e2299%40tim
Why learn FP?http://groups.google.com/groups?selm=138355a8.0111082300.7992b027@posting.google.com
Understanding continuationshttp://groups.google.com/groups?selm=20040629233129.GA3979@babylonia.flatirons.org
public vs. published interfaceshttp://groups.google.com/groups?selm=3103318695270771%40naggum.no
Running untrusted codehttp://groups.google.com/groups?selm=3C8821C9.3080608%40cam.ac.uk
Clean and Haskell comparedhttp://groups.google.com/groups?selm=3D2D52DE.93BEF1B1%40info.unicaen.fr
More on static vs. dynamic typinghttp://groups.google.com/groups?selm=623cd325.0302060257.1542e098@posting.google.com
Folding over treeshttp://groups.google.com/groups?selm=7eb8ac3e.0107130922.66c59bcd@posting.google.com
No asterisks, pleasehttp://groups.google.com/groups?selm=7ktbid%24a29%241%40nef.ens.fr
Category theory for non-mathematicianshttp://groups.google.com/groups?selm=8d8kd2%24sr4%241%40nnrp1.deja.com
Comments on Commentshttp://groups.google.com/groups?selm=8vlia101jd9%40news2.newsguy.com
Comments on Commentshttp://groups.google.com/groups?selm=9ioonl0jgu%40enews4.newsguy.com
Comments on Commentshttp://groups.google.com/groups?selm=9ke6n409mj%40enews3.newsguy.com
International Lisp Conference reporthttp://groups.google.com/groups?selm=c29fzumv8r9.fsf%40no-knife.mit.edu
Tail of Nil and Its Typehttp://groups.google.com/groups?selm=c7r47j%245np%241%40camelot.ccs.neu.edu
Full abstraction is not very abstract (via comp.lang.scheme)http://groups.google.com/groups?selm=fb74251e.0407141456.bb05ebe%40posting.google.com
Tim Bray: Jythonhttp://groups.google.com/groups?selm=gat-1001021155210001%40eglaptop.jpl.nasa.gov
1st International Workshop on Interpreted Languageshttp://groups.google.com/groups?selm=jMzfc.9468%24zj3.2032%40newsread3.news.atl.earthlink.net
Reading, Writing, and Codehttp://groups.google.com/groups?selm=lhoexds818.fsf%40dodo.bluetail.com
Conceptual Integrity in Erlanghttp://groups.google.com/groups?selm=lhoexds818.fsf%40dodo.bluetail.com
ll1-discuss on macroshttp://groups.google.com/groups?selm=lhu1kw3u9b.fsf%40bluetail.com&oe=UTF-8&output=gplain
Category theory for non-mathematicianshttp://groups.google.com/groups?selm=r8td785em7f.fsf%40chinstrap.CS.Princeton.EDU
The unique nature of Lisp (?)http://groups.google.com/groups?selm=sfw4reosf6l.fsf%40shell01.TheWorld.com
Miscellanyhttp://groups.google.com/groups?start=10&safe=off&th=fea4799dacd4caf1,12&rnum=12&selm=3B59B103.AAA04C58%40ix.netcom.com
Impressions of the International Lisp conference ILC2002http://groups.google.com/groups?threadm=1178a29f.0210181205.38266e3e%40posting.google.com
PyCon 2003 Papershttp://groups.google.com/groups?threadm=2259b0e2.0303171358.5a6fe337%40posting.google.com&rnum=1
Hidden complexities of tail-call/tail-recursion optimizationhttp://groups.google.com/groups?threadm=3E9F3E99.5EE41AAB%40sonic.net
Writing dirty R5RS macroshttp://groups.google.com/groups?threadm=7eb8ac3e.0204011302.48501c22%40posting.google.com
Shiro Kawai - Shooting A Moving Targethttp://groups.google.com/groups?threadm=7eb8ac3e.0204141304.5d2bffe0%40posting.google.com
April Second...http://groups.google.com/groups?threadm=c4hmj0%245io%241%40camelot.ccs.neu.edu
The Case for First Class Messageshttp://groups.google.com/groups?threadm=c5Zjc.1301%24%25o1.30%40lakeread03
dealing with Scheme (or Lisp, etc)http://groups.google.com/groups?threadm=cdac2dde.0205260638.1c39a64e%40posting.google.com
dealing with Scheme (or Lisp, etc)http://groups.google.com/groups?threadm=okfit4rwmmh.fsf%40bellsouth.net
Lambda: the ultimate "little language"http://groups.google.com/groups?threadm=trh6s6tgn09n9d%40corp.supernews.com&prev=/groups%3Fq%3Dcomp.lang.scheme
Inform 7: A relational DSL for interactive fiction with natural language syntaxhttp://groups.google.de/group/rec.arts.int-fiction/browse_thread/thread/d5ecaa531d9c48d6/a595a340663357dc
Felix: The power language for C++ programmershttp://groups.google.de/groups?hl=de&lr=&ie=UTF-8&oe=UTF-8&selm=uekz7c31v.fsf%40boost-consulting.com&rnum=1
The Next Mainstream Programming Languageshttp://groups.google.fi/group/comp.lang.functional/browse_frm/thread/5385c76d82a78171
Explaining monadshttp://groups.google.pl/group/comp.lang.functional/browse_frm/thread/5cf42f38cd219cae/8ce28b1351cdec3b?#8ce28b1351cdec3b
Why do they program in C++?http://groups.google.se/group/comp.lang.c++.moderated/browse_frm/thread/c5a22f9a1010e258/7d04dba1e42cff0d
A DSL based Web Framework.http://groups.inf.ed.ac.uk/links/
Links: Web Programming Without Tiershttp://groups.inf.ed.ac.uk/links/
Narrative Javascripthttp://groups.inf.ed.ac.uk/links/
how can PLT experts help improve the web?http://groups.inf.ed.ac.uk/links/
Links: Web Programming Without Tiershttp://groups.inf.ed.ac.uk/links/demos.html
Links: Web Programming Without Tiershttp://groups.inf.ed.ac.uk/links/papers/links-icfp06/links-icfp06.pdf
Ars Digita ( http://aduni.org ) Study Grouphttp://groups.yahoo.com/group/aduni/
Programming in dchttp://groups.yahoo.com/group/concatenative/message/1775
Functional single argument style object oriented programminghttp://groups.yahoo.com/group/concatenative/message/2004
SPARKAdahttp://groups.yahoo.com/group/concatenative/message/2158
Concatenative Language Konthttp://groups.yahoo.com/group/concatenative/message/2176?viscount=100
Functional single argument style object oriented programminghttp://groups.yahoo.com/group/concatenative
LtU: Style and Focushttp://groups.yahoo.com/group/gamedesign-l
"Popular vs. Good" in Programming Languageshttp://groups.yahoo.com/group/langsmiths/message/2281
Python Compared to Other Languageshttp://groups.yahoo.com/group/lua-l/message/5811
New Year's Resolutionshttp://groups.yahoo.com/group/pragprog/
Programming Languages: Application and Interpretationhttp://groups.yahoo.com/group/rest-discuss/message/3583
Self on Windowshttp://groups.yahoo.com/group/self-interest/message/1469
Zero Button Testinghttp://groups.yahoo.com/group/testdrivendevelopment/files/
Test-Driven Development By Examplehttp://groups.yahoo.com/group/testdrivendevelopment/files/TDD17Jul2002.pdf
Zero Button Testinghttp://groups.yahoo.com/group/testdrivendevelopment/message/5636
Concurrency made easy?http://groups.yahoo.com/group/ToonTalk/links
Defining new infix operators in Pythonhttp://groups-beta.google.com/group/comp.lang.c++.moderated/msg/d17912753690d3c4
Why do they program in C++?http://groups-beta.google.com/group/comp.lang.functional/browse_frm/thread/46825b28275d82b2/
The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Softwarehttp://groups-beta.google.com/group/comp.lang.functional/msg/00257e36e70efa7e
The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Softwarehttp://groups-beta.google.com/group/comp.lang.functional/msg/37151410eb120c34
IBM Programming Languages Dayhttp://groups-beta.google.com/group/comp.lang.functional/msg/3bbf890e12e2df9e
Links (Wadler)http://groups-beta.google.com/group/comp.lang.functional/msg/4716d8724bb17ca2
Why do they program in C++?http://groups-beta.google.com/group/comp.lang.functional/msg/cdae678b2d6e7ae6?hl=en
Lisp or Erlanghttp://groups-beta.google.com/group/comp.lang.lisp/browse_frm/thread/5c59e564bc2e3e93/
Practical Common Lisphttp://groups-beta.google.com/group/comp.lang.lisp/browse_thread/thread/1dd05cd76d2b565f/2a9ac0a562f9742a#2a9ac0a562f9742a
Retrospective: The Essence of Compiling with Continuationshttp://groups-beta.google.com/group/comp.lang.scheme/browse_thread/thread/3d49b70d07967f2e
Educational Pearl: Automata as Macroshttp://groups-beta.google.com/group/comp.lang.scheme/browse_thread/thread/444bc13eef3cd39d/b9328703efaa8219#b9328703efaa8219
Use Continuations to Develop Complex Web Applicationshttp://groups-beta.google.com/group/comp.lang.scheme/browse_thread/thread/5406ce9bc4a0ec7c/9d4048c20ab20d3e#9d4048c20ab20d3e
Concrete Abstractions on the webhttp://groups-beta.google.com/group/comp.lang.scheme/msg/1d2d2baf5b087d46
Alice Through the Looking Glasshttp://groups-beta.google.com/group/comp.lang.scheme/msg/7b132b5d88352885
Computer generates verifiable mathematics proofhttp://groups-beta.google.com/group/comp.lang.scheme/msg/943ac08b6c77839e
Computer generates verifiable mathematics proofhttp://groups-beta.google.com/group/comp.lang.scheme/msg/b8a5d85330c7ecae
An interview with Chris Datehttp://groups-beta.google.com/group/comp.lang.scheme/msg/de95f317a585d63c
OCaml vs. C++ for Dynamic Programminghttp://groups-beta.google.com/group/fa.caml/browse_frm/thread/cae71894db82ad63/9f975a577f77d4af?tvc=1#9f975a577f77d4af
OCaml vs. C++ for Dynamic Programminghttp://groups-beta.google.com/group/fa.caml/msg/49a8e8135eb9ca1a
Introduction to E4Xhttp://groups-beta.google.com/group/netscape.public.mozilla.jseng/browse_thread/thread/d27a5cb06aba787/28689dd52ef2570d
4-color theoremhttp://groups-beta.google.com/group/sci.math?lnk=lr
Chemistry, Graph Tranformation and Programming Languageshttp://groups-beta.google.com/group/sci.nanotech/browse_thread/thread/8866ac1e90a3a44/5d790eca9cb5bbba?q=computer+aided+chemical+synthesis&rnum=9#5d790eca9cb5bbba
ICFP Accepted papershttp://groups-beta.google.com:/group/comp.lang.functional/msg/12c0c3d83e5c3e14
Smalltalk-80: The Language and Its Implementationhttp://grunge.cs.tu-berlin.de/~tolk/vmlanguages.html#smalltalk
.NET etc.http://grunge.cs.tu-berlin.de/~tolk/vmlanguages.html
Languages for the JVMhttp://grunge.cs.tu-berlin.de/~tolk/vmlanguages.html
Is Java Language Neutral?http://grunge.cs.tu-berlin.de/~tolk/vmlanguages.html
The Needle Programming Languagehttp://grunge.cs.tu-berlin.de/~tolk/vmlanguages.html
Language Neutrality and the Java Platformhttp://grunge.cs.tu-berlin.de/~tolk/vmlanguages.html
LPFML, Xml language for linear programminghttp://gsbkip.uchicago.edu/fml/fml.html
Why do they program in C++?http://gtk2hs.sourceforge.net/
Poploghttp://gtk-wimp.sourceforge.net/
Lambda the Ultimate Set Comprehensionhttp://gtps.math.cmu.edu/andrews.html
Conceptual Integrity in Erlanghttp://guava.phil.lehigh.edu/tlp/trac.htm
Open problems in category theory and computing sciencehttp://guinness.cs.stevens-tech.edu/~naumann/
DSL for blog aggregatorshttp://gulliver.weblogs.com/discuss/msgReader$137#bloglab
Norvig: Teach Yourself Programming in Ten Yearshttp://gulliver.weblogs.com/stories/storyReader$108
Vacationhttp://gulliver.weblogs.com
Site Availabilityhttp://gulliver.weblogs.com
Python Challengehttp://gumuz.looze.net/wordpress/index.php/archives/2005/05/09/python-challenge-solutions-part-1/
FindBugs - A Bug Pattern Detector for Javahttp://gunther.web66.com/FAQS/taintmode.html
Squeak at 3.0http://guzdial.cc.gatech.edu/squeakbook/AlansForeword.html
Why Johnny can't codehttp://gvr.sourceforge.net/about.php
Ted Nelson's ZigZaghttp://gzigzag.sourceforge.net/
A New Haskell and those anxious to changehttp://hackage.haskell.org/trac/haskell-prime
A Hacker's Assistanthttp://hackersdelight.org/
Robert Harper Named as ACM Fellowhttp://hake.stanford.edu/trio/
What do you believe about Programming Languages (that you can't prove (yet))?http://hal.ccsd.cnrs.fr/view_by_stamp.php?label=PPS&langue=en&action_todo=view&id=ccsd-00009432&version=1
Gamma formalismhttp://hal.inria.fr/docs/00/05/22/05/PDF/IASSE04.pdf
Writing A Lisp Interpreter In Haskellhttp://halogen.note.amherst.edu/~jdtang/scheme_in_48/tutorial/overview.html
The Push Programming Languagehttp://hampshire.edu/lspector/gecco2003-collective.html
The Push Programming Languagehttp://hampshire.edu/lspector/push3-description.html
HAP Python Remote Debuggerhttp://hapdebugger.sourceforge.net/
E Thesis: Robust Compositionhttp://happs.org/
JDO Architectureshttp://haskell.cs.yale.edu/haskellDB/example.html
JDO Architectureshttp://haskell.cs.yale.edu/haskellDB/index.html
Prolog and Natural-Language Analysishttp://haskell.cs.yale.edu/haskore/
Computer Scientist Gets to the Bottom of Financial Scandalhttp://haskell.cs.yale.edu/pipermail/haskell/2002-April/005936.html
Announce: School of Expression softwarehttp://haskell.cs.yale.edu/soe/
Understadning DO and side-effects in Haskellhttp://haskell.cs.yale.edu/soe/
Understadning DO and side-effects in Haskellhttp://haskell.cs.yale.edu/soe/powerpoi.htm
Understadning DO and side-effects in Haskellhttp://haskell.cs.yale.edu/soe/PPTSlides/ch03.ppt
Designing and Implementing DSL languages: recommended reading?http://haskell.cs.yale.edu/yale/papers/dance-30-tr/index.html
An Algebraic Theory of Polymorphic Temporal Mediahttp://haskell.cs.yale.edu/yale/papers/polymedia/hudak-RR-1259.pdf
A Framework for Programming Embedded Systemshttp://haskell.cs.yale.edu/yale/papers/ppdp02/
Designing and Implementing DSL languages: recommended reading?http://haskell.cs.yale.edu/yale/publications.html
Yampa: Functional Reactive Programming with Arrowshttp://haskell.cs.yale.edu/yampa/
Concatenative Language Konthttp://haskell.org/arrows/
Computer Languages for Secondary Educationhttp://haskell.org/edsl/index.htm
A software engineering problem: how would functional programming solve it?http://haskell.org/fruit/
unchecked exceptions are like runtime type checking?http://haskell.org/ghc/
Dynamic Semanticshttp://haskell.org/ghc/
Is STL algorithms doing damage to the cause?http://haskell.org/ghc/docs/latest/html/building/sec-port-info.html
Why do they program in C++?http://haskell.org/ghc/docs/latest/html/libraries/base/Control.Concurrent.html