Topic | Originator | Msgs | Last Post |
Monads for Dummys | andrew cooke | 1 | 10/21/2000 |
BUT... Haskell! | andrew cooke | 1 | 08/21/2000 |
More Speed, Less Haste | andrew cooke | 1 | 08/21/2000 |
We have moved! | Ehud Lamm | 1 | 06/20/2004 |
EuroHaskell 2004 | Shae Erisson | 1 | 06/19/2004 |
ICFP Accepted papers | Ehud Lamm | 1 | 06/18/2004 |
Cog | Ehud Lamm | 1 | 06/18/2004 |
Cog code generator | Ehud Lamm | 1 | 06/17/2004 |
Our new location (not active yet!) | Ehud Lamm | 1 | 06/16/2004 |
Anders Hejlsberg - What's so great about generics? | Aelij Arbel | 1 | 06/15/2004 |
Be advised | Ehud Lamm | 2 | 06/16/2004 |
Future of Lambda? | andrew cooke | 3 | 06/15/2004 |
Anders Hejlsberg - Tour through computing industry history at the Microsoft Museum | Ehud Lamm | 1 | 06/15/2004 |
Roles of Variables | Daniel Yokomizo | 2 | 06/14/2004 |
EuroPython'2004 Slides | Ehud Lamm | 2 | 06/14/2004 |
Adding Wildcards to Java | Isaac Gouy | 5 | 06/14/2004 |
No new items? | Ehud Lamm | 7 | 06/15/2004 |
Extensible Code Generation with Java | Chris Rathman | 7 | 06/15/2004 |
An Introduction to the XQuery (and XPath 2.0) Type System: The Impact on XQuery and XPath | Ehud Lamm | 1 | 06/13/2004 |
Slow News Day: How About Some Benchmarks? | Brent Fulgham | 3 | 06/14/2004 |
Meta Math - new Chaitin Book | andrew cooke | 3 | 06/12/2004 |
Robert Kowalski's publications | Ehud Lamm | 1 | 06/09/2004 |
How an idea becomes a C# language feature? | Ehud Lamm | 6 | 06/11/2004 |
ToonTalk | Frank Atanassow | 6 | 06/11/2004 |
OnLamp: Paul Graham on Hacking | Ehud Lamm | 1 | 06/07/2004 |
Axiom Computer Algebra System | Mark Evans | 12 | 06/09/2004 |
RT++ Higher Order Threads for C++ | Mark Evans | 2 | 06/03/2004 |
Towards a Natural Theory of Programming Languages | Dan Shappir | 1 | 06/02/2004 |
Years of CSP | Ehud Lamm | 1 | 05/31/2004 |
The view from the left | Ehud Lamm | 6 | 06/03/2004 |
New vector language: Glee | Ehud Lamm | 3 | 06/01/2004 |
POOSL: Parallel Object-Oriented Specification Language | bryan rasmussen | 1 | 05/31/2004 |
Ward Cunningham - Do you get religious about programming languages? | Ehud Lamm | 3 | 06/03/2004 |
Catching Uncaught Exceptions in JDK 1.5 | Dan Shappir | 7 | 05/31/2004 |
Nullable Types | Ehud Lamm | 10 | 06/03/2004 |
Perl - Periodic Table of the Operators | Chris Rathman | 1 | 05/27/2004 |
new Vector Language: Glee | bryan rasmussen | 1 | 05/27/2004 |
Continuations in Java and Java-based Web Frameworks | Noel Welsh | 11 | 05/27/2004 |
Syntax-rules Primer | Ehud Lamm | 1 | 05/25/2004 |
Holiday | Ehud Lamm | 5 | 05/26/2004 |
Turing completeness is not? | Andris Birkmanis | 14 | 05/26/2004 |
AFP 2004 | Ehud Lamm | 8 | 05/25/2004 |
Pointcuts and Advice in Higher-Order Languages | Ehud Lamm | 2 | 05/25/2004 |
Case Study in Practical Language Use | andrew cooke | 23 | 05/26/2004 |
Nice collection of quotes | Ehud Lamm | 2 | 05/23/2004 |
Lua Shines | Chris Rathman | 2 | 05/23/2004 |
The First Report on Scheme Revisited | Andris Birkmanis | 1 | 05/22/2004 |
A Security Kernel Based on the Lambda-Calculus | Ehud Lamm | 1 | 05/21/2004 |
LiveType Font Constraint Programming | Mark Evans | 1 | 05/20/2004 |
SPARK and high integrity software | Frank Atanassow | 6 | 05/21/2004 |
The SkyNet Virus: Why it is Unstoppable; How to Stop it | Peter Van Roy | 21 | 05/27/2004 |
Untangling the balancing and searching of balanced binary search trees | Ehud Lamm | 5 | 05/20/2004 |
Haskell-Coloured Petri Nets | Andris Birkmanis | 5 | 05/18/2004 |
Lisp Machine Progress Report | Luke Gorrie | 2 | 05/17/2004 |
pbook | Luke Gorrie | 12 | 05/20/2004 |
Aspect-Oriented Programming for Distributed Systems | Peter Van Roy | 5 | 05/19/2004 |
The GNU 64-bit PL8 compiler | Ehud Lamm | 1 | 05/15/2004 |
Composing Monads using Coproducts | andrew cooke | 1 | 05/14/2004 |
Composing Monads using Coproducts | Frank Atanassow | 2 | 05/14/2004 |
The Case for First Class Messages | Chris Rathman | 169 | 05/27/2004 |
XSLT 2.0 in System.XML V2.0 ? | Ehud Lamm | 4 | 05/20/2004 |
late binding and self reference | andrew cooke | 5 | 05/13/2004 |
Selective Open Recursion: A Solution to the Fragile Base Class Problem | Ehud Lamm | 8 | 05/23/2004 |
Moiell (aka Leoll++) | Ehud Lamm | 1 | 05/13/2004 |
A Type Theory for Memory Allocation and Data Layout | Mark Evans | 4 | 05/13/2004 |
Extensible Programming for the 21st Century | Ehud Lamm | 10 | 05/20/2004 |
lambda-calculus and types | Chris Rathman | 8 | 05/13/2004 |
Udell discusses XBRL | Ehud Lamm | 6 | 05/11/2004 |
The Haskell Road to Logic, Maths and Programming | Ehud Lamm | 4 | 05/10/2004 |
Why Learning Assembly Language is Still a Good Idea | Chris Rathman | 16 | 05/11/2004 |
P# - Prolog compiler for .Net | Chris Rathman | 3 | 05/10/2004 |
Spreadsheet structure discovery | andrew cooke | 3 | 05/08/2004 |
Object-Oriented Programming Enhancements in Ada200Y | Ehud Lamm | 5 | 05/09/2004 |
miniKanren: A declarative applicative logic programming system | Ehud Lamm | 4 | 05/07/2004 |
Pike 7.6 Released | Dominic Fox | 3 | 05/06/2004 |
Lambda Lifting | Ehud Lamm | 2 | 05/05/2004 |
The Theory of Classification | Daniel Yokomizo | 1 | 05/05/2004 |
Programming as if Performance Mattered | James Hague | 11 | 05/10/2004 |
Prolog and Mercury Compared | Ehud Lamm | 6 | 05/05/2004 |
Tim Bray: Jython | Ehud Lamm | 21 | 05/07/2004 |
Software safety by the numbers | Chris Rathman | 3 | 05/04/2004 |
Spike in erlang | Ehud Lamm | 2 | 05/04/2004 |
A Generic Component Framework for System Modeling | Andris Birkmanis | 5 | 05/07/2004 |
Enjoy the Soundness | andrew cooke | 3 | 05/02/2004 |
Programming in dc | andrew cooke | 4 | 05/04/2004 |
Special Topics in Domain Specific Languages (course) | Ehud Lamm | 7 | 05/03/2004 |
New version of Self released | Kragen Sitaker | 1 | 04/28/2004 |
When and How to Develop Domain-Specific Languages | Ehud Lamm | 4 | 04/30/2004 |
A Practical Theory of Programming | Ehud Lamm | 3 | 04/29/2004 |
Interpretation of the curry-howard isomorphism | Ehud Lamm | 1 | 04/28/2004 |
2004 ICFP Programming Contest Announced | nate foster | 1 | 04/27/2004 |
Udell: Radical software customization | Ehud Lamm | 45 | 04/30/2004 |
Globus Project for Grid Computing | Mark Evans | 1 | 04/25/2004 |
POOMA | Mark Evans | 4 | 04/26/2004 |
Refal programming language | Ehud Lamm | 4 | 04/26/2004 |
Excel examples | andrew cooke | 2 | 04/26/2004 |
Wolfram's Future Math | Mark Evans | 13 | 05/21/2004 |
Growing a Language | Luke Gorrie | 37 | 05/25/2004 |
A Modal Language for Effects | Ehud Lamm | 1 | 04/23/2004 |
Linj - creates Java code from CL derivative | Mitchell N Charity | 1 | 04/22/2004 |
UML and DSLs | Ehud Lamm | 7 | 04/26/2004 |
VC++ Security Checks at Runtime and Compile Time | Ehud Lamm | 32 | 04/24/2004 |
Alan Kay to receive Turing Award | Ehud Lamm | 8 | 04/22/2004 |
RDFEngine | Danny Ayers | 2 | 04/21/2004 |
Tunneling Variables | Patrick Logan | 11 | 04/22/2004 |
Calculating the Sieve of Eratosthenes | Ehud Lamm | 4 | 04/19/2004 |
Comega (C Omega) Language | David B. Wildgoose | 6 | 04/19/2004 |
MS C++ Compiler Freely Available | andrew cooke | 3 | 04/18/2004 |
IJCAR 2004 Tutorial Program | Ehud Lamm | 1 | 04/18/2004 |
Apocalypse 12: Perl 6 OO | Ehud Lamm | 1 | 04/17/2004 |
Apocalypse 12 is out | Keith Devens | 18 | 04/22/2004 |
Fractal Music (and a Personal Introduction) | Danny Ayers | 5 | 04/18/2004 |
Mozart Oz 1.3.0 Released | Mark Evans | 5 | 04/24/2004 |
Why, Krakatoa and Caduceus: Software proof | Jim Apple | 1 | 04/15/2004 |
Poplog | Brent Fulgham | 37 | 04/24/2004 |
Validating the Unit Correctness of Spreadsheet Programs | Ehud Lamm | 7 | 04/18/2004 |
test | Toni Apriando | 2 | 04/13/2004 |
OpenStack Collaborative Computing | Mark Evans | 1 | 04/12/2004 |
Draining the Language out of Color | Chris Rathman | 4 | 04/13/2004 |
Circular references | andrew cooke | 13 | 04/21/2004 |
The Sound of Mathematics | Chris Rathman | 5 | 04/12/2004 |
KANREN -- logic programming in Scheme | Neel Krishnaswami | 1 | 04/10/2004 |
Java to gain multitasking improvements | Chris Rathman | 7 | 04/13/2004 |
1st European Lisp and Scheme Workshop | Chris Rathman | 1 | 04/08/2004 |
Dating Design Patterns | Noel Welsh | 25 | 04/08/2004 |
Impedance mismatch: RDBMS and PLs | Chris Rathman | 35 | 04/08/2004 |
New Language Features in C# 2.0, Part 1 | Chris Rathman | 1 | 04/07/2004 |
Narcissus: JavaScript in JavaScript | Chris Rathman | 4 | 04/08/2004 |
Teach Yourself Scheme in Fixnum Days | Chris Rathman | 7 | 04/06/2004 |
Play nice... | Ehud Lamm | 3 | 04/05/2004 |
Simple scripting language | andrew cooke | 11 | 04/07/2004 |
April Second... | Ehud Lamm | 2 | 04/04/2004 |
CCSL Tutorial | Ehud Lamm | 2 | 04/03/2004 |
Taming the x86 beast | Chris Rathman | 3 | 04/02/2004 |
Making Oz capability-secure | Fred Spiessens | 2 | 04/01/2004 |
Semantic Web scripting languages | Danny Ayers | 1 | 04/01/2004 |
Eric Lippert does SimpleScript | Dan Shappir | 7 | 04/03/2004 |
Cilk | Mark Evans | 2 | 04/02/2004 |
XQuery Normalizer and Static Analyzer (alphaWorks) | Ehud Lamm | 1 | 03/29/2004 |
What does Hello World show? | Albert Y. C. Lai | 5 | 03/29/2004 |
The Logic Programming Paradigm and Prolog | Ehud Lamm | 17 | 03/29/2004 |
Dying Tongues | Isaac Gouy | 45 | 04/03/2004 |
A Eulogy for HyperCard | Ehud Lamm | 1 | 03/26/2004 |
K.R. Apt: Principles of Constraint Programming | Ehud Lamm | 3 | 03/29/2004 |
Prothon | andrew cooke | 8 | 03/30/2004 |
Domain-Specific Modeling Languages | Isaac Gouy | 3 | 03/26/2004 |
Implementing Distributed Systems Using Linear Naming | Luke Gorrie | 4 | 03/31/2004 |
distcc: a fast, free distributed C/C++ compiler | Luke Gorrie | 2 | 03/26/2004 |
New department: parallel and distributed languages and paradigms | Ehud Lamm | 1 | 03/26/2004 |
XC# | Ehud Lamm | 2 | 03/25/2004 |
Static Type Inference (for Python) with Starkiller | Ehud Lamm | 3 | 04/01/2004 |
Parallel-Concurrent Programming Dept. | Mark Evans | 16 | 04/04/2004 |
Scripting with Free Software Rexx implementations | Chris Rathman | 4 | 03/25/2004 |
Two impromptus--or how Python helped us design our kitchen | Ehud Lamm | 3 | 03/24/2004 |
PyCon Papers | Ehud Lamm | 2 | 03/24/2004 |
Game Theory and Constratint Programming | andrew cooke | 1 | 03/22/2004 |
Why I Like PLT Scheme | Chris Rathman | 20 | 03/26/2004 |
Cross-language future of open source desktops | Mark Evans | 7 | 03/21/2004 |
Y derived | Ehud Lamm | 2 | 03/18/2004 |
Bad Engineering Properties of Object-Oriented Languages | Isaac Gouy | 1 | 03/17/2004 |
Post-Java Era : Back to Dynamicity | Isaac Gouy | 1 | 03/17/2004 |
'Concepts, Techniques, and Models' is a real book | Peter Van Roy | 2 | 03/17/2004 |
Min-Maxing languages | M.J. Stahl | 6 | 03/21/2004 |
Learning FP Through MultiMedia | andrew cooke | 3 | 03/16/2004 |
Gibbons: Metamorphisms and streaming algorithms | Ehud Lamm | 1 | 03/16/2004 |
The Fault Tolerant Shell | Dan Shappir | 6 | 03/17/2004 |
PL Points of View or Why we do that thing we do? | M.J. Stahl | 2 | 03/15/2004 |
PL Points of View | M.J. Stahl | 3 | 03/15/2004 |
Dressing up Self in JavaScript | M.J. Stahl | 10 | 03/15/2004 |
Bruce Eckel on Java generics | Ehud Lamm | 18 | 03/15/2004 |
History of Programming Languages Seminar (Felleisen) | Ehud Lamm | 1 | 03/11/2004 |
Site Availability | Ehud Lamm | 7 | 03/13/2004 |
Introduction to (Formal) Type Systems | Matt Estes | 8 | 03/11/2004 |
J is free again (as in beer) | James Hague | 2 | 03/10/2004 |
Video lectures on SICP | Chris Rathman | 9 | 03/13/2004 |
C++ Expression Templates | Ehud Lamm | 3 | 03/09/2004 |
C++ Template Metaprograms | Ehud Lamm | 1 | 03/09/2004 |
New Department | Ehud Lamm | 1 | 03/09/2004 |
Guaranteed Optimization for Domain-Specific Programming | Ehud Lamm | 3 | 03/08/2004 |
xtc – eXTensible C | Mark Evans | 3 | 03/13/2004 |
Fun and Games with Multi-Language Development | Ehud Lamm | 2 | 03/07/2004 |
PyCon 2004 Talks | Mark Evans | 3 | 03/08/2004 |
Practical Aspects of Multi-Stage Programming | Bryn Keller | 4 | 03/07/2004 |
Categories for Everybody | Andrei Formiga | 6 | 03/09/2004 |
Book Review: Purely Functional Data Structures | Chris Rathman | 17 | 03/07/2004 |
Every Language War Ever | Dan Shappir | 21 | 03/09/2004 |
Metaprogramming, Toast and the Future of Development Tools | GordonWeakliem | 2 | 03/05/2004 |
Vector | Ehud Lamm | 1 | 03/05/2004 |
EclipseCon 2004 Presentations | Mark Evans | 1 | 03/04/2004 |
Proof Theory of Martin-Lof Type Thoery - And Overview | Ehud Lamm | 3 | 03/03/2004 |
Eidola Language | Mark Evans | 7 | 03/02/2004 |
Berkeley Visionaries Prognosticate About the Future | Manuel Simoni | 9 | 03/03/2004 |
The Vector | Keith Devens | 1 | 02/29/2004 |
A Prolog Introduction for Hackers | andrew cooke | 6 | 03/01/2004 |
Waldo on "Types" | Patrick Logan | 15 | 03/02/2004 |
Polymorphic Variants | andrew cooke | 4 | 02/29/2004 |
Open-source C compiler targets FPGAs | Patrick Logan | 2 | 02/27/2004 |
2nd edition of Code Complete | Ehud Lamm | 4 | 02/28/2004 |
MIT Theta Language and Thor Distributed OO Database | Mark Evans | 4 | 02/27/2004 |
Monads in Scheme | andrew cooke | 6 | 02/29/2004 |
CLR Hosting | Ehud Lamm | 21 | 03/05/2004 |
Control operators | Jim Apple | 2 | 02/23/2004 |
Python 'for' as Scheme 'let' | Ehud Lamm | 3 | 02/23/2004 |
Finalization (CLR) | Ehud Lamm | 10 | 02/21/2004 |
Nemerle | Patrick Logan | 8 | 02/20/2004 |
hOp - Haskell Micro-Kernel | andrew cooke | 2 | 02/19/2004 |
Microsoft Xen On Track to Debut as 'X Omega' | Mark Evans | 13 | 02/20/2004 |
Basic Principles of Code Access Security | Ehud Lamm | 1 | 02/19/2004 |
Environment Classifiers | Ehud Lamm | 3 | 02/20/2004 |
Why's (Poignant) Guide to Ruby | Patrick Logan | 4 | 02/19/2004 |
Interview with Intel's C++ Compiler Team | Mark Evans | 8 | 02/19/2004 |
DDJ, March 2004, Programming Languages | Dan Shappir | 4 | 02/18/2004 |
Using SimCity to teach recursion | Patrick Logan | 2 | 02/17/2004 |
Elements of Basic Category Theory | Ehud Lamm | 25 | 02/21/2004 |
Elements of Basic Category Theory | Andris Birkmanis | 1 | 02/15/2004 |
Hancock - a TIA DSL? | andrew cooke | 1 | 02/14/2004 |
The Next Move in Programming (Livschitz interview) | andrew cooke | 41 | 02/21/2004 |
Martin Fowler on Domain Specific Languages | Patrick Logan | 1 | 02/13/2004 |
Packrat Parsing | andrew cooke | 4 | 02/14/2004 |
Generics in the CLR (MSDN) | Ehud Lamm | 1 | 02/12/2004 |
History of Lua | andrew cooke | 8 | 02/12/2004 |
Udell: Programs that write programs | Ehud Lamm | 11 | 02/12/2004 |
Two more Hebrew tutorials | Ehud Lamm | 2 | 02/11/2004 |
Collaborations+CrosscuttingConcerns | Andris Birkmanis | 1 | 02/11/2004 |
Why is Ada Special? | John Fraser | 8 | 02/11/2004 |
OCaml, an Introduction | Patrick Logan | 10 | 02/12/2004 |
Software Fault Prevention by Language Choice | Ehud Lamm | 13 | 02/12/2004 |
LtU FAQ Update | Mark Evans | 27 | 02/10/2004 |
Embedding Lisp/Logic for Robotics | M.J. Stahl | 5 | 02/11/2004 |
PLT Spy - Python in Scheme | Mark Evans | 4 | 02/10/2004 |
Darcs | Bryn Keller | 20 | 02/10/2004 |
Currying of Complex Interfaces | andrew cooke | 10 | 02/09/2004 |
Building Collaboration into IDEs | Ehud Lamm | 2 | 02/06/2004 |
Midland Graduate School 2004 / APPSEM Spring School 2004 | Noel Welsh | 2 | 02/06/2004 |
Designing a "Business Layer" | andrew cooke | 7 | 02/06/2004 |
GraphPath | Ehud Lamm | 11 | 02/08/2004 |
Scope, generators and list comprehensions (Python) | Ehud Lamm | 5 | 02/07/2004 |
What's New in J2SE 1.5 Beta 1 Release | Ehud Lamm | 1 | 02/05/2004 |
CLR Design Choices | Ehud Lamm | 8 | 02/10/2004 |
Data as code | Mike Summers | 11 | 02/03/2004 |
Sina Language and Composition Filters | Mark Evans | 14 | 02/03/2004 |
Graphite DSL for Advanced Typography | Mark Evans | 2 | 01/30/2004 |
Real-Time OO Conf. - ISORC 2004 | Mark Evans | 1 | 01/30/2004 |
New Scientist interview with Alexandra Aikhenvald | Ehud Lamm | 31 | 02/03/2004 |
Drafting Legislation Using XML | Mark Evans | 3 | 02/02/2004 |
Apology | Ehud Lamm | 2 | 01/29/2004 |
Implicit params in Haskell | andrew cooke | 9 | 01/29/2004 |
TCLP is a type checker for Prolog dialects | Patrick Logan | 1 | 01/27/2004 |
Programming OOP Pattern Libraries | Eray Ozkural (exa)) | 9 | 01/26/2004 |
Anders Hejlsberg interview on Generics in C# | Ehud Lamm | 4 | 01/26/2004 |
Reading Styles ( Idiomatic Lisp and Idiomatic Scheme ) | Ehud Lamm | 58 | 01/26/2004 |
Playful, streamlike computation | Ehud Lamm | 1 | 01/25/2004 |
Squeak: a Language for Communicating with Mice | Luke Gorrie | 14 | 01/25/2004 |
Testing the C# compiler | Ehud Lamm | 1 | 01/23/2004 |
Udell on licensing and lock-in | Ehud Lamm | 9 | 01/24/2004 |
Why Events Are a Bad Idea | Luke Gorrie | 22 | 01/26/2004 |
"Why Events Are A Bad Idea" | Matt Brubeck | 3 | 01/23/2004 |
Mathematics of Program Construction Conf. 2004 | Mark Evans | 1 | 01/21/2004 |
Micro Autonomous Underwater Vehicles and Smalltalk | Patrick Logan | 12 | 01/24/2004 |
The Art of Unix Programming | Luke Gorrie | 12 | 01/23/2004 |
Algorithmic complexity of evaluation: lazy, eager, pure and impure | Patrick Logan | 3 | 01/21/2004 |
Great links | Ehud Lamm | 1 | 01/21/2004 |
FreshML - abstract syntax manipulation | Jim Apple | 1 | 01/20/2004 |
Algorithmic complexity of evaluation: lazy, eager, pure and impure | Jim Apple | 3 | 01/21/2004 |
Java Syntactic Extender | M.J. Stahl | 1 | 01/19/2004 |
Reflection-Oriented Programming | M.J. Stahl | 4 | 01/19/2004 |
What is a Purely Functional Language? | Ehud Lamm | 1 | 01/19/2004 |
Concept programming | Christophe de Dinechin | 54 | 01/26/2004 |
Processing: A language for visual arts | Dave Bauer | 3 | 01/20/2004 |
Macros for C++? | Jim Apple | 2 | 01/18/2004 |
The Lambda ethos | Ehud Lamm | 29 | 01/25/2004 |
Book on game scripting interpreters | Darius Bacon | 2 | 01/17/2004 |
The Language Construction Kit | Serguey Zefirov | 1 | 01/17/2004 |
teaching programming; any research or results? | Robert Holwerda | 9 | 01/16/2004 |
Klaus Wirth & Typeless Euler | Isaac Gouy | 1 | 01/16/2004 |
DSL for financial contracts | Ehud Lamm | 15 | 01/17/2004 |
DSL for financial contracts | Olivier Lefevre | 2 | 01/16/2004 |
Brian Harvey books available online | Ehud Lamm | 2 | 01/15/2004 |
Brian Harvey books available online | Matt Hellige | 1 | 01/15/2004 |
Lisp Machines | Patrick Logan | 3 | 01/14/2004 |
Eric Gunnerson on language design at Microsoft (well, sort of) | Ehud Lamm | 10 | 01/16/2004 |
Combining Generics, Pre-Compilation and Sharing Between Software-Based Processes | Ehud Lamm | 3 | 01/15/2004 |
CW'04 Advance Program | Ehud Lamm | 1 | 01/13/2004 |
FxCop & DSLs | Ehud Lamm | 3 | 01/12/2004 |
categories study group | Ehud Lamm | 1 | 01/11/2004 |
Learn Prolog Now! | Ehud Lamm | 1 | 01/11/2004 |
Thoughts From The Head | Erik Meijer | 1 | 01/09/2004 |
MFA in Software: trial run | Luke Gorrie | 15 | 01/14/2004 |
Python versus Parrot challenge, the Pie-thon | Patrick Logan | 1 | 01/08/2004 |
The Behavior of Behavior | Patrick Logan | 8 | 01/08/2004 |
DSL Implementation in MetaOCaml, Template Haskell, and C++ | Ehud Lamm | 5 | 01/08/2004 |
Erik Meijer on LtU | Ehud Lamm | 3 | 01/08/2004 |
ML-like Inference for Classifiers | Ehud Lamm | 1 | 01/07/2004 |
Why Objects Have Failed | Christian Lindig | 17 | 01/07/2004 |
Model-Based Integration of Embedded Software | Mark Evans | 4 | 01/06/2004 |
Free Smalltalk Books | Patrick Logan | 2 | 01/06/2004 |
Continuations: Haystack and Python | Patrick Logan | 2 | 01/07/2004 |
Canonware Onyx | Patrick Logan | 5 | 01/07/2004 |
Continuations (and call/cc) in Haskell | Ehud Lamm | 5 | 01/05/2004 |
ONLamp: What I Hate About Your Programming Language | Ehud Lamm | 2 | 01/01/2004 |
Happy New Year! | Ehud Lamm | 1 | 12/31/2003 |
Polyglot: extensible compiler framework | Ehud Lamm | 1 | 12/31/2003 |
Perl as a community DSL | Adam Keys | 5 | 01/04/2004 |
Aspects, Quantification & Obliviousness | Isaac Gouy | 2 | 12/30/2003 |
XMLSpy XSLT designer & end users | Ehud Lamm | 5 | 01/03/2004 |
Lython | Patrick Logan | 3 | 01/03/2004 |
Hierarchy of Needs (adapted to Design) | Isaac Gouy | 1 | 12/29/2003 |
Bach & Software Composition | Isaac Gouy | 5 | 12/31/2003 |
PEP 323: Copyable Iterators | Ehud Lamm | 2 | 01/04/2004 |
Presentation slides for secure C Library | Ehud Lamm | 1 | 12/28/2003 |
python - spidermonkey | Ehud Lamm | 7 | 12/29/2003 |
VB.NET Critique | Ehud Lamm | 1 | 12/28/2003 |
Color Cognition and Language | Ehud Lamm | 1 | 12/28/2003 |
Kai von Fintel: Essential Readings in Semantics | Ehud Lamm | 6 | 12/28/2003 |
Data Structure + Algorithm Survey (Caml) | andrew cooke | 1 | 12/24/2003 |
A VB.NET Critique | Eric Mutta | 22 | 01/03/2004 |
A Comparative Study of Language Support for Generic Programming | Ehud Lamm | 5 | 12/27/2003 |
Concepts: Design choices for template argument checking | Ehud Lamm | 13 | 01/10/2004 |
Changeable class in Avalon | Ehud Lamm | 2 | 12/24/2003 |
Versioning XML Vocabularies | Ehud Lamm | 1 | 12/23/2003 |
Short Cut Fusion is Correct | Ehud Lamm | 2 | 12/22/2003 |
Research Publication Modes Need to be Reengineered | Luke Gorrie | 5 | 12/22/2003 |
BrookGPU | Luke Gorrie | 11 | 12/22/2003 |
Sun MSFT Java C# CLR Big Picture | Mark Evans | 4 | 12/22/2003 |
PostScript control structures | Ehud Lamm | 5 | 12/22/2003 |
Sun Invites IBM, Cray To Work On New Computer Language | Chris Rathman | 7 | 12/19/2003 |
StarLogo: Give the Gift of Learning | Chris Rathman | 4 | 12/19/2003 |
Feature wishes may be granted | John Skaller | 15 | 12/19/2003 |
Twisted Matrix Networking for Python | Mark Evans | 12 | 12/19/2003 |
Programming Languages: Application and Interpretation | Ehud Lamm | 3 | 12/17/2003 |
The Sound of Lost Productivity | Patrick Logan | 3 | 12/16/2003 |
Over and Under in a Box | Patrick Logan | 3 | 12/16/2003 |
JWIG: Java Extensions for High-Level Web Service Development | Ehud Lamm | 1 | 12/15/2003 |
Reading, Writing, and Code | Ehud Lamm | 45 | 12/19/2003 |
The Big Bang Theory of IDEs | Ehud Lamm | 1 | 12/15/2003 |
Comments Requested on SML-Based Graphics DSL | Brent Fulgham | 6 | 12/18/2003 |
100 prisoners and a light bulb | Ehud Lamm | 18 | 12/18/2003 |
Hugunin's IronPython | Patrick Logan | 5 | 12/15/2003 |
Smalltalk-72 Manual | Isaac Gouy | 1 | 12/11/2003 |
Erlang/OTP User Conference (euc'2003) Proceedings | Ehud Lamm | 4 | 12/14/2003 |
XML for End Users | Ehud Lamm | 6 | 12/18/2003 |
Understanding Aspects | Ehud Lamm | 1 | 12/09/2003 |
Book opinions? | Matt Hellige | 4 | 12/09/2003 |
The Java™ specs in a formal way | Andris Birkmanis | 3 | 12/18/2003 |
Adding Apples to Oranges | Ehud Lamm | 4 | 12/10/2003 |
What is missing from or broken about XAML? | Ehud Lamm | 1 | 12/08/2003 |
Language Construction | logarithm | 6 | 12/09/2003 |
DSL in Software Development and Releation to Partial Evaluation | Ehud Lamm | 5 | 12/09/2003 |
Knuth: Selected Papers on Computer Languages | Ehud Lamm | 1 | 12/07/2003 |
nesC: A Holistic Approach to Networked Embedded Systems | Ehud Lamm | 1 | 12/07/2003 |
Logic Programming in the Context of Multiparadigm Programming: The Oz Experience | Ehud Lamm | 1 | 12/07/2003 |
A Clockwork Orange: Nadsat | Ehud Lamm | 29 | 12/12/2003 |
Events and Continuations | Andris Birkmanis | 29 | 12/11/2003 |
Dynamic Properties | Patrick Logan | 42 | 12/11/2003 |
Frappe: Functional Reactive Programming in Java | Patrick Logan | 8 | 12/06/2003 |
Don Knuth Book Tour! | scruzia | 1 | 12/04/2003 |
Python Scripting Everywhere | Ehud Lamm | 28 | 12/07/2003 |
Transparent Language Implementation and Design | Brent Fulgham | 6 | 12/04/2003 |
The Revised C++ Language Design Supporting .NET | Ehud Lamm | 3 | 12/02/2003 |
Stanley Lippman's C++ Blog | Ken Hirsch | 1 | 12/01/2003 |
A Self-Study Course in Squeak | Ehud Lamm | 1 | 12/01/2003 |
ParentheC | Ehud Lamm | 1 | 12/01/2003 |
50 Questions for a Language Designer | Ehud Lamm | 3 | 12/06/2003 |
A Logic for Shared Mutable Data Structures | Andris Birkmanis | 2 | 11/29/2003 |
Interview with Robin Milner | Ehud Lamm | 6 | 12/01/2003 |
Meijer: On The (Non) Value of Programming Language Research | Ehud Lamm | 2 | 12/02/2003 |
Antipathy to Type Systems | Isaac Gouy | 23 | 12/02/2003 |
Lambda Calculus | Manuel Simoni | 4 | 11/28/2003 |
Why Functional Programming Matters | Luke Gorrie | 12 | 12/01/2003 |
The dominant paradigm | David B. Wildgoose | 4 | 11/27/2003 |
Interview with Robin Milner | Dominic Fox | 1 | 11/26/2003 |
DSL for bookmarklets | Ehud Lamm | 3 | 11/26/2003 |
Is it time for another guest blogger? | Ehud Lamm | 14 | 11/28/2003 |
50 Questions for a Language Designer | Manuel Simoni | 3 | 11/27/2003 |
The JPie Interactive Programming Environment | Patrick Logan | 5 | 11/26/2003 |
Language Relativity (one more time) | Ehud Lamm | 1 | 11/24/2003 |
Thielecke: Contrasting exceptions and continuations | Ehud Lamm | 2 | 11/27/2003 |
On Garbage Collection | Patrick Logan | 15 | 11/28/2003 |
Another milestone | Ehud Lamm | 7 | 11/21/2003 |
PyLogo | Ehud Lamm | 16 | 11/21/2003 |
FPGA's, Soft Cores and Custom CPU's. | John Carter | 5 | 11/20/2003 |
Control handling primitives | Andris Birkmanis | 11 | 11/21/2003 |
An Unbounded Spigot Algorithm for the Digits of Pi | Ehud Lamm | 1 | 11/20/2003 |
European Summer School on Logic, Language and Information | Ken Shan | 1 | 11/19/2003 |
1983-1993: The Wonder Years of Sequential Prolog Implementation | Ehud Lamm | 3 | 10/24/2003 |
Towards the best collection API | Ehud Lamm | 17 | 11/21/2003 |
Conceptual Integrity in Erlang | Patrick Logan | 28 | 10/24/2003 |
Web Architecture: Extensible Languages | Ehud Lamm | 1 | 11/17/2003 |
Coplien: Teaching OO | Ehud Lamm | 10 | 11/19/2003 |
Open Programming Services for Virtual Machines: The Design of Mozart and SEAM | Patrick Logan | 2 | 10/24/2003 |
A Survey of Object-Oriented Concepts | Ehud Lamm | 9 | 11/17/2003 |
Viewing code - how much is just right? | Dan Shappir | 13 | 11/21/2003 |
Notes on Programming in C | Manuel Simoni | 30 | 11/19/2003 |
Introducing Continuations | Chris Rathman | 13 | 11/18/2003 |
Languages by people in langsmiths@yahoogroups.com | Patrick Logan | 2 | 11/13/2003 |
Making reliable distributed systems in the presence of software errors | Luke Gorrie | 27 | 11/19/2003 |
Vital: A Visual Interactive Typed Applicative Language | Ehud Lamm | 2 | 11/13/2003 |
O'Reilly blog entry on battling VMs | Ken Meltsner | 5 | 11/17/2003 |
Ada and Java: real-time advantages | Chris Rathman | 9 | 11/13/2003 |
Exercises in Coalgebraic Specification | Ehud Lamm | 1 | 11/12/2003 |
You call that a Monad? This HERE's a Monad.... And a Shell. | Brent Fulgham | 5 | 11/13/2003 |
XL? | Drew Bagnell | 3 | 11/12/2003 |
Dylan Evans: Computer Illiteracy | Ehud Lamm | 2 | 11/11/2003 |
What does C have in common with a scalding cup of coffee? | Mark Evans | 2 | 11/10/2003 |
Proceedings of the Scheme Workshop 2003 | Patrick Logan | 6 | 11/20/2003 |
Coalgebraic Reasoning about Classes in Object-Oriented Languages | Ehud Lamm | 13 | 11/11/2003 |
Dines Bjorner Software Engineering textbooks | Isaac Gouy | 1 | 11/09/2003 |
Longhorn Command Shell ("Monad") | Ehud Lamm | 18 | 11/11/2003 |
First WinFx "application" written in SML | Ehud Lamm | 1 | 11/07/2003 |
LLVM Compiler Infrastructure Project | Bryn Keller | 5 | 11/10/2003 |
SQL Server "Yukon" Beta 1 Transact-SQL Enhancements | Chris Rathman | 7 | 11/10/2003 |
LL3 Webcast | andrew cooke | 23 | 11/12/2003 |
Converting Common Lisp to Dylan | Chris Rathman | 10 | 11/09/2003 |
Interfaces : a special construct of OO-Languages like Java/C# or only a crook? | Karl Reitschuster | 6 | 11/07/2003 |
EMACS: The Extensible, Customizable Display Editor | Luke Gorrie | 9 | 11/11/2003 |
The JScript Type System, Part One | Dan Shappir | 2 | 11/06/2003 |
Shape Theory | Mark Evans | 3 | 11/06/2003 |
Editors, Ahoy! | Ehud Lamm | 9 | 11/06/2003 |
PEP 289: Generator Expressions - Accepted for Py2.4 | Ehud Lamm | 4 | 11/11/2003 |
MS PDC Session slides | Isaac Gouy | 2 | 11/05/2003 |
Algebraic Specification: some old history, and new thoughts | Ehud Lamm | 3 | 11/04/2003 |
Bertrand Meyer on Software Quality | Ehud Lamm | 22 | 11/05/2003 |
A case study in class library verification: Java's vector class | Ehud Lamm | 1 | 11/01/2003 |
Nonalgorithmic programming | Peter Van Roy | 22 | 11/04/2003 |
Ideas for a master's thesis related to Python | Ehud Lamm | 4 | 11/03/2003 |
A big thank you to Peter Van Roy | Ehud Lamm | 3 | 11/02/2003 |
Clean System 2.1 is released | Isaac Gouy | 2 | 10/31/2003 |
Zero Button Testing | Carl Manaster | 8 | 11/01/2003 |
CLR Panel notes | Ehud Lamm | 7 | 11/01/2003 |
Introduction to the Base Class Libraries (.Net) | Ehud Lamm | 3 | 10/30/2003 |
Longhorn CodeDOM | Isaac Gouy | 1 | 10/28/2003 |
Longhorn Markup Language (code-named "XAML") Overview | Ehud Lamm | 9 | 11/01/2003 |
XAML the future of UI programming? | Isaac Gouy | 9 | 10/29/2003 |
Macros vs. Higher-order Programming | Peter Van Roy | 83 | 11/05/2003 |
Groovy Language | Mark Evans | 3 | 01/06/2004 |
X2EE Revamps J2EE | Mark Evans | 22 | 10/31/2003 |
C# Language Specification 2.0 (new features) | Ehud Lamm | 15 | 10/28/2003 |
C# Language Specification 2.0 draft | Isaac Gouy | 1 | 10/24/2003 |
Dan Friedman: Object Oriented Style | Ehud Lamm | 2 | 10/23/2003 |
Evolution of a Programmer (Joke) | Mark Evans | 1 | 10/22/2003 |
Peter Van Roy: Expressiveness versus execution speed | Ehud Lamm | 1 | 10/22/2003 |
State and modularity | Peter Van Roy | 23 | 10/23/2003 |
Expressiveness versus execution speed | Peter Van Roy | 45 | 10/23/2003 |
Magic Omega and the Limits of Mathematics | Mark Evans | 3 | 10/22/2003 |
Two-column LtU home page? | Mark Evans | 6 | 10/22/2003 |
Flow Java: Declarative Concurrency for Java | Ehud Lamm | 1 | 10/21/2003 |
Distributed programming made easy | Peter Van Roy | 7 | 10/23/2003 |
Peter's first three posts | Ehud Lamm | 1 | 10/21/2003 |
Concurrency-oriented programming | Peter Van Roy | 21 | 10/23/2003 |
Teaching programming | Peter Van Roy | 41 | 10/23/2003 |
Peter Van Roy here on LtU | Ehud Lamm | 7 | 10/21/2003 |
Erik Meijer: Visual Basic Programmers Love Anamorphisms | Ehud Lamm | 22 | 10/21/2003 |
Visual Basic Programmers Love Anamorphisms | Kory Markevich | 1 | 10/20/2003 |
Dynamically scoped functions vs. AOP | Ehud Lamm | 11 | 10/21/2003 |
B. Stroustrup: Serving the C++ Community | Ehud Lamm | 34 | 10/22/2003 |
Type Safety in a Dynamically Extensible Class Library | Dan Shappir | 6 | 10/21/2003 |
Advanced Functional Programming wiki @ Harvard | Ehud Lamm | 3 | 10/20/2003 |
A Research C# Compiler | Ehud Lamm | 3 | 10/22/2003 |
Black-Scholes in Multiple Languages | Ehud Lamm | 5 | 10/20/2003 |
Genetic Evolution of Novel Entities Through Composite Abstractions | Patrick Logan | 2 | 10/18/2003 |
HydroJ: Object-Oriented Pattern Matching for Evolvable Distributed Systems | Patrick Logan | 1 | 10/15/2003 |
PDC: Designing the CLR | Ehud Lamm | 1 | 10/15/2003 |
The Future of .NET Languages | Ehud Lamm | 3 | 10/16/2003 |
Programming with Rectangles, Triangles, and Circles | Ehud Lamm | 15 | 10/17/2003 |
The Philosophy of Ruby | Dan Shappir | 1 | 10/15/2003 |
Papers in Coalgebra Theory and Applications | Ehud Lamm | 3 | 10/15/2003 |
PL/I and Multics | Ehud Lamm | 3 | 10/14/2003 |
Admin notices | Ehud Lamm | 6 | 10/14/2003 |
Scarlet Language | Jesse Jones | 1 | 10/13/2003 |
Stroustrup's C++ Style Sweet Spot | Ehud Lamm | 46 | 10/13/2003 |
A Revolution in Logic? | Patrick Logan | 10 | 10/14/2003 |
C++ Style Bjarne Stroustrup | Isaac Gouy | 1 | 10/13/2003 |
A Tutorial on Proof Theoretic Foundations of Logic Programming | Ehud Lamm | 1 | 10/13/2003 |
A gentle introduction to TLG, the Curry-Howard correspondence, and cut-elimination | Ehud Lamm | 7 | 10/16/2003 |
Alice | Manuel Simoni | 22 | 10/18/2003 |
Spreadsheet Languages | Ehud Lamm | 14 | 10/17/2003 |
The SOUL Logic Meta Programming Tool | Patrick Logan | 1 | 10/08/2003 |
Evaluating API usability at Microsoft | Isaac Gouy | 5 | 10/11/2003 |
Excellent tutorial on Scheme macros | Ehud Lamm | 6 | 10/13/2003 |
TECHNICAL SYMPOSIUM ON SOFTWARE, SCIENCE & SOCIETY | Patrick Logan | 3 | 10/07/2003 |
Domain-specific and general-purpose aspects of spreadsheet languages | Ehud Lamm | 9 | 10/08/2003 |
Proofs and Types | Ehud Lamm | 5 | 10/17/2003 |
Historic Documents | Ehud Lamm | 2 | 10/12/2003 |
"Proofs and Types" available online | Frank Atanassow | 3 | 10/06/2003 |
CLR Exception Model | Ehud Lamm | 12 | 10/07/2003 |
Historic Documents in Computer Science | Isaac Gouy | 1 | 10/02/2003 |
Tuples + Objects + Infosets =Too Much Stuff! | Ehud Lamm | 47 | 10/06/2003 |
HaRe -- The Haskell Refactorer | Ehud Lamm | 2 | 10/02/2003 |
Lambda tutorial | Ehud Lamm | 1 | 10/02/2003 |
OO Best Feature Poll | Ehud Lamm | 75 | 10/04/2003 |
Self-application as a fixpoint of call/cc | Ehud Lamm | 3 | 10/01/2003 |
Glossary page on Lambda? | Ehud Lamm | 8 | 10/05/2003 |
Glossary | Ehud Lamm | 1 | 09/30/2003 |
Definitional Interpreters for Higher-Order Programming Languages | Ehud Lamm | 2 | 09/30/2003 |
Deriving a grammar from source | andrew cooke | 5 | 09/29/2003 |
Iota and Jot: the simplest languages? | Ehud Lamm | 2 | 09/29/2003 |
Douglas Adams: Frank The Vandal | Ehud Lamm | 2 | 09/28/2003 |
Readable Java 1.5 | Patrick Logan | 16 | 10/02/2003 |
Lightweight Languages 3 call for presentations online | Dan | 1 | 09/26/2003 |
Smalltalk Reports | Patrick Logan | 2 | 09/25/2003 |
Philip Greenspun: Lisp diehards = Holocaust deniers | Luke Gorrie | 25 | 09/25/2003 |
Moving Away From XSLT | Patrick Logan | 24 | 09/25/2003 |
JScript is a Functional Language | Dejan Jelovic | 30 | 09/24/2003 |
Vacation | Ehud Lamm | 2 | 09/18/2003 |
Continuations Reading Group | Patrick Logan | 6 | 09/19/2003 |
Best PL tutorials? | Ehud Lamm | 4 | 09/16/2003 |
Best PL tutorial/intro? | Frank Atanassow | 8 | 09/15/2003 |
Whither Self | Ehud Lamm | 23 | 09/21/2003 |
Future of Haskell discussion @ Haskell Workshop | Ehud Lamm | 3 | 09/26/2003 |
Inherited Traits - Classes Like Never Before | Mark Evans | 14 | 09/23/2003 |
Python's Beachhead in OpenOffice: PyUNO | Mark Evans | 2 | 09/14/2003 |
Reversible Garbage Collection (and more) | David B. Wildgoose | 11 | 09/13/2003 |
Metaclass programming in Python, Part 2 | Ehud Lamm | 10 | 09/16/2003 |
Functional Pearl: A fresh look at binary search trees | Ehud Lamm | 1 | 09/10/2003 |
Declarative Meta-programming | Mark Evans | 1 | 09/09/2003 |
Inside every API is a programming language struggling to get out | Dejan Jelovic | 15 | 09/13/2003 |
Trivia: Programming Language Naming Patterns | Ehud Lamm | 21 | 09/10/2003 |
DP-COOL 2003 Proceedings | Ehud Lamm | 7 | 09/13/2003 |
DP-COOL 2003 Proceedings | Mark Evans | 1 | 09/07/2003 |
Implementing Business Rules in the BC4J Framework | Ehud Lamm | 24 | 09/09/2003 |
Scheme in the Real World: A Case Study | Patrick Logan | 4 | 09/08/2003 |
Looking for B. Moura dissertation | greg travis | 3 | 09/04/2003 |
No "theory of types" in legal systems | Andris Birkmanis | 5 | 09/05/2003 |
Why don't more people use Prolog? | Patrick Logan | 22 | 09/18/2003 |
Felix: The power language for C++ programmers | Manuel Simoni | 14 | 09/04/2003 |
Mobile Applications Need Scripting Too! | Patrick Logan | 7 | 09/02/2003 |
Kata Two: Iteration, Recursion and Continuations | Chris Rathman | 1 | 08/31/2003 |
Using Ruby | Chris Rathman | 19 | 09/02/2003 |
Bare metal Smalltalk | Isaac Gouy | 2 | 08/31/2003 |
The Little Haskellist (once again) | Ehud Lamm | 11 | 09/01/2003 |
XQuery 1.0 and XPath 2.0 Formal Semantics | Ehud Lamm | 10 | 08/31/2003 |
Let C = Q in OCL | Andris Birkmanis | 1 | 08/27/2003 |
Using an Abstracted Interpreter to Understand Abstract Interpretation | Ehud Lamm | 19 | 09/01/2003 |
Lisp books mini reviews | Ehud Lamm | 2 | 08/27/2003 |
Translating human language to database query language | Manuel Simoni | 12 | 08/29/2003 |
Dynamic languages and virtual machines | Ehud Lamm | 33 | 09/01/2003 |
Set-Theoretic and Other Elementary Models of the LC | Ehud Lamm | 1 | 08/26/2003 |
Perl 6 Essentials / Chapter 1 / Project Overview | Ehud Lamm | 3 | 08/25/2003 |
Maybe Erlang is OO after all? | Ehud Lamm | 6 | 08/27/2003 |
Guest Bloggers on LtU? | Ehud Lamm | 9 | 08/25/2003 |
Patterns in Datatype-Generic Programming | Ehud Lamm | 7 | 08/25/2003 |
Memoization in Java Using Dynamic Proxy Classes | Chris Rathman | 5 | 08/22/2003 |
C language history | Isaac Gouy | 1 | 08/19/2003 |
The Trouble with Checked Exceptions | Chris Rathman | 50 | 08/29/2003 |
Closures and mutability | Ehud Lamm | 10 | 08/23/2003 |
Oracle PL/SQL Best Practices | Chris Rathman | 3 | 08/21/2003 |
Quiz: Language inventor or serial killer? | Ehud Lamm | 5 | 08/15/2003 |
Codata and Comonads in Haskell | Ehud Lamm | 3 | 08/19/2003 |
N3 -- a notation for writing RDF | Kimberley Burchett | 1 | 08/12/2003 |
All About Monads | Ehud Lamm | 14 | 08/19/2003 |
Udell: Symbol grounding, XML, and RDF | Ehud Lamm | 11 | 08/14/2003 |
Calculating Functional Programs: maximum segment sum | Ehud Lamm | 16 | 08/17/2003 |
The Design of Parallel Programming Languages | Ehud Lamm | 12 | 08/12/2003 |
Proof methods for corecursive programs | Ehud Lamm | 1 | 08/10/2003 |
Patterns of Software | Manuel Simoni | 14 | 08/18/2003 |
Seven Paradoxes of Object-Oriented Programming Languages | Patrick Logan | 2 | 08/08/2003 |
Region-Based Model Abstraction | Ehud Lamm | 5 | 08/07/2003 |
How to make a FPL successful | Daniel Yokomiso | 32 | 08/11/2003 |
amb and Quantum Computation in Scheme | Ehud Lamm | 1 | 08/06/2003 |
[meta] RSS feed questions... | Matt Hellige | 8 | 08/08/2003 |
Udell: Test before you leap into development | Ehud Lamm | 38 | 08/11/2003 |
JDO Architectures | Ehud Lamm | 59 | 08/07/2003 |
Term rewriting system for code generation, and its termination analysis | Ehud Lamm | 1 | 08/04/2003 |
Calling LtU editors | Ehud Lamm | 10 | 08/05/2003 |
JavaScript with Continuations and its use in Apache Cocoon | Dan Shappir | 1 | 08/03/2003 |
JavaScript with Continuations and its use in Apache Cocoon | Robert Sayre | 9 | 08/06/2003 |
Demo of VB "Whidbey" | Ehud Lamm | 15 | 08/07/2003 |
Theorems for free! | Ehud Lamm | 8 | 08/04/2003 |
The Pragmatic Language | Vladimir Ivanovic | 7 | 08/04/2003 |
Exegesis 6 | Ehud Lamm | 27 | 08/03/2003 |
Happy Birthday LtU | Chris Rathman | 12 | 07/30/2003 |
Gregor Kiczales on Aspect Oriented Programming | Chris Rathman | 6 | 07/30/2003 |
XML and Data Binding | Ehud Lamm | 2 | 07/30/2003 |
The Little MLer | Chris Rathman | 36 | 08/04/2003 |
A Type System Equivalent to Model Checking | Ehud Lamm | 1 | 07/26/2003 |
What Would You Ask Anders Hejlsberg? | Isaac Gouy | 3 | 08/03/2003 |
Java Is a Language for the Masses | Ehud Lamm | 46 | 07/28/2003 |
USENIX2003: A Logic File System | Ehud Lamm | 4 | 08/01/2003 |
Microsoft Forges Ahead With New Compiler Technology | Ehud Lamm | 6 | 07/25/2003 |
Message Object Oriented vs Function Object Oriented | Chris Rathman | 2 | 07/23/2003 |
Change user info? | Sam Gentile | 3 | 07/22/2003 |
Are delegates the moniker of .NET? | Dan Shappir | 25 | 07/23/2003 |
Types and Programming Languages: TNG | Chris Rathman | 5 | 07/21/2003 |
Windows security flaw - buffer-overflow | Dan Shappir | 18 | 07/22/2003 |
Datatype Library Language (XML) | Ehud Lamm | 1 | 07/19/2003 |
Code Reading: The Open Source Perspective | Ehud Lamm | 2 | 07/19/2003 |
Adaptation in HOT Languages | Chris Rathman | 7 | 07/19/2003 |
The Power and Philosophy of Ruby | Chris Rathman | 42 | 07/20/2003 |
Godiva - a Very High Level Dialect of Java | Bryn Keller | 9 | 07/18/2003 |
Reconciling OO and Haskell-Style Overloading | Chris Rathman | 1 | 07/16/2003 |
Typeless Language Pattern Matching | Isaac Gouy | 1 | 07/16/2003 |
Invocations as objects | Andris Birkmanis | 7 | 07/16/2003 |
Are Higher-Order Type Systems Too Hard? | Marc Hamann | 11 | 07/16/2003 |
Programming Linguistics | Marc Hamann | 3 | 07/16/2003 |
Category Theory for Beginners* (slides) | Isaac Gouy | 14 | 07/16/2003 |
Object-Oriented Style | Ehud Lamm | 2 | 07/14/2003 |
Neal Stephenson's USENIX keynote | Ehud Lamm | 19 | 07/15/2003 |
Lost in Space | Isaac Gouy | 1 | 07/13/2003 |
The PILER Decompilation System | Ehud Lamm | 2 | 07/13/2003 |
SQLX | Ehud Lamm | 3 | 07/12/2003 |
Jef Raskin: The Woes of IDEs | Ehud Lamm | 59 | 07/16/2003 |
Partial Types in C# | Chris Rathman | 8 | 07/15/2003 |
Web Services Federation Language (WS-Federation) | Ehud Lamm | 6 | 07/11/2003 |
JOVIAL References | Chris Rathman | 2 | 07/07/2003 |
Practical type inference for arbitrary-rank types | andrew cooke | 1 | 07/07/2003 |
Another busy week | Ehud Lamm | 1 | 07/06/2003 |
Linguistic Universals and Particulars | Ehud Lamm | 21 | 07/07/2003 |
CDuce: a programming language adapted to the manipulation of XML documents | Ken Shan | 2 | 07/04/2003 |
Mug Shots | Chris Rathman | 6 | 07/07/2003 |
Flow Caml | Ehud Lamm | 1 | 07/02/2003 |
CLAIRE: Combining Sets, Search and Rules to Better Express Algorithms | Isaac Gouy | 3 | 07/02/2003 |
A Pointless Derivation of Radixsort | Ehud Lamm | 1 | 07/01/2003 |
D4 - A Relational Query Language | Dominic Fox | 2 | 06/30/2003 |
FAD - A Functional Analysis and Design Methodology | andrew cooke | 4 | 07/01/2003 |
Using, Understanding, and Unraveling The OCaml Language | Manuel Simoni | 3 | 06/30/2003 |
Compilation of Functional Programming Languages using GCC -- Tail Calls | Anton van Straaten | 1 | 06/29/2003 |
Why use RDF instead of just XML | Ehud Lamm | 2 | 07/01/2003 |
RSS vs. Echo | Dan Shappir | 13 | 06/30/2003 |
Constructive Computation Theory. Course notes on lambda calculus | Ehud Lamm | 2 | 06/29/2003 |
Perl 6 Design Philosophy | Ehud Lamm | 9 | 07/03/2003 |
Vesta System Description Language | Isaac Gouy | 1 | 06/27/2003 |
OO Weed Languages | andrew cooke | 1 | 06/26/2003 |
OO Weed Languages | Isaac Gouy | 10 | 07/02/2003 |
Typetool | andrew cooke | 1 | 06/25/2003 |
Charming Python: Using combinatorial functions in the itertools module | Dan Shappir | 38 | 06/27/2003 |
ATC in Ada and in Real Time Java (RTSJ) | Ehud Lamm | 5 | 06/26/2003 |
CAESAR project | Ehud Lamm | 3 | 06/27/2003 |
Logic for Computer Science: Foundations of Automatic Theorem Proving | Manuel Simoni | 3 | 06/20/2003 |
Point Free Style | andrew cooke | 13 | 06/22/2003 |
hello | inkedmn | 1 | 06/19/2003 |
Fun project | andrew cooke | 1 | 06/18/2003 |
ICFP 2003 | andrew cooke | 8 | 07/02/2003 |
Concepts, Techniques and Models of Computer Programming | Dan Shappir | 30 | 07/02/2003 |
Croquet: A Collaboration Architecture | Manuel Simoni | 6 | 06/18/2003 |
Modern Static Typing: Less Code, Better Code | Bryn Keller | 12 | 06/23/2003 |
The Little Coder's Predicament | Dan Shappir | 10 | 06/16/2003 |
James Gosling on Jackpot | Dejan Jelovic | 4 | 06/21/2003 |
Sun, Zend push scripting for Java | Ehud Lamm | 13 | 06/16/2003 |
With | Dan Shappir | 15 | 06/15/2003 |
Hoare: The Emperor's Old Clothes | Ehud Lamm | 1 | 06/12/2003 |
C.A.R. Hoare 1980 ACM Turing Award Lecture | Isaac Gouy | 3 | 06/15/2003 |
Next week | Ehud Lamm | 5 | 06/14/2003 |
Infoworld: XML querying proposed as Java standard | Ehud Lamm | 2 | 06/13/2003 |
A syntactic approach to type soundness | Ehud Lamm | 1 | 06/11/2003 |
Macros as Multi-Stage Computations | Ehud Lamm | 1 | 06/10/2003 |
Sun urges Java research with new license | andrew cooke | 1 | 06/10/2003 |
Extensible Syntax with Lexical Scoping | Ehud Lamm | 1 | 06/09/2003 |
Efficient coroutine generation of constrained Gray sequences | Ehud Lamm | 6 | 06/09/2003 |
Principles for Computer System Design | Manuel Simoni | 1 | 06/08/2003 |
Towards a new model of abstraction in the engineering of software | Manuel Simoni | 3 | 06/08/2003 |
a new programming language called Lingo | Dan Shappir | 7 | 06/10/2003 |
MOP/AOP Talks (Kiczales) | Manuel Simoni | 8 | 06/09/2003 |
TPK Algorithm in Different Programming Languages | Ehud Lamm | 43 | 06/15/2003 |
A declarative debugger for Haskell 98 | andrew cooke | 2 | 06/08/2003 |
Software Complexity | David B. Wildgoose | 1 | 06/05/2003 |
Ars Digita ( http://aduni.org ) Study Group | Glen | 5 | 06/09/2003 |
Continuations as UI elements | Kimberley Burchett | 3 | 06/05/2003 |
Front Page | andrew cooke | 3 | 06/04/2003 |
Unification on Stateless Objects | andrew cooke | 2 | 06/04/2003 |
Type-safe Covariance in Eiffel | Kory Markevich | 3 | 06/03/2003 |
Fugue: A Protocol Checker for the dotNET CLR | Ken Hirsch | 1 | 06/03/2003 |
Adenine: A Metadata Programming Language | Manuel Simoni | 2 | 06/04/2003 |
Shrink-wrap developers: what programming language? | Dan Shappir | 20 | 06/03/2003 |
How-To Guide for Descriptors | andrew cooke | 2 | 06/03/2003 |
Python Success Stories | Isaac Gouy | 1 | 06/01/2003 |
Scripting Languages For Java | Ehud Lamm | 7 | 06/02/2003 |
Preview of Java 1.5 | Dan Shappir | 3 | 06/01/2003 |
OO late-binding semantics | Isaac Gouy | 1 | 05/31/2003 |
David Mertz: Multimethods | Ehud Lamm | 6 | 06/01/2003 |
Site speed | Ehud Lamm | 3 | 05/31/2003 |
Evolving a programming language | Toby Reyelts | 15 | 06/04/2003 |
Mixin Modules and Computational Effects | Ehud Lamm | 1 | 05/30/2003 |
What's Wrong with XML APIs | Ehud Lamm | 8 | 06/02/2003 |
Variance in Java Generics | Ehud Lamm | 3 | 05/30/2003 |
Variance in Java Generics | Toby Reyelts | 3 | 05/30/2003 |
Erlang is Icky | Kimberley Burchett | 11 | 05/28/2003 |
Designing and Implementing Combinator Languages | Neel Krishnaswami | 1 | 05/28/2003 |
CLR Memory Model | Ehud Lamm | 8 | 06/02/2003 |
EXSLT: Enhancing the Power of XSLT | Ehud Lamm | 1 | 05/28/2003 |
The Fun of Programming | andrew cooke | 3 | 05/27/2003 |
What's wrong with C++ templates? | Kory Markevich | 10 | 05/28/2003 |
Seven (give or take) Smalltalk Implementations | Ehud Lamm | 3 | 05/27/2003 |
Naked Objects | andrew cooke | 10 | 05/27/2003 |
Tiny C Compiler - with dynamic code gen | Patrick | 4 | 05/26/2003 |
Coroutines in C | Martin DeMello | 7 | 05/26/2003 |
Microsoft Includes C# and ML Hybrid in .net | Boots | 1 | 05/23/2003 |
Article on F# | andrew cooke | 7 | 05/26/2003 |
Site speed | andrew cooke | 12 | 05/25/2003 |
Description Logics in Data Management | andrew cooke | 5 | 05/24/2003 |
Identity crisis | Ehud Lamm | 15 | 05/25/2003 |
High Level Language = Virtual Machine | Marius Amado Alves | 4 | 05/22/2003 |
Tim Bray: The History of RDF | Ehud Lamm | 13 | 05/25/2003 |
Destructors, Finalizers, and Synchronization | Ehud Lamm | 2 | 05/21/2003 |
Module Concept For C++ | Ehud Lamm | 5 | 05/20/2003 |
The Tragedy of the API | Dan Shappir | 16 | 05/20/2003 |
BCPL history, design, user guide | Isaac Gouy | 3 | 05/18/2003 |
A Foundation for Embedded Languages | Ehud Lamm | 1 | 05/18/2003 |
Tools for rules | Ehud Lamm | 6 | 05/18/2003 |
Language Once Was Key-Now It's Design | Dan Shappir | 17 | 05/16/2003 |
Using Memory Errors to Attack a Virtual Machine | Ehud Lamm | 6 | 05/15/2003 |
Dynamic Languages on CLR | Dejan Jelovic | 2 | 05/14/2003 |
What I Hate About Your Programming Language | Dan Shappir | 14 | 05/16/2003 |
Mother Tongues of Computer Languages | Dejan Jelovic | 10 | 05/17/2003 |
What I Hate About Your Programming Language | Matthew Markland | 1 | 05/13/2003 |
Microsoft DirectX High Level Shading Language | Dan Shappir | 5 | 05/13/2003 |
Language Myths Again | Isaac Gouy | 23 | 05/18/2003 |
Weblog on CLR Implementation | Dejan Jelovic | 7 | 05/12/2003 |
Don Box on C# generics vs. C++ generics | Dan Shappir | 18 | 05/14/2003 |
Devils and Angels, via Monads | Ehud Lamm | 2 | 05/12/2003 |
A Hacker's Assistant | Ehud Lamm | 2 | 05/11/2003 |
Joshua Bloch interview on new features in Java 1.5 | Ehud Lamm | 18 | 05/15/2003 |
Java 1.5 New Features | Kimberley Burchett | 1 | 05/10/2003 |
Tim Bray: Language fermentation | Ehud Lamm | 8 | 05/11/2003 |
A Language for Bi-Directional Tree Transformations | Ehud Lamm | 1 | 05/08/2003 |
The New C++: Trip Report, October 2002 | Dan Shappir | 48 | 05/08/2003 |
A bit about LtU being a community weblog | Ehud Lamm | 1 | 05/05/2003 |
XeLda: Enforcing Dimensional Consistency in Spreadsheets | Ehud Lamm | 2 | 05/04/2003 |
Yes, Bob, I too want to work in a dynamically typed language | Dan Shappir | 14 | 05/08/2003 |
Earliest Uses of Various Mathematical Symbols | Ehud Lamm | 4 | 05/05/2003 |
Functional Programming with Apomorphisms / Corecursion | Ehud Lamm | 1 | 05/01/2003 |
A structural approach to reversible computation | Ehud Lamm | 4 | 05/02/2003 |
FindBugs - A Bug Pattern Detector for Java | Dan Shappir | 7 | 05/02/2003 |
80x86 ASM for ASP.NET | Dan Shappir | 1 | 04/30/2003 |
Popular Math | Ehud Lamm | 3 | 05/09/2003 |
#Smalltalk - another .Net language | Isaac Gouy | 5 | 05/07/2003 |
Unifying Tables, Objects and Documents | Dan Shappir | 18 | 05/02/2003 |
David McAllester's "Ontic" Language | Tim Sweeney | 2 | 04/29/2003 |
JXXX Compiler Service | Dan Shappir | 3 | 04/28/2003 |
Schemix - A Scheme In The Linux Kernel | Dan Shappir | 3 | 04/28/2003 |
How to make a fast curry: push/enter vs eval/apply | Ehud Lamm | 1 | 04/27/2003 |
Alan Kay's talk at O'Reilly Emerging Technology Conference 2003 | Ehud Lamm | 7 | 05/06/2003 |
Recovery Oriented Computing | andrew cooke | 1 | 04/24/2003 |
Scapy - network DSL in Python | andrew cooke | 3 | 04/22/2003 |
Python Metaclass Programming | Ehud Lamm | 28 | 05/02/2003 |
Lojban | Bryn Keller | 17 | 04/24/2003 |
Haskell Wiki | Ehud Lamm | 1 | 04/21/2003 |
Dissecting Unlambda Birds | Chris Rathman | 4 | 04/22/2003 |
ACCU Spring Conference | Kimberley Burchett | 2 | 04/16/2003 |
Selectors Make Analysis of case-lambda Too Hard | Ehud Lamm | 3 | 04/15/2003 |
Spam | Ehud Lamm | 4 | 04/16/2003 |
More weblogs to read | Kimberley Burchett | 3 | 04/18/2003 |
PyCon 2003 Papers | andrew cooke | 8 | 04/14/2003 |
Several interesting books for sale | Ehud Lamm | 1 | 04/13/2003 |
Programming language booksale | Darius Bacon | 7 | 04/14/2003 |
Selling a language | Ehud Lamm | 3 | 04/14/2003 |
The Next 700 Programming Languages | Chris Rathman | 3 | 04/14/2003 |
Paul Graham: The Hundred Year Language. | Ehud Lamm | 1 | 04/11/2003 |
The One Hundred Year Language | Toby Reyelts | 1 | 04/11/2003 |
LtU indexes | Ehud Lamm | 1 | 04/10/2003 |
Lambda The Ultimate: Topic Index | Chris Rathman | 4 | 04/11/2003 |
The New Jersey Programming Languages and Systems Seminar Series | Vladimir Ivanovic | 1 | 04/09/2003 |
Handling Failures In Erlang | Patrick | 1 | 04/09/2003 |
Hundred Year Language | Patrick | 2 | 04/10/2003 |
Computer Languages for Secondary Education | Ehud Lamm | 3 | 04/10/2003 |
DPROG | andrew cooke | 11 | 04/09/2003 |
Implicit Parameters: Dynamic Scoping with Static Types | Ehud Lamm | 1 | 04/07/2003 |
CSP book online in PDF | Luke Gorrie | 5 | 04/07/2003 |
Unifying Tables, Objects and Documents | Dominic Cooney | 1 | 04/06/2003 |
Putting Failure in Context: ADTs of Computations & Contexts | Ehud Lamm | 1 | 04/06/2003 |
C# Programming Language Future Features | Dan Shappir | 5 | 04/08/2003 |
A Framework for Programming Embedded Systems | Noel Welsh | 1 | 04/05/2003 |
Insecure Macho Love | Patrick | 17 | 04/10/2003 |
XML Shallow Parsing with Regular Expressions | Ehud Lamm | 1 | 04/05/2003 |
Is the current crop of statically typed languages giving static typing a bad name? | Dominic Cooney | 8 | 04/09/2003 |
Glowing review of Shared Source CLI Essentials | Ehud Lamm | 3 | 04/06/2003 |
Continuations | andrew cooke | 4 | 04/04/2003 |
open source visual programming environments? | Michael Vanier | 3 | 04/08/2003 |
Toward an architecture for quantum programming | Michael Vanier | 4 | 04/06/2003 |
J. McCarthy: Towards a Mathematical Science of Computation | Ehud Lamm | 19 | 04/08/2003 |
Javascript with native XML support | Dan Shappir | 8 | 04/01/2003 |
Javascript with native XML support | Chui Tey | 1 | 04/01/2003 |
Copying and Comparing: Problems and Solutions | Ehud Lamm | 2 | 04/01/2003 |
Yahoo! Store Switches Back to Lisp | Noel Welsh | 6 | 04/01/2003 |
Silly Style Guides | Dan Shappir | 6 | 04/01/2003 |
NewCode, a secure PL | Dan Shappir | 4 | 04/01/2003 |
Whitespace | Dan Shappir | 2 | 04/01/2003 |
Bulk types for functional programming | Isaac Gouy | 1 | 03/31/2003 |
Escape Analysis for Java | Ehud Lamm | 2 | 04/01/2003 |
Book and Course in Constraint Programming and Reasoning | Ehud Lamm | 5 | 04/01/2003 |
Strategies for learning new languages | Ehud Lamm | 1 | 03/27/2003 |
Java object models debated | Anton van Straaten | 10 | 03/28/2003 |
Functional Images | Ehud Lamm | 7 | 03/26/2003 |
An abstract view of programming languages | Ehud Lamm | 1 | 03/25/2003 |
Lecture Notes on Algorithmic Information Theory | Ehud Lamm | 1 | 03/24/2003 |
Environment, scripting, and behavior | Dan Shappir | 19 | 04/01/2003 |
Representing Monads | Ehud Lamm | 6 | 03/27/2003 |
Visual Basic .NET 2003 Language Changes | Dan Shappir | 5 | 03/23/2003 |
101 Perl Articles | Dan Shappir | 1 | 03/23/2003 |
Hungarian Notation | Dan Shappir | 7 | 03/23/2003 |
C++ Templates: The Complete Guide | Dan Shappir | 4 | 03/23/2003 |
Bertrand Meyer: Review of Liberty's Programming C# | Ehud Lamm | 4 | 03/23/2003 |
Texts on concurrency? | Tj | 4 | 03/23/2003 |
Getting started with JML | Ehud Lamm | 4 | 03/21/2003 |
XML Is Too Hard For Programmers | Dan Shappir | 34 | 03/23/2003 |
Screamer: a Common Lisp library for non-determinism | Ehud Lamm | 7 | 03/20/2003 |
Tarski's fixpoint theorem - history of use | Ehud Lamm | 1 | 03/18/2003 |
1995 SQL Reunion: People, Projects, and Politics | Ehud Lamm | 3 | 03/21/2003 |
Crenshaw: Let's build a compiler | Ehud Lamm | 2 | 03/19/2003 |
I/O in Three Programming Paradigms | Isaac Gouy | 1 | 03/17/2003 |
An AWK to C++ Translator | Ehud Lamm | 3 | 03/17/2003 |
Logic/Object Oriented Fusion | Brent Fulgham | 7 | 03/14/2003 |
Mixing paradigms (Python) | Ehud Lamm | 13 | 03/14/2003 |
Selective Memoization | Ehud Lamm | 1 | 03/14/2003 |
Java and C++ and object-oriented paradigms | Tanya | 2 | 03/12/2003 |
Functional and logic paradigms... | Tanya | 2 | 03/12/2003 |
Is Inheritance a Pillar of OO? | Dan Shappir | 50 | 03/14/2003 |
Small Time Languages | Brent Fulgham | 58 | 03/14/2003 |
The SPARK Approach to Safety and Security - sample chapters | Ehud Lamm | 1 | 03/12/2003 |
Tcl Core Team Interview | Ehud Lamm | 2 | 03/14/2003 |
Larry Wall: Apocalypse 6 | Ehud Lamm | 16 | 03/14/2003 |
Lisp powers Jak & Daxter at Naughty Dog | Noel Welsh | 8 | 03/12/2003 |
Checked and unchecked exceptions in Java | Ehud Lamm | 12 | 03/13/2003 |
Glee: A new array language | James Hague | 5 | 03/11/2003 |
Defensive programming in erlang | Ehud Lamm | 6 | 03/14/2003 |
Miranda | Mike Bibby | 8 | 03/10/2003 |
Copying, Cloning, and Marshalling in .NET | Ehud Lamm | 3 | 03/10/2003 |
When Is it OK To Invent New Tags? | Ehud Lamm | 4 | 03/08/2003 |
Server problems | Ehud Lamm | 1 | 03/07/2003 |
Exploring CSP | Patrick | 1 | 03/06/2003 |
Domain Theory | Ehud Lamm | 1 | 03/06/2003 |
Domains and Denotational Semantics: History, Open Problems | Ehud Lamm | 1 | 03/06/2003 |
Byte Code Engineering Library | Ehud Lamm | 9 | 03/05/2003 |
[Template Meta-|Generic] Programming | sean | 1 | 03/04/2003 |
A Survey Of Rewriting Strategies | Ehud Lamm | 1 | 03/04/2003 |
6000 messages ago | Ehud Lamm | 1 | 03/04/2003 |
CDuce | Ehud Lamm | 1 | 03/04/2003 |
CDuce | Isaac Gouy | 1 | 03/03/2003 |
Call-by-name is dual to call-by-value | Ken Shan | 3 | 03/03/2003 |
Control Transfer in Operating System Kernels | Dejan Jelovic | 1 | 03/01/2003 |
Confused about what Macros could be. | M.J. Stahl | 2 | 03/03/2003 |
Linguistic side effects | Ken Shan | 5 | 03/03/2003 |
Parallel Functional Programming: An Introduction | Ehud Lamm | 3 | 03/02/2003 |
Notes on "Algebra of Programming" | Ehud Lamm | 1 | 02/27/2003 |
Language Evaluations | Ehud Lamm | 1 | 02/27/2003 |
Language Evaluations | Carson Reynolds | 1 | 02/27/2003 |
Clean Now Available under LGPL License | Brent Fulgham | 1 | 02/26/2003 |
Clean now available under LGPL license | Lennon Day-Reynolds | 1 | 02/26/2003 |
The O'Ciao Approach to OO Logic Programming | Brent Fulgham | 2 | 02/28/2003 |
Tools for the short hike | Dan Shappir | 25 | 02/26/2003 |
non-null types in an OO language | Isaac Gouy | 1 | 02/25/2003 |
Y Store now C++ | Ehud Lamm | 38 | 02/28/2003 |
Jungerl: A jungle of Erlang code | Ehud Lamm | 3 | 02/26/2003 |
Superx++ | Isaac Gouy | 2 | 02/25/2003 |
"My C++ Experience/Disaster" | Ehud Lamm | 25 | 02/27/2003 |
Python 2.3a2 was released on February 19, 2003 | Dan Shappir | 1 | 02/23/2003 |
Checking polynomial time complexity with types | Ehud Lamm | 3 | 02/20/2003 |
Trees with parent "pointers" | Ehud Lamm | 1 | 02/20/2003 |
Finite State Machines in Forth | John Fraser | 6 | 02/23/2003 |
Erlang: A Case Study of Technology Introduction | Ehud Lamm | 23 | 02/24/2003 |
The essence of compiling exceptions | Ehud Lamm | 2 | 02/19/2003 |
Open Implementations and Metaobject Protocols | Manuel Simoni | 12 | 02/19/2003 |
Evolution of Indo-European Languages using ASP | Ehud Lamm | 2 | 02/17/2003 |
Contrary Accumulator Generator | Isaac Gouy | 6 | 02/19/2003 |
Answer set programming and plan generation | Ehud Lamm | 1 | 02/16/2003 |
Learning Haskell portal | Ehud Lamm | 3 | 02/16/2003 |
Language Features for Executable Patterns | Ehud Lamm | 2 | 02/19/2003 |
0th IOHCC - Obfuscated Haskell Contest | Shae Erisson | 2 | 02/14/2003 |
Designing Reusable Classes (PDF) | Manuel Simoni | 10 | 02/18/2003 |
Ward Cunningham: Testing, Types, and More | Patrick | 10 | 02/17/2003 |
Paul Graham: Accumulator Generator | Manuel Simoni | 15 | 02/18/2003 |
Apache vs. Yaws | Noel Welsh | 20 | 02/17/2003 |
Wearing the hair shirt: a retrospective on Haskell | Ehud Lamm | 7 | 02/11/2003 |
More on static vs. dynamic typing | Michael Vanier | 8 | 02/12/2003 |
This here being a community weblog... | Ehud Lamm | 1 | 02/10/2003 |
New Tunes site | Ehud Lamm | 1 | 02/10/2003 |
Tunes.org and its review site updated. | water | 1 | 02/09/2003 |
A Taxonomy of Program Transformation | Ehud Lamm | 1 | 02/08/2003 |
Partial Evaluation (slides) | Ehud Lamm | 3 | 02/09/2003 |
Jon Udell: Shipping the prototype | Ehud Lamm | 5 | 02/10/2003 |
Why We Refactored JUnit | Ehud Lamm | 6 | 02/10/2003 |
Matthias Felleisen:The Human Language Interface (ppt) | Ehud Lamm | 2 | 02/09/2003 |
Ed Felten: Programs vs. Data | Ehud Lamm | 11 | 02/07/2003 |
SXSLT presentation, types, and XQuery | Ehud Lamm | 1 | 02/05/2003 |
Rebel with a Cause | Ehud Lamm | 6 | 02/06/2003 |
Proof Theory mailing list | Ehud Lamm | 1 | 02/04/2003 |
Bertrand Meyer: Proving Program Pointer Properties | Ehud Lamm | 2 | 02/04/2003 |
S#.NET Tech Preview Release Information | Ehud Lamm | 1 | 01/29/2003 |
What a URI identifies | Ehud Lamm | 4 | 01/31/2003 |
Dynamic Languages on .NET | Chris Double | 2 | 01/28/2003 |
Constraint Logic Programming: A Survey | Ehud Lamm | 1 | 01/28/2003 |
Guido van Rossum: Programming at Python Speed | Ehud Lamm | 75 | 01/31/2003 |
Oleg: Formalization of two Puzzles Involving Knowledge | Ehud Lamm | 1 | 01/27/2003 |
MSDN: C# and Java - Comparing Programming Languages | Ehud Lamm | 6 | 01/31/2003 |
Blue & BlueJ | Isaac Gouy | 1 | 01/25/2003 |
Using Redundancies to Find Errors | Noel Welsh | 3 | 01/24/2003 |
NetLogo | Ehud Lamm | 1 | 01/22/2003 |
Inhouse training | Ehud Lamm | 6 | 01/24/2003 |
ESSLLI 2003 - 18-29 August | Ehud Lamm | 2 | 01/22/2003 |
How Java's Floating Point Hurts Everyone Everywhere | Noel Welsh | 8 | 01/31/2003 |
Typed Logical Variables in Haskell | Ehud Lamm | 1 | 01/20/2003 |
Programming languages will become OSs | Michael Vanier | 13 | 01/19/2003 |
java vs. C# speed comparisons? | Michael Vanier | 11 | 01/19/2003 |
A Custom Image Viewing Game for an Autistic Child | Ehud Lamm | 2 | 01/17/2003 |
Rewriting as a practical optimisation technique | Ehud Lamm | 2 | 01/16/2003 |
The Year in Scripting Languages | Ehud Lamm | 1 | 01/15/2003 |
Esoteric computer languages | Michael Vanier | 3 | 01/15/2003 |
AlgoVista | Dejan Jelovic | 1 | 01/14/2003 |
Elle | Dan Moniz | 6 | 01/18/2003 |
Java and Pointers | Ehud Lamm | 14 | 01/16/2003 |
Introduction to Managed C++ | Ehud Lamm | 1 | 01/14/2003 |
Source Code Formatter | Ehud Lamm | 1 | 01/13/2003 |
Refill - A Generative Java Dialect | Bryn Keller | 2 | 01/13/2003 |
Recursion Theory and Joy | Ehud Lamm | 7 | 01/15/2003 |
The D programming language | Michael Vanier | 3 | 01/14/2003 |
Apple uses XML but shuns SVG | Ehud Lamm | 1 | 01/12/2003 |
A Language-Based Approach to Security | Ehud Lamm | 1 | 01/11/2003 |
C.J. Date's new book | Ben Menasha | 1 | 01/09/2003 |
Busy busy busy | Ehud Lamm | 1 | 01/09/2003 |
The MLton Survey | Brent Fulgham | 1 | 01/08/2003 |
Self Introduction | Toby Reyelts | 11 | 01/13/2003 |
Alice: ML + OZ | Ehud Lamm | 1 | 01/07/2003 |
Alice released ML+Oz+ | Isaac Gouy | 1 | 01/07/2003 |
Abstract Iterable Pattern Matching for Java (JMatch) | Ehud Lamm | 3 | 01/09/2003 |
Algebra of Logic Programming | Ehud Lamm | 2 | 01/06/2003 |
DSL for blog aggregators | Ehud Lamm | 1 | 01/05/2003 |
NESL: A Parallel Programming Language | Ehud Lamm | 2 | 01/05/2003 |
Teaching computer programming as a unified discipline with a practical scientific foundation | Patrick | 3 | 01/03/2003 |
Automated Techniques for Provably Safe Mobile Code | Ehud Lamm | 1 | 01/03/2003 |
Vault released | Kimberley Burchett | 8 | 01/21/2003 |
Cyclone 0.4 released | Michael Vanier | 1 | 01/01/2003 |
Tony Hoare: Structured concurrent programming | Ehud Lamm | 1 | 01/01/2003 |
Y in Practical Programs | Ehud Lamm | 8 | 01/05/2003 |
Vortex and Cecil | Bryn Keller | 3 | 12/31/2002 |
Stochastic Lambda Calculus | Ehud Lamm | 1 | 12/30/2002 |
Project Timber | Bryn Keller | 1 | 12/30/2002 |
Distel: Distributed Emacs Lisp (for Erlang) | Ehud Lamm | 10 | 01/05/2003 |
Parallel Programming with Logic Languages | Ehud Lamm | 1 | 12/29/2002 |
Auditors: An Extensible, Dynamic Code Verification Mechanism | Ehud Lamm | 3 | 01/02/2003 |
Es: A shell with higher-order functions | Ehud Lamm | 3 | 12/28/2002 |
Generic C# Sample Programs | Ehud Lamm | 3 | 12/28/2002 |
O'Haskell | Bryn Keller | 3 | 12/30/2002 |
A Lambda Calculus for Dynamic Binding | Bryn Keller | 1 | 12/27/2002 |
Type inference in Icon | Ehud Lamm | 3 | 12/27/2002 |
How to Solve the Santa Claus Problem | Ehud Lamm | 1 | 12/26/2002 |
Embedding Sequence Analysis in FP | Ehud Lamm | 1 | 12/26/2002 |
Merry Christmas | Ehud Lamm | 3 | 12/26/2002 |
Model Driven Architecture + Code Generation | Ehud Lamm | 7 | 12/25/2002 |
QuickCheck | Ehud Lamm | 1 | 12/24/2002 |
Partial Application in C | DougRansom | 1 | 12/23/2002 |
Designing and Using Combinators | Ehud Lamm | 2 | 12/23/2002 |
linguablogs | Ehud Lamm | 2 | 12/22/2002 |
The Fun of Programming | Ehud Lamm | 2 | 12/22/2002 |
Stronger Typings for Separate Compilation of Java-like Langu | Ehud Lamm | 1 | 12/22/2002 |
XML and run-time typing | Ehud Lamm | 2 | 12/21/2002 |
AspectC# | Dejan Jelovic | 1 | 12/20/2002 |
Traits — Composable Units of Behavior | Isaac Gouy | 2 | 12/21/2002 |
Developing Reliable Software with Scripting Languages | Ehud Lamm | 55 | 12/25/2002 |
Yampa: Functional Reactive Programming with Arrows | Bryn Keller | 1 | 12/18/2002 |
Generalising Monads to Arrows | Bryn Keller | 6 | 12/20/2002 |
Tackling the awkward squad | Ehud Lamm | 1 | 12/18/2002 |
Typing Dynamic Typing | Ehud Lamm | 1 | 12/18/2002 |
Typing Dynamic Typing | Frank Atanassow | 1 | 12/18/2002 |
Tutorial Notes on Partial Evaluation | Ehud Lamm | 1 | 12/18/2002 |
vmgen: A Generator of Efficient Virtual Machine Interpreters | Bryn Keller | 4 | 12/18/2002 |
Editors? | Ehud Lamm | 1 | 12/17/2002 |
Microsoft 'X#' On Tap? | Ehud Lamm | 1 | 12/17/2002 |
Barrier Methods for Garbage Collection | Ehud Lamm | 1 | 12/17/2002 |
Findler's Contract Flaw Analysis and Eiffel | Brent Fulgham | 6 | 12/17/2002 |
Guide to Python introspection | Ehud Lamm | 11 | 12/17/2002 |
On-the-fly garbage collection: An exercise in cooperation | Ehud Lamm | 1 | 12/15/2002 |
The language LUA | Biep | 4 | 12/16/2002 |
Self on Windows | Chris Double | 1 | 12/13/2002 |
Developing Interactive Web Programs (Scheme Servlets) | Ehud Lamm | 9 | 12/17/2002 |
Generics for C# and .Net CLR | Isaac Gouy | 3 | 12/12/2002 |
Obtaining KMP String Matcher by Partial Evaluation | Ehud Lamm | 4 | 12/26/2002 |
The Java Syntactic Extender | Ehud Lamm | 1 | 12/11/2002 |
Squeak projects (and project ideas) | Ehud Lamm | 1 | 12/11/2002 |
Misc Links | Ehud Lamm | 1 | 12/11/2002 |
Expresso, environment for ISO 10303-1 | bryan rasmussen | 1 | 12/10/2002 |
From Direct Style to Monadic Style through CPS | Ehud Lamm | 1 | 12/09/2002 |
The Needle Programming Language | Ehud Lamm | 18 | 12/13/2002 |
De-biforestation | Ehud Lamm | 4 | 12/09/2002 |
SmartEiffel: implementation techniques | Ehud Lamm | 1 | 12/07/2002 |
SmartEiffel The GNU Eiffel compiler - 1.0 release | Chad Slaughter | 1 | 12/07/2002 |
ACE visual programming language | Isaac Gouy | 6 | 12/09/2002 |
Search and Imperative Programming | Ehud Lamm | 3 | 12/08/2002 |
New proposed features for Java 1.5 | Ehud Lamm | 5 | 12/07/2002 |
New features proposed for Java 1.5 by Sun | Adewale Oshineye | 32 | 12/11/2002 |
Just wondering (strings) | Ehud Lamm | 10 | 12/06/2002 |
Usability Issues in the Design of Novice Programming Systems | Ehud Lamm | 1 | 12/03/2002 |
Comparisons between languages for performance | Isaac Gouy | 2 | 12/07/2002 |
Proposals for and Experiments with an Erlang Bit Syntax | Luke Gorrie | 1 | 12/01/2002 |
I feel like an idiot, but... | Ehud Lamm | 3 | 12/02/2002 |
User-defined functions in Excel | Ehud Lamm | 17 | 12/09/2002 |
APL Crosswords | Ehud Lamm | 6 | 12/04/2002 |
The Architecture of a Debugger for Lazy Functional Languages | Ehud Lamm | 1 | 11/30/2002 |
APL crosswords | Darius Bacon | 1 | 11/30/2002 |
First Class Patterns | Ehud Lamm | 3 | 11/30/2002 |
C++ vs. Lisp | Dejan Jelovic | 11 | 12/02/2002 |
The "Plankalkul" of Konrad Zuse | Dejan Jelovic | 2 | 11/27/2002 |
A Type Error Slicer for MiniML | Ehud Lamm | 1 | 11/27/2002 |
ll1-discuss on macros | Ehud Lamm | 19 | 12/05/2002 |
A Shallow Introduction to the K Programming Language | Dejan Jelovic | 2 | 11/26/2002 |
Impressions of the International Lisp conference ILC2002 | Ehud Lamm | 10 | 02/12/2003 |
Brook: a Streaming Lanugage from Stanford | Michael McCracken | 1 | 11/25/2002 |
Data Parallel Algorithms | Luke Gorrie | 1 | 11/25/2002 |
Why LtU was so quiet | Ehud Lamm | 1 | 11/24/2002 |
Grail: A Zero'th Programming Language | Isaac Gouy | 1 | 11/21/2002 |
Psychology in Language Design | Isaac Gouy | 3 | 11/20/2002 |
Composition Languages | Ehud Lamm | 13 | 11/20/2002 |
What's Wrong With RDF? | Ehud Lamm | 17 | 11/20/2002 |
The point of (any) semantics | Ehud Lamm | 3 | 11/19/2002 |
Composition Languages | Isaac Gouy | 1 | 11/18/2002 |
Introducing C#, Present and Future | Ehud Lamm | 8 | 11/21/2002 |
Towards a Quantum Programming Language | Ehud Lamm | 1 | 11/16/2002 |
Objects and classes versus modules | Ehud Lamm | 3 | 11/18/2002 |
static AND dynamic typing | Isaac Gouy | 8 | 11/19/2002 |
Combinatorics, Complexity, and Randomness | Luke Gorrie | 1 | 11/15/2002 |
Harper: PL, The Essence of Computer Science | Ehud Lamm | 2 | 11/16/2002 |
Needle, An OO FP Language | Noel Welsh | 14 | 11/19/2002 |
Whitepaper on new C# Features | Ehud Lamm | 7 | 11/16/2002 |
Garbage collection in Ada? | Michael Vanier | 2 | 11/12/2002 |
Why OO Sucks | Isaac Gouy | 15 | 11/12/2002 |
Haskell Communities and Activities Report | Ethan Aubin | 1 | 11/12/2002 |
[The Creation of a Constraint-based Programming Language] | Luke Gorrie | 7 | 11/18/2002 |
Relational Programming (whatever happened to...) | Isaac Gouy | 8 | 11/19/2002 |
Strafunski update | Ehud Lamm | 1 | 11/11/2002 |
Essay: Multi-Paradigm Design and Generic Programming | Sam Gentile | 24 | 11/16/2002 |
Survey of OOPL | Ehud Lamm | 1 | 11/11/2002 |
Survey of OOP languages | Isaac Gouy | 1 | 11/10/2002 |
Lush, New Lisp/C based language | Adam F Smith | 3 | 11/12/2002 |
Executable Implementation of Scheme Denotational Semantics | Ehud Lamm | 2 | 11/10/2002 |
The Dream of a Perfect Language | Ehud Lamm | 2 | 11/09/2002 |
Water : A new OO, Dynamic, and Secure Language for Web Services and XML | Patrick | 9 | 11/28/2002 |
Computer Programming as an Art | Luke Gorrie | 2 | 11/09/2002 |
Microsoft rules... | Ehud Lamm | 18 | 11/13/2002 |
Use of Prolog for Developing a new Programming Language | Ehud Lamm | 2 | 11/11/2002 |
Add citeseer to mozilla | Florian Hars | 2 | 11/09/2002 |
LL2 Webcast | Luke Gorrie | 10 | 11/12/2002 |
Loell, a new programming language | Dan Moniz | 10 | 11/08/2002 |
Loell, a new programming language | Sjoerd Visscher | 1 | 11/06/2002 |
Do languages matter? | Isaac Gouy | 15 | 11/12/2002 |
LtU on BlogHop | Ehud Lamm | 3 | 11/06/2002 |
International Lisp Conference report | Ehud Lamm | 2 | 11/06/2002 |
Where to learn programming-related math? | Tj | 4 | 11/06/2002 |
The crapness that is the Win-32 API | Michael Mounteney | 3 | 11/08/2002 |
A Good OOP Critique? | Alex Sauer-Budge | 23 | 11/25/2002 |
Sugar project? | Ed Heil | 3 | 11/02/2002 |
UBF: Universal Binary Format | Luke Gorrie | 4 | 11/03/2002 |
A Free Implementation of CLIM | Luke Gorrie | 1 | 11/01/2002 |
Floating Point Arithmetic | Ehud Lamm | 3 | 11/01/2002 |
Moby | Bryn Keller | 1 | 10/31/2002 |
SmallInterfaces - interfaces for Smalltalk | Jay Han | 1 | 10/31/2002 |
Idel: a virtual machine for mobile code | Luke Gorrie | 2 | 10/31/2002 |
Strongtalk | Ehud Lamm | 16 | 11/03/2002 |
I am running out of titles | Ehud Lamm | 5 | 10/31/2002 |
Introduction to Aspect-Oriented Programming | Ehud Lamm | 4 | 10/31/2002 |
Exploring alternative syntaxes for XML | Ehud Lamm | 1 | 10/30/2002 |
Making the Case for PHP at Yahoo! | Ehud Lamm | 18 | 11/02/2002 |
Generic Haskell: Practice and Theory | Ehud Lamm | 1 | 10/29/2002 |
Jikes RVM implementation tutorials | Ehud Lamm | 2 | 10/29/2002 |
The Dada Engine | Cimarron Taylor | 2 | 10/29/2002 |
JudoScript | Ehud Lamm | 1 | 10/28/2002 |
Type-Directed Natural Language Parsing | Ehud Lamm | 5 | 10/29/2002 |
Notes on Postmodern Programming | Luke Gorrie | 8 | 10/29/2002 |
Multiple Dispatch with Prototypes | Isaac Gouy | 1 | 10/24/2002 |
Reynolds: The Essence of Algol | Ehud Lamm | 3 | 10/25/2002 |
Lazy vs. strict | Ehud Lamm | 1 | 10/24/2002 |
Lightweight Languages Workshop 2002 | Ehud Lamm | 5 | 10/26/2002 |
Erlang in Large Scale Software Design | Francesco Cesarini | 1 | 10/23/2002 |
Design By Contract Discussion | Brent Fulgham | 10 | 10/24/2002 |
Template Meta-programming in Haskell | David Thompson | 2 | 10/22/2002 |
smgn: Rapid Prototyping of Small Domain-Specific Languages | Ehud Lamm | 2 | 10/23/2002 |
Jakarta-Commons Collections Component | Ehud Lamm | 7 | 10/23/2002 |
Efficient JVM Just-in-Time Compilation | Ehud Lamm | 1 | 10/20/2002 |
Diagnosing Java code: Unit tests and automated code analysis | jon fernquest | 1 | 10/19/2002 |
Software quotations | Hakon | 4 | 10/20/2002 |
Type Safety anecdote | Ehud Lamm | 13 | 10/25/2002 |
David McCusker is looking for a job | Ehud Lamm | 1 | 10/17/2002 |
Type Systems for Modularity | Ehud Lamm | 5 | 10/23/2002 |
Creating applications with Mozilla | Michael Vanier | 5 | 10/19/2002 |
F-Script: Smalltalk Scripting for Mac OS X | Ehud Lamm | 2 | 10/17/2002 |
A Formal Model for an Expressive Fragment of XSLT | jon fernquest | 2 | 10/17/2002 |
Deriving backtracking monad transformers | Ken Shan | 3 | 10/17/2002 |
Robert Harper: Types and Programming Languages | Ehud Lamm | 8 | 10/17/2002 |
Critique: Why Pascal is Not My Favorite Programming Language | Ehud Lamm | 3 | 10/20/2002 |
Currying | Ehud Lamm | 17 | 10/18/2002 |
Felleisen: From Patterns to Programming Languages | Ehud Lamm | 6 | 10/14/2002 |
Haskell tutorial in Hebrew | Ehud Lamm | 18 | 10/31/2002 |
Python 2.3 Release Schedule | Ehud Lamm | 15 | 10/15/2002 |
The Parable of the Languages | Michael Vanier | 1 | 10/12/2002 |
C# standardization moves ahead | Ehud Lamm | 1 | 10/11/2002 |
Make Python run as fast as C with Psyco | Ehud Lamm | 1 | 10/11/2002 |
Lisp will never make it to mainstream... | Isaac Gouy | 1 | 10/10/2002 |
Two Case Studies of Open Source Software Development | jon fernquest | 7 | 10/17/2002 |
M: The basis for Matrix | Dan Moniz | 1 | 10/09/2002 |
Polyglot Programming | Dan Shappir | 6 | 10/17/2002 |
Xtatic: Native XML processing for C# | jon fernquest | 2 | 10/09/2002 |
Prolog and Natural-Language Analysis | Ken Shan | 12 | 10/19/2002 |
Most amazing designer? | Ehud Lamm | 16 | 10/17/2002 |
Theory of Concatenative Combinators | Shae Erisson | 5 | 10/17/2002 |
SPMD - Single Program Multiple Data in Haskell | Shae Erisson | 1 | 10/08/2002 |
o:XML | Ehud Lamm | 15 | 10/10/2002 |
If programming languages were cars... | Michael Vanier | 2 | 10/06/2002 |
ICFP programming contest results | Michael Vanier | 9 | 10/08/2002 |
USENIX - Security '02 - Technical Sessions | Ehud Lamm | 2 | 10/06/2002 |
No FP languages for the real-world | Doug Ransom | 5 | 10/07/2002 |
Contributing (?) Editors | Ehud Lamm | 11 | 10/08/2002 |
Fold and Unfold for Program Semantics | jon fernquest | 2 | 10/05/2002 |
The Implementation of the Icon Programming Language | Ehud Lamm | 3 | 10/05/2002 |
Icon implementation book now available by download | Jay Han | 1 | 10/04/2002 |
One tree isn't enough | Ehud Lamm | 1 | 10/04/2002 |
Additions to the research papers page | Ehud Lamm | 3 | 10/04/2002 |
TXL: Tree Transformation Language | Ehud Lamm | 2 | 10/03/2002 |
Devils and Angels | jon fernquest | 1 | 10/02/2002 |
Linguistic Relativity Homepage | jon fernquest | 9 | 10/02/2002 |
MIT OpenCourseWare: Laboratory in Software Engineering | jon fernquest | 5 | 10/01/2002 |
Types in Programming Languages | jon fernquest | 4 | 10/01/2002 |
Liskov's Java book | Ehud Lamm | 1 | 10/01/2002 |
Algebraic patterns in Scheme | Ehud Lamm | 6 | 10/03/2002 |
Introduction to Functional Programming | Ehud Lamm | 1 | 09/30/2002 |
Observations on CIL books | Ehud Lamm | 1 | 09/30/2002 |
TinkerType | jon fernquest | 6 | 10/02/2002 |
The Foundations of Two-Dimensional Semantics | Ehud Lamm | 3 | 09/29/2002 |
Generator and Search Objects in Java | jon fernquest | 1 | 09/29/2002 |
Computational biolinguistics | Ehud Lamm | 7 | 09/29/2002 |
Composable and Compilable Macros: You Want it When? | Ehud Lamm | 1 | 09/28/2002 |
Creating types at run time? | Michael Vanier | 12 | 09/29/2002 |
Introduction to module systems? | Ehud Lamm | 5 | 09/29/2002 |
How to tell your personality type from your code | Ehud Lamm | 12 | 10/03/2002 |
JWIG an alternative to Servlets, JSP, ASP, and PHP | Isaac Gouy | 1 | 09/25/2002 |
A Type Notation for Scheme | jon fernquest | 6 | 09/28/2002 |
d | Jared | 1 | 09/24/2002 |
Programming languages textbook online | Michael Vanier | 7 | 09/27/2002 |
Multi-Paradigm Tcl-Tk | jon fernquest | 1 | 09/24/2002 |
Think: a distributed systems architecture | Ehud Lamm | 1 | 09/23/2002 |
The Tcl War | jon fernquest | 13 | 09/24/2002 |
Sociological Insights | Ehud Lamm | 4 | 09/25/2002 |
Exploring NLP in Oz/Mozart | jon fernquest | 9 | 09/24/2002 |
A formal semantics of patterns in XSLT | jon fernquest | 1 | 09/22/2002 |
MultiJava: Design, implementation, and evaluation | jon fernquest | 1 | 09/21/2002 |
Native XML Scripting | Ehud Lamm | 10 | 09/24/2002 |
Michael Vanier: LFM's and LFSP's | jon fernquest | 26 | 09/21/2002 |
Separating Concerns with Knit | Ehud Lamm | 1 | 09/19/2002 |
Computation Complexity Weblog | Jude | 2 | 09/20/2002 |
Automatic Run-time Interface Building | Ehud Lamm | 5 | 09/26/2002 |
Lightweight Languages Worshop 2002 | pixel | 1 | 09/18/2002 |
Building cyclic data structures in pure languages | Ehud Lamm | 1 | 09/18/2002 |
Beyond Objects: Generative Programming | jon fernquest | 1 | 09/18/2002 |
Introduction to Special Issue on Domain-Specific Languages | jon fernquest | 4 | 09/18/2002 |
Bricklin: Why Johnny can't program | Ehud Lamm | 18 | 09/23/2002 |
Intentional Software Corporation (ISC) | Ehud Lamm | 8 | 09/27/2002 |
Q: A Scenario Description Language | Ehud Lamm | 1 | 09/17/2002 |
Intentional Programming Reborn | Brett Morgan | 1 | 09/17/2002 |
The Query Language TQL | funzel | 1 | 09/15/2002 |
Best Language Design Papers (survey) | Ehud Lamm | 10 | 10/15/2002 |
Parsec, a fast combinator parser | jon fernquest | 2 | 09/17/2002 |
Evaluation Order Semantics in Expressions with Side Effects | jon fernquest | 4 | 09/17/2002 |
Wadler: XQuery, a typed functional language for querying XML | Ehud Lamm | 2 | 09/17/2002 |
20 Years of PLDI (1979 - 1999): A Selection | Ehud Lamm | 14 | 10/14/2002 |
Interactions of Abstractions in Programming | Noel Welsh | 3 | 09/15/2002 |
SmallSqueak | Ehud Lamm | 1 | 09/11/2002 |
Introduction to the Personal Basis Profile | jon fernquest | 4 | 09/11/2002 |
LPS: Language Prototyping System | jon fernquest | 3 | 09/12/2002 |
Perspectives | jon fernquest | 8 | 09/18/2002 |
Dr. Seuss on Parser Monads | jon fernquest | 3 | 09/10/2002 |
Action Semantics and Compiler Generation | jon fernquest | 1 | 09/09/2002 |
GNU Prolog | jon fernquest | 1 | 09/07/2002 |
Short break | Ehud Lamm | 3 | 09/11/2002 |
Java hits obstacle with cell phones | Ehud Lamm | 18 | 09/12/2002 |
SchemeUnit and SchemeQL: Two Little Languages | Ehud Lamm | 1 | 09/03/2002 |
Little Languages: Little Maintenance? | jon fernquest | 2 | 09/03/2002 |
Type Theory and Functional Programming | Ehud Lamm | 1 | 09/02/2002 |
Composing Programming Languages by Combining Action-Semantic | jon fernquest | 1 | 09/02/2002 |
Structure and Interpretation of Computer Science Curriculum | Ehud Lamm | 5 | 09/03/2002 |
Sendmail Meets Erlang | Noel Welsh | 1 | 09/02/2002 |
Domino on Acid | Frank Atanassow | 2 | 09/01/2002 |
Symmetric difference in LC, P-numerals, and fold | Ehud Lamm | 2 | 09/02/2002 |
Exception-Safety in Generic Components | Manuel Simoni | 1 | 08/30/2002 |
ICFP 2002 programming contest task posted | Ken Shan | 1 | 08/30/2002 |
Omniscient debugger | Adewale Oshineye | 4 | 09/01/2002 |
Distel: Distributed Emacs Lisp | Frank Atanassow | 1 | 08/30/2002 |
Diagnosing Java code: Assertions and temporal logic in Java | jon fernquest | 1 | 08/30/2002 |
A Modular Monadic Action Semantics | jon fernquest | 2 | 08/30/2002 |
Critique of the Windows API | Ehud Lamm | 3 | 08/29/2002 |
Design Patterns in XML Applications | Ehud Lamm | 5 | 08/31/2002 |
Leo and Literate Programming | Michael Vanier | 2 | 09/01/2002 |
Superb programming style ? | Michael Mounteney | 2 | 08/28/2002 |
Can Programming Be Liberated from the von Neumann Style? | Ehud Lamm | 16 | 08/30/2002 |
Backus Turing Award Lecture | Cezar Ionescu | 2 | 08/27/2002 |
syntax-case "for dummies" | Ehud Lamm | 3 | 08/28/2002 |
Anybody home? | Ehud Lamm | 6 | 08/28/2002 |
Exegesis 5 is out | Ehud Lamm | 2 | 08/25/2002 |
Overloading and higher-order polymorphism | Ehud Lamm | 2 | 08/25/2002 |
A Proposal For Classifying Tangled Code | jon fernquest | 3 | 08/24/2002 |
Why Don’t Programming Language Designers Use Formal Methods? | jon fernquest | 3 | 08/24/2002 |
Exegesis 5 is out | Keith Devens | 5 | 08/24/2002 |
Making Haskell programs faster and smaller | Ehud Lamm | 5 | 08/24/2002 |
Project JOOS (Java's Object Oriented Subset) | jon fernquest | 2 | 08/23/2002 |
Why American Computer Science Seems Incurable | jon fernquest | 3 | 08/23/2002 |
The Oberlin CS DRAGN Project | Michael Christopher Vanier | 1 | 08/22/2002 |
Is EJB Always Necessary? | Ehud Lamm | 3 | 08/25/2002 |
Teaching Purely Functional Programming in First Year | Ehud Lamm | 3 | 08/23/2002 |
VDM-SL: a Tutorial | jon fernquest | 1 | 08/22/2002 |
Language-Based Information-Flow Security | Ehud Lamm | 1 | 08/21/2002 |
Do we Need Dependent Types? | Ehud Lamm | 2 | 08/22/2002 |
Ada, Interfaces and the Listener Paradigm | Ehud Lamm | 1 | 08/20/2002 |
Whither Sather ? | Michael Mounteney | 22 | 08/25/2002 |
Informal Scheme Workshop in London | Noel Welsh | 11 | 08/23/2002 |
Free Smalltalk books | Ehud Lamm | 2 | 08/19/2002 |
USENIX JVM Symposium '02 | Ehud Lamm | 3 | 08/20/2002 |
Generating Code at Run Time With Reflection.Emit | Dan Shappir | 1 | 08/18/2002 |
Disruptive Programming Language Technologies | Ehud Lamm | 17 | 08/23/2002 |
Mithril vm | Ehud Lamm | 2 | 08/18/2002 |
Language Design and Implementation by Selection | Ehud Lamm | 1 | 08/17/2002 |
XML Journal - Readers' Choice Awards | Ehud Lamm | 1 | 08/16/2002 |
The Function Pointer Tutorials | Ehud Lamm | 2 | 08/17/2002 |
Semantics of Programming Languages: A Tool-Oriented Approach | jon fernquest | 3 | 08/16/2002 |
I Was a Smalltalk Gunslinger | jon fernquest | 9 | 08/20/2002 |
Hacker's Introduction to Partial Evaluation | jon fernquest | 3 | 08/15/2002 |
Mark-sweep vs. copying collection | Ehud Lamm | 1 | 08/14/2002 |
Teaching the Fatal Disease | jon fernquest | 5 | 08/15/2002 |
Kristen Nygaard (1927-2002) | Ehud Lamm | 4 | 08/15/2002 |
Icon language book available for downloading | Jay Han | 2 | 08/13/2002 |
Concern Graphs | jon fernquest | 1 | 08/12/2002 |
One Day Compilers (Graydon Hoare) | Ehud Lamm | 5 | 08/13/2002 |
Alloy: A Lightweight Object Modelling Notation | jon fernquest | 1 | 08/12/2002 |
Barter (design by contract w/ AspectJ) | Viktor Szathmary | 1 | 08/11/2002 |
OT question | Ehud Lamm | 1 | 08/11/2002 |
Prototyping of Mechanisms in Success/Failure Based Languages | Ehud Lamm | 1 | 08/11/2002 |
On Understanding Types, Data Abstraction, and Polymorphism | jon fernquest | 8 | 08/12/2002 |
Seesoft | jon fernquest | 9 | 08/14/2002 |
10 Reasons We Need Java 3.0 | jon fernquest | 2 | 08/10/2002 |
To Dissect a Mockingbird | jon fernquest | 3 | 08/10/2002 |
Dijkstra and the Ada language | Ehud Lamm | 4 | 08/12/2002 |
Does Code Decay? | jon fernquest | 2 | 08/12/2002 |
Edsger Wybe Dijkstra (1930-2002) | Ehud Lamm | 5 | 08/09/2002 |
Edsger W. Dijkstra has died | Jarno Virtanen | 4 | 08/07/2002 |
Putting Type Annotations to Work | Ehud Lamm | 4 | 08/08/2002 |
10 Reasons We Need Java 3.0 | Chris | 18 | 08/10/2002 |
Good question | Ehud Lamm | 1 | 08/06/2002 |
Embedding Prolog in Haskell | jon fernquest | 9 | 08/08/2002 |
A Declarative Model for Simple Narratives | jon fernquest | 5 | 08/08/2002 |
What the hell are Monads? | Ehud Lamm | 1 | 08/05/2002 |
"Spend A Day with .NET" Coding Contest | Ehud Lamm | 2 | 08/05/2002 |
Python list.sort() now stable and faster | Ehud Lamm | 3 | 08/04/2002 |
Structuring Depth-First Search Algorithms in Haskell | Ehud Lamm | 1 | 08/04/2002 |
Fifth ICFP Programming Contest | Ehud Lamm | 1 | 08/04/2002 |
Template metaprogramming for Haskell | Ehud Lamm | 6 | 08/03/2002 |
A practical approach to generic programming | Ehud Lamm | 4 | 08/05/2002 |
Diagrammatic Representations in Domain-Specific Languages | jon fernquest | 1 | 08/02/2002 |
Language design checklist | Ehud Lamm | 1 | 08/02/2002 |
The unique nature of Lisp (?) | Ehud Lamm | 1 | 08/01/2002 |
First-class Attribute Grammars | jon fernquest | 4 | 08/02/2002 |
Java-in-hardware in aJile new PDA | Ehud Lamm | 1 | 08/01/2002 |
Shared Source CLI Essentials (beta chapters) | Ehud Lamm | 1 | 07/31/2002 |
The Boost Lambda Library | Dan Shappir | 6 | 08/01/2002 |
Test-Driven Development By Example | Ehud Lamm | 10 | 08/02/2002 |
RhoStratego | jon fernquest | 2 | 07/30/2002 |
Formal Techniques for Software Reliability | Ehud Lamm | 1 | 07/29/2002 |
Intentional Programming Overview | jon fernquest | 9 | 08/01/2002 |
Feng Shui for Standard ML Programmers | jon fernquest | 1 | 07/29/2002 |
Virtual Machine Design and Implementation in C/C++ | John Fraser | 1 | 07/28/2002 |
Biglook: A Widget Library for Scheme | Ehud Lamm | 2 | 07/28/2002 |
Happy birthday Dear Lambda | Ehud Lamm | 4 | 07/30/2002 |
Parrot In Detail | jon fernquest | 3 | 07/28/2002 |
Cracking the 500-Language Problem | jon fernquest | 1 | 07/27/2002 |
Richard Hamming: You and Your Research | Ehud Lamm | 31 | 07/26/2002 |
Application Generators | jon fernquest | 2 | 07/26/2002 |
Eiffel on .Net | Ehud Lamm | 1 | 07/25/2002 |
Guiding Visitors: Separating Navigation from Computation | jon fernquest | 5 | 07/25/2002 |
Prological Language Processing | jon fernquest | 2 | 07/25/2002 |
Full Eiffel on the .NET Framework | Sam Gentile | 2 | 07/25/2002 |
Personal weblogs | Ehud Lamm | 3 | 07/25/2002 |
NVIDIA Open Sources Cg Compiler Technology | Dan Shappir | 7 | 07/24/2002 |
Clean and Haskell compared | Ehud Lamm | 2 | 07/25/2002 |
Lazy Functional Parser Combinators in Java | jon fernquest | 12 | 07/26/2002 |
The Essence of Strategic Programming | jon fernquest | 8 | 07/26/2002 |
ActiveOberon | Jay Han | 1 | 07/22/2002 |
Quick Quotes | Ehud Lamm | 3 | 07/23/2002 |
JSR-166 - Concurrency Utilities | Ehud Lamm | 3 | 07/24/2002 |
Visual Basic | pashish76 | 2 | 07/22/2002 |
The Essence of XML | Ehud Lamm | 2 | 07/22/2002 |
Proof-Carrying Code (overview) | Ehud Lamm | 2 | 07/25/2002 |
Extreme Markup Languages 2002 (conference program) | Ehud Lamm | 1 | 07/20/2002 |
ConCert Project - Certified Code for Grid Computing | Ehud Lamm | 1 | 07/19/2002 |
Rotor, SemiWorks, and Technology Transfer (job opening) | Ehud Lamm | 2 | 07/19/2002 |
XLANG and WSFL: Syntactic Arsenic | Dan Shappir | 15 | 07/21/2002 |
Early Java: Worse is Better and Meta is Better, Two Lessons | Ehud Lamm | 8 | 07/22/2002 |
BorCon 2002 Highlights | Dan Shappir | 1 | 07/17/2002 |
C and C++: A Case for Compatibility | Dan Shappir | 2 | 07/20/2002 |
Scripting and .NET | Dan Shappir | 1 | 07/17/2002 |
Exploring .NET Alternatives | Dan Shappir | 1 | 07/17/2002 |
Graphviz: Programmable Graph Editor | jon fernquest | 3 | 07/20/2002 |
Generator-based state machines | Ehud Lamm | 4 | 07/16/2002 |
Bicycle Repair Man (a refactoring browser for Python) | Ehud Lamm | 1 | 07/16/2002 |
Type inference a good thing? | Ehud Lamm | 5 | 07/15/2002 |
The Constructor Calculus | Ehud Lamm | 1 | 07/14/2002 |
Developing Applications with Objective CAML | jon fernquest | 8 | 07/13/2002 |
XSH - An XML Editing Shell | Ehud Lamm | 5 | 07/13/2002 |
Bitter Java | Ehud Lamm | 1 | 07/12/2002 |
Java Collections Clearinghouse | Ehud Lamm | 2 | 07/12/2002 |
c programming | thomas | 2 | 07/11/2002 |
More USENIX02 summaries from Oleg | Ehud Lamm | 6 | 07/15/2002 |
Java Specification Participation Agreement | Ehud Lamm | 1 | 07/11/2002 |
Refactoring Functional Programs | jon fernquest | 1 | 07/10/2002 |
Refactoring Functional Programs | jon fernquest | 20 | 07/10/2002 |
Hugs98 for .NET | jon fernquest | 1 | 07/10/2002 |
Perl Foundation Grants are Almost Empty | andrew cooke | 1 | 07/08/2002 |
The Program Transformation Wiki | Ehud Lamm | 1 | 07/08/2002 |
Strsafe.h: Safer String Handling in C | Dan Shappir | 10 | 07/09/2002 |
Writing a counter function | Ehud Lamm | 1 | 07/08/2002 |
Meta Programming with Concrete Object Syntax | Martin Bravenboer | 1 | 07/07/2002 |
Influence of Software Module Systems on Modular Verification | Ehud Lamm | 1 | 07/07/2002 |
What being an Editor is all about | Ehud Lamm | 3 | 07/06/2002 |
Declarative Event-Oriented Programming | Ehud Lamm | 1 | 07/06/2002 |
The OpenNLP Grok Library | Ehud Lamm | 1 | 07/06/2002 |
IK.VM.NET Weblog | Ehud Lamm | 1 | 07/04/2002 |
CoKinetic windows user interface markup language | Ken Meltsner | 1 | 07/03/2002 |
The Frege Program Prover (FPP) | Ehud Lamm | 1 | 07/03/2002 |
Animism: An Essential Concept in Programming? | Noel Welsh | 7 | 07/05/2002 |
Poorman's Logic System | Patrick | 2 | 07/03/2002 |
Boring... | Ehud Lamm | 3 | 07/03/2002 |
The YAFL programming language | Ehud Lamm | 3 | 07/05/2002 |
Europython presentations | Ehud Lamm | 2 | 07/02/2002 |
Language-Centric Software Development | Ehud Lamm | 4 | 07/03/2002 |
Departments | Ehud Lamm | 1 | 07/01/2002 |
Managed C++ FAQ | Ehud Lamm | 1 | 07/01/2002 |
Edge Side Includes (ESI) | Ehud Lamm | 2 | 07/03/2002 |
1st North American Summer School in Logic, Language and Info | Ken Shan | 2 | 06/30/2002 |
Oleg's USENIX2002 report (update!) | Ehud Lamm | 1 | 06/29/2002 |
Logic Programming in Python (constraints) | Ehud Lamm | 1 | 06/28/2002 |
JCP adequately preparing Java for Web services? | Ehud Lamm | 5 | 07/01/2002 |
Linear Types and Monads | Ehud Lamm | 2 | 06/28/2002 |
J-SEAL2 | Ehud Lamm | 1 | 06/26/2002 |
Playing with the GNAT Run Time | Ehud Lamm | 2 | 06/26/2002 |
Longhorn | andrew cooke | 1 | 06/25/2002 |
Oleg's USENIX2002 report | Ehud Lamm | 4 | 06/25/2002 |
Shiro Kawai - Shooting A Moving Target | Ehud Lamm | 2 | 06/26/2002 |
JSIS - Semantic Interface Specification for Java | Ehud Lamm | 1 | 06/24/2002 |
Chameleon | Bryn Keller | 5 | 06/21/2002 |
Elephant 2000 | andrew cooke | 1 | 06/21/2002 |
Elephant 2000 | John Kozak | 2 | 06/21/2002 |
Project Ace | andrew cooke | 7 | 06/24/2002 |
SML.NET now out | andrew cooke | 1 | 06/17/2002 |
NVIDIA's Cg technology | Dan Shappir | 5 | 06/16/2002 |
A short break | Ehud Lamm | 1 | 06/15/2002 |
Funny stuff | Ehud Lamm | 2 | 06/14/2002 |
proof that (call/cc (lambda (c) (0 (c 1)))) => 1 | Ehud Lamm | 5 | 06/16/2002 |
Runtime optimization mailing list | Ehud Lamm | 1 | 06/14/2002 |
SQL Limitations | Ehud Lamm | 5 | 06/13/2002 |
Stack Inspection: Theory and Variants | Ehud Lamm | 1 | 06/13/2002 |
Two New Microsoft Languages - AsmL and Pan | Dan Shappir | 8 | 06/13/2002 |
Network Query Language | Ehud Lamm | 5 | 06/15/2002 |
J for C programmers | Ehud Lamm | 3 | 06/11/2002 |
J for C programmers | James Hague | 1 | 06/11/2002 |
Mark Shields: A compiler writer's guide to C# | Ehud Lamm | 1 | 06/10/2002 |
Advanced .NET Remoting examples online | Ehud Lamm | 1 | 06/10/2002 |
Guido van Rossum, Linux Magazine interview | Ehud Lamm | 2 | 06/10/2002 |
Implementing "weightless threads" with Python generators | Ehud Lamm | 1 | 06/10/2002 |
Quick links | Ehud Lamm | 5 | 06/11/2002 |
System I Experimentation Tool | Ehud Lamm | 1 | 06/09/2002 |
dealing with Scheme (or Lisp, etc) | Zach Garner | 7 | 06/11/2002 |
Scott McCloud: The Big Triangle | Ehud Lamm | 1 | 06/08/2002 |
C and C++: Siblings | Dan Shappir | 5 | 06/06/2002 |
Larry Wall: Apocalypse 5: Regular Expressions | Ehud Lamm | 17 | 06/06/2002 |
Perl: Apocalypse 5: Regular Expressions | Keith Devens | 1 | 06/04/2002 |
Eager Haskell | Bryn Keller | 3 | 06/05/2002 |
QCL - A Programming Language for Quantum Computers | Ehud Lamm | 1 | 06/04/2002 |
Computing with Cells and Atoms | Ehud Lamm | 1 | 06/04/2002 |
Scheme & Macros | Ed Heil | 2 | 06/04/2002 |
Slashdot: Conceptual Models of a Program? | Keith Devens | 1 | 06/03/2002 |
Investigations into Portable Object Codes | Ehud Lamm | 3 | 06/04/2002 |
Loving Lisp, or the Savy Programmer's Secret Weapon | Ehud Lamm | 1 | 06/01/2002 |
Advanced Programming Techniques | Ehud Lamm | 3 | 06/01/2002 |
Another RSS idea | Ehud Lamm | 3 | 06/03/2002 |
Achieving Closure (Perl) | Ehud Lamm | 1 | 05/31/2002 |
A flurry of activity on XQuery | Ehud Lamm | 1 | 05/30/2002 |
Harper: Programming Languages: Theory and Practice | Ehud Lamm | 1 | 05/30/2002 |
Adaptive Functional Programming | Ehud Lamm | 1 | 05/30/2002 |
Rediscovering Object Orientation | Chris Lattner | 3 | 05/28/2002 |
When is a function a fold or an unfold? | Ehud Lamm | 1 | 05/28/2002 |
Lua Lights up Telecom Testing | Chris Rathman | 2 | 05/28/2002 |
CSP for C | andrew cooke | 2 | 05/27/2002 |
Just so you know | Ehud Lamm | 1 | 05/26/2002 |
AP5: A declaritive language extension to Common Lisp | Dan Moniz | 2 | 05/27/2002 |
Language Neutrality and the Java Platform | Chris Rathman | 4 | 05/28/2002 |
Stackless python goes Limbo dancing | Adewale Oshineye | 2 | 05/26/2002 |
Haskell books | Ehud Lamm | 1 | 05/24/2002 |
Daniel Friedman: A Poorman's 'Roll Your Own' Logic System | Ehud Lamm | 10 | 05/29/2002 |
Perl 6 Answers | Keith Devens | 3 | 05/24/2002 |
Semantic Lego | andrew cooke | 1 | 05/21/2002 |
Paul Graham - Revenge of the Nerds | Ehud Lamm | 40 | 05/27/2002 |
Compiling Eiffel for the CLR | Ehud Lamm | 2 | 05/21/2002 |
Programming with Regions in the ML Kit | Bryn Keller | 1 | 05/20/2002 |
Multiple Inheritance for Eiffel in .NET | Dan Phillips | 1 | 05/20/2002 |
Toaster | Ehud Lamm | 1 | 05/20/2002 |
Where is everybody? | Ehud Lamm | 5 | 05/23/2002 |
Continuations Made Simple and Illustrated | Ehud Lamm | 1 | 05/19/2002 |
Normal-order evaluation as bottom-up parsing | Ehud Lamm | 1 | 05/18/2002 |
Scanning, Parsing, and Rewriting Kit - Python | Ehud Lamm | 4 | 05/18/2002 |
F# | Dejan Jelovic | 6 | 05/26/2002 |
Domain-specific Embedded Languages and Program Generators | Ehud Lamm | 14 | 05/17/2002 |
MetaOcaml | Bryn Keller | 4 | 05/17/2002 |
CLI Standard (ECMA-335) | Chris Rathman | 1 | 05/16/2002 |
New Departments | Ehud Lamm | 1 | 05/15/2002 |
Five Little Languages and How They Grew: Talk at HOPL | Dejan Jelovic | 1 | 05/15/2002 |
Inside information | Ehud Lamm | 1 | 05/15/2002 |
functional software engineering experience? | Ehud Lamm | 1 | 05/15/2002 |
Selected Readings on C (gcc) | Ehud Lamm | 1 | 05/15/2002 |
Gregor, the next generation XSLT compiler | Ehud Lamm | 1 | 05/14/2002 |
Usenet comp.lang.* Traffic Evolution | pixel | 2 | 05/15/2002 |
Sugar 2.0 tutorial | Chris Rathman | 7 | 05/16/2002 |
Oleg's USENIX2001 conference report | Ehud Lamm | 2 | 05/14/2002 |
Second Haskell Communities and Activities Report | Noel Welsh | 7 | 10/15/2002 |
Programming anti-idioms | Ehud Lamm | 2 | 05/13/2002 |
RSS-AWK | Ehud Lamm | 1 | 05/10/2002 |
Using Functional Objects in various languages | pixel | 5 | 05/11/2002 |
The Nice Programming Language | Bryn Keller | 11 | 05/11/2002 |
Lisp Machine Video | Ehud Lamm | 1 | 05/10/2002 |
Are dylan macros Turing-complete? | Chris Rathman | 1 | 05/09/2002 |
XML compression | Ehud Lamm | 2 | 05/11/2002 |
Polyglot Programming | Chris Rathman | 5 | 05/08/2002 |
Frost - Multimethods and FWVAs for C++ | andrew cooke | 1 | 05/08/2002 |
High-Level Assembly Language | Noel Welsh | 4 | 05/08/2002 |
OO Tips | Chris Rathman | 1 | 05/07/2002 |
Flu | Ehud Lamm | 1 | 05/07/2002 |
Squeampiler | Ehud Lamm | 4 | 05/08/2002 |
Joel on Programming Languages | Dan Shappir | 11 | 05/07/2002 |
Generators and Abstraction | Ehud Lamm | 4 | 05/06/2002 |
fun with combinators | Michael Christopher Vanier | 2 | 05/04/2002 |
odds and ends | Ehud Lamm | 1 | 05/03/2002 |
Calculating Functional Programs | Ehud Lamm | 2 | 05/03/2002 |
Compiling functional languages | Ehud Lamm | 1 | 05/01/2002 |
SISC 1.4.0 Released | Scott G. Miller | 1 | 05/01/2002 |
Object-oriented markup | Michael St. Hippolyte | 7 | 05/05/2002 |
Eclipse and Emacs | Brent Fulgham | 1 | 05/01/2002 |
Modern Concurrency Abstractions for C# | Chris Rathman | 6 | 04/30/2002 |
Syntax Checking the Scripting Way | Ehud Lamm | 15 | 04/30/2002 |
A Retrospective on Paradigms of AI Programming | Chris Rathman | 3 | 04/30/2002 |
Downsides to the C++ STL? | Chris Rathman | 4 | 04/30/2002 |
Ease - Evolutionary Algorithms Scripting Environment | Ehud Lamm | 8 | 04/30/2002 |
Interesting conversations | Ehud Lamm | 1 | 04/28/2002 |
The MultiJava Project | Chris Rathman | 6 | 04/30/2002 |
Modern Web Development textbook? | Ehud Lamm | 3 | 04/27/2002 |
LtU indexes | Ehud Lamm | 1 | 04/27/2002 |
Lambda The Ultimate: Topic Index | Chris Rathman | 1 | 04/26/2002 |
1st International Conference on AOP (22-26/4/2002) | Ehud Lamm | 2 | 04/26/2002 |
Python Developer's Guide | Ehud Lamm | 1 | 04/25/2002 |
Tips on Writing Portable SQL Code | Ehud Lamm | 5 | 04/24/2002 |
Scheme-robo -- automatic assessment for Scheme exercises | Ehud Lamm | 1 | 04/23/2002 |
Programming Language Design and Software Quality | Ehud Lamm | 2 | 04/22/2002 |
Language Myths | Ehud Lamm | 24 | 04/22/2002 |
Factasia | Ken Shan | 2 | 04/21/2002 |
AOP: The 15% Solution | Chris Rathman | 16 | 04/22/2002 |
Pyrex - A language for writing Python extension modules | Ehud Lamm | 3 | 04/21/2002 |
Windows Script Host 5.6 (MSDN) | Ehud Lamm | 1 | 04/19/2002 |
GOO: a generic-function based OO language | Ehud Lamm | 1 | 04/19/2002 |
Interesting threads | Ehud Lamm | 1 | 04/19/2002 |
"The New C++" | Keith Devens | 4 | 04/19/2002 |
Environmental Acquisition - A New InheritancE Mechanism | Ehud Lamm | 2 | 04/17/2002 |
goo: a generic-function based OO language | Michael Christopher Vanier | 13 | 04/22/2002 |
Real Life | Ehud Lamm | 1 | 04/17/2002 |
Your introduction to Lisp... | Ehud Lamm | 1 | 04/15/2002 |
Plots in XML | andrew cooke | 4 | 04/15/2002 |
Template Languages in XSLT | Ehud Lamm | 1 | 04/13/2002 |
What's New in XSLT 2.0 | Ehud Lamm | 1 | 04/13/2002 |
Advanced Programming Language Design book available online | Adewale Oshineye | 2 | 04/14/2002 |
Modern Concurrency Abstractions for C# | Ehud Lamm | 1 | 04/12/2002 |
Isabelle/HOL: A Proof Assistant for Higher-Order Logic | Ehud Lamm | 2 | 04/11/2002 |
The Sociology of Language Evolution | Ehud Lamm | 7 | 04/15/2002 |
SpringBox | scruzia | 1 | 04/10/2002 |
The Implementation of Model Constraints in .NET | Ehud Lamm | 1 | 04/09/2002 |
IMS XML schemas | Ehud Lamm | 1 | 04/08/2002 |
Icon Analyst back issues on line | Ehud Lamm | 1 | 04/06/2002 |
Guido van Rossum: An Optimization Anecdote | Ehud Lamm | 5 | 04/11/2002 |
Writing dirty R5RS macros | Ehud Lamm | 1 | 04/05/2002 |
XWT or XML Windowing Toolkit | Jay Han | 1 | 04/04/2002 |
Exegesis 4 | Ehud Lamm | 3 | 04/04/2002 |
Sash: The Javascript Runtime | Ehud Lamm | 4 | 04/05/2002 |
Simple Outline XML: SOX | Ehud Lamm | 7 | 04/06/2002 |
Richard Stallman's Crusade for Free Software | Ehud Lamm | 7 | 04/05/2002 |
Note to RSS junkies | Ehud Lamm | 3 | 04/02/2002 |
Early Adopters Like Visual Studio .Net | Ehud Lamm | 3 | 04/02/2002 |
please help! | Steve | 2 | 04/01/2002 |
Developing Applications with Objective Caml | Ehud Lamm | 1 | 04/01/2002 |
Aspect-oriented compilers | Ehud Lamm | 1 | 04/01/2002 |
Computer Scientist Gets to the Bottom of Financial Scandal | Ehud Lamm | 6 | 04/12/2002 |
Erlang Is Worth a Look | Ehud Lamm | 4 | 04/01/2002 |
Summer School on the Proofs-as-Programs Paradigm | Ehud Lamm | 1 | 03/31/2002 |
Adding metadata to Java (JSR 175) | Ehud Lamm | 1 | 03/30/2002 |
20 Years of PLDI - CALL FOR NOMINATIONS | Ehud Lamm | 4 | 04/02/2002 |
More Rotor links | Ehud Lamm | 1 | 03/28/2002 |
The Swine Before Perl | raptnor | 1 | 03/27/2002 |
(JSR 175) Adding metadata to Java | Adewale Oshineye | 7 | 04/01/2002 |
SVGgraphs | Ehud Lamm | 1 | 03/27/2002 |
Shared Source CLI Beta | Ehud Lamm | 9 | 04/02/2002 |
Pre-processing (or composition of functions) | Keith Devens | 5 | 03/27/2002 |
Call with Current Continuation Patterns | Ehud Lamm | 1 | 03/26/2002 |
Apache's JSPA Position | Ehud Lamm | 1 | 03/25/2002 |
Hakell mini-primer | Ehud Lamm | 1 | 03/25/2002 |
A survey of language popularity | Ehud Lamm | 7 | 03/26/2002 |
COM support in Python | Ehud Lamm | 1 | 03/23/2002 |
Lambda over types (Haskell) | Ehud Lamm | 1 | 03/23/2002 |
Strong Typing, Dynamic Languages, What to do? | Ehud Lamm | 5 | 03/25/2002 |
XML-Europe'2002 Program | Ehud Lamm | 1 | 03/22/2002 |
Gosling hits 'Jackpot' with futuristic tools | Ehud Lamm | 5 | 03/22/2002 |
Coping with Change | Ehud Lamm | 2 | 03/21/2002 |
Interactive Simultaneous Editing of Multiple Text Regions | Ehud Lamm | 1 | 03/21/2002 |
Tachy | Dan Shappir | 1 | 03/20/2002 |
Why I Don't Read Code Comments | Dan Shappir | 2 | 03/20/2002 |
Dynamic Functions using FXSL | Ehud Lamm | 2 | 03/20/2002 |
Foundations of Object-Oriented Programming Languages | Ehud Lamm | 1 | 03/20/2002 |
Microsoft Visual J# .NET Beta 2 | Dan Shappir | 6 | 03/20/2002 |
OPML to SVG | Ehud Lamm | 1 | 03/18/2002 |
Evaluating a new programming language | Ehud Lamm | 6 | 03/20/2002 |
Your Wish Is My Command - Programming By Example | Ehud Lamm | 2 | 03/18/2002 |
study of the "list comprehension" sugar | Ehud Lamm | 2 | 03/21/2002 |
Web Services Conversation Language | Ehud Lamm | 1 | 03/16/2002 |
Flash MX | Ehud Lamm | 5 | 03/17/2002 |
Languages for programming PDAs | Ehud Lamm | 2 | 03/15/2002 |
A sense of community | Ehud Lamm | 7 | 03/19/2002 |
Related Weblogs | Ehud Lamm | 1 | 03/15/2002 |
Self-Hosted Languages for PDAs? | rev | 1 | 03/15/2002 |
On the future of REBOL. | Brian Lee | 2 | 03/14/2002 |
Stacking them up: a Comparison of Virtual Machines | Ehud Lamm | 2 | 03/13/2002 |
Ongoing Discussion on the Value of DotNet | Ehud Lamm | 11 | 03/18/2002 |
Good Analysis of the JVM and the CLR | Brent Fulgham | 1 | 03/12/2002 |
Correctness by Construction: Better Can Also Be Cheaper | Ehud Lamm | 4 | 03/25/2002 |
Terrarium | Ehud Lamm | 3 | 03/15/2002 |
Ideas for ARC | Ehud Lamm | 1 | 03/11/2002 |
Implementation Strategies for Continuations | Ehud Lamm | 1 | 03/11/2002 |
Guido van Rossum: Parade of the PEPs | Ehud Lamm | 3 | 03/10/2002 |
Running untrusted code | Ehud Lamm | 4 | 03/11/2002 |
Lingua::Romana::Perligata | Ehud Lamm | 5 | 03/11/2002 |
Personal intro. to the community. | Brian Lee | 2 | 03/09/2002 |
Partial Evaluation and Automatic Program Generation | Ehud Lamm | 1 | 03/09/2002 |
Intentional Programming FAQ | Ehud Lamm | 4 | 03/11/2002 |
Lingua::Romana::Perligata | Jay Han | 1 | 03/08/2002 |
Making a decision: C# or VB.NET | Ehud Lamm | 3 | 03/13/2002 |
Smalltalk and the CLR | Ehud Lamm | 2 | 03/06/2002 |
David McCusker on artificial languages | Ehud Lamm | 1 | 03/06/2002 |
Linus Torvalds on Coding style | Dan Shappir | 6 | 03/07/2002 |
An Advanced Syntax-Rules Primer for the Mildly Insane | Ehud Lamm | 1 | 03/05/2002 |
Uncovering Rotor -- A Shared Source CLI | Ehud Lamm | 4 | 03/07/2002 |
Axiomatic Language | Walter Wilson | 3 | 03/11/2002 |
Guido van Rossum: Introduction to Python | Ehud Lamm | 1 | 03/05/2002 |
XML Pipeline Definition Language introduced as Note | Ehud Lamm | 1 | 03/04/2002 |
DOM and Lisp's READ | Patrick | 1 | 03/02/2002 |
Daniel Friedman: A Poorman's 'Roll Your Own' Object System | Ehud Lamm | 7 | 03/04/2002 |
Java's new Considered Harmful | Chris Rathman | 7 | 03/06/2002 |
Comments on Comments | Chris Rathman | 15 | 03/08/2002 |
Implementations of .NET-Targeted Languages Problematic | Ehud Lamm | 1 | 03/01/2002 |
Implementations of .NET-Targeted Languages Problematic | Brent Fulgham | 5 | 03/02/2002 |
Discovering Squeak | Ehud Lamm | 2 | 03/06/2002 |
rST - Remote Smalltalk | Ehud Lamm | 6 | 03/02/2002 |
The developer's dilemma | Dan Shappir | 3 | 03/01/2002 |
Norvig: Teach Yourself Programming in Ten Years | Ehud Lamm | 5 | 03/02/2002 |
RFI: Intro using Scheme and Haskell | Ehud Lamm | 1 | 02/26/2002 |
Brainteaser | Ehud Lamm | 4 | 02/28/2002 |
Teaching an ML compiler to speak C natively | Ehud Lamm | 1 | 02/25/2002 |
Ja.NET | Ehud Lamm | 3 | 04/20/2002 |
Types and Programming Languages | Ehud Lamm | 2 | 02/24/2002 |
Udell: What Is General-Purpose Scripting? | Ehud Lamm | 3 | 02/24/2002 |
Design By Contract | Brent Fulgham | 2 | 02/22/2002 |
Applications of Continuations | Ehud Lamm | 2 | 02/23/2002 |
Functional and Declarative Programming in Education (FDPE99) | Ehud Lamm | 1 | 02/22/2002 |
Some interesting weblogs | Ehud Lamm | 7 | 02/25/2002 |
Python lambda tricks | Ehud Lamm | 1 | 02/22/2002 |
stupid lambda tricks for python | Michal Wallace | 3 | 02/22/2002 |
Semantics-based Filtering: Logic Programming's Killer App? | Ehud Lamm | 6 | 02/21/2002 |
Using a Language to Build an Experimental Analysis Tool | Ehud Lamm | 2 | 02/20/2002 |
JavaScript 2.0 Versioning | Chris Rathman | 9 | 02/23/2002 |
Anders Heljsberg on what's next for C# | Chris Rathman | 1 | 02/19/2002 |
A Programming Paradox | Ehud Lamm | 4 | 02/19/2002 |
The .NET team on VB.NET | Dan Shappir | 5 | 02/20/2002 |
The CSS debate rages on | Ehud Lamm | 5 | 02/19/2002 |
The Practice of Type Theory in Programming Languages | Ehud Lamm | 1 | 02/16/2002 |
a question about coding os | Larme Weep | 4 | 02/15/2002 |
Misc | Ehud Lamm | 9 | 02/16/2002 |
Top trends | Ehud Lamm | 4 | 02/17/2002 |
SVG - Open for Business | Ehud Lamm | 7 | 02/18/2002 |
Memorabilia from the 10th International Python Conference | Ehud Lamm | 1 | 02/14/2002 |
Java 1.4.0 SE Released | Dan Moniz | 6 | 02/15/2002 |
Curry - A Truly Integrated Functional Logic Language | Bryn Keller | 1 | 02/13/2002 |
Guido van Rossum Python 10 DevDay Keynote | Ehud Lamm | 1 | 02/13/2002 |
Check the discussion group | Ehud Lamm | 1 | 02/13/2002 |
Slashdot looks for the perfect language | Dan Shappir | 2 | 02/13/2002 |
VB.NET Shadowing | Dan Shappir | 1 | 02/13/2002 |
Online Bibliography of Haskell Research | Ehud Lamm | 1 | 02/11/2002 |
Alphabet Soup | Ehud Lamm | 2 | 02/11/2002 |
Another slow week | Ehud Lamm | 1 | 02/10/2002 |
LL1 on technetcast | Frank Atanassow | 1 | 02/09/2002 |
Backhouse on Mathematics and Programming | Frank Atanassow | 2 | 02/09/2002 |
ETAPS registration now open | Ehud Lamm | 1 | 02/09/2002 |
Funny Flash hack | Ehud Lamm | 1 | 02/09/2002 |
Turing Award to Ole-Johan Dahl and Kristen Nygaard | Ehud Lamm | 1 | 02/09/2002 |
One Runtime to Bind Them All | Ehud Lamm | 1 | 02/08/2002 |
Higher-order transformation of logic programs | Ehud Lamm | 1 | 02/08/2002 |
Gems from IBM's Java Technology Centre | Ehud Lamm | 1 | 02/08/2002 |
Reading list on XML and Web Programming | Ehud Lamm | 3 | 02/07/2002 |
Complexity and expressive power of logic programming | Ehud Lamm | 1 | 02/07/2002 |
Don Box on the Importance of Being WSDL | Dejan Jelovic | 22 | 02/15/2002 |
Lambda Calculus in Python | Ehud Lamm | 1 | 02/06/2002 |
Squeak Modules | Ehud Lamm | 2 | 02/06/2002 |
Common Lisp Cookbook | Ehud Lamm | 2 | 02/06/2002 |
The Web Server is Fully Functional | Noel Welsh | 2 | 02/06/2002 |
Don Box on the Importance of Being WSDL | Dan Shappir | 1 | 02/06/2002 |
Functional programming in XSLT | Ehud Lamm | 11 | 02/07/2002 |
DIY Web Services with Radio 8 | Ehud Lamm | 1 | 02/04/2002 |
Scala | Ehud Lamm | 3 | 02/04/2002 |
Summer schools: generic & functional programming | Ehud Lamm | 4 | 02/08/2002 |
Extreme Markup Languages 2002 | Ehud Lamm | 1 | 02/03/2002 |
On Lisp, On Line | Ehud Lamm | 1 | 02/02/2002 |
Programming Challenge | Ehud Lamm | 6 | 02/05/2002 |
Support for Distributed Systems in Ada | Ehud Lamm | 3 | 02/02/2002 |
Direct manipulation languages | Ehud Lamm | 4 | 02/04/2002 |
Compo - a language to describe music | Chad Slaughter | 1 | 01/31/2002 |
The web services debate continues | Ehud Lamm | 7 | 02/03/2002 |
Modeling an Algebraic Stepper | Ehud Lamm | 3 | 02/01/2002 |
Virtual Virtual Machine | Bryn Keller | 2 | 01/31/2002 |
Lame | Ehud Lamm | 2 | 01/30/2002 |
Multics Software Features | Ehud Lamm | 4 | 02/01/2002 |
PADL02: Functional Approach to Texture Generation | Ehud Lamm | 1 | 01/30/2002 |
Multics | Chad Slaughter | 1 | 01/29/2002 |
PADL: Beautiful textures by combining functions | Oleg | 2 | 01/31/2002 |
Programming for the Web | Dan Moniz | 22 | 02/03/2002 |
PADL: Machine reasoning about machines: ACL2 theorem prover | Ehud Lamm | 3 | 01/29/2002 |
A Reduction Semantics for Array Expressions | Noel Welsh | 2 | 01/29/2002 |
Speak Up! | Ehud Lamm | 1 | 01/28/2002 |
Revisiting an old thread: choosing a foundation language | Ehud Lamm | 31 | 02/18/2002 |
Imperative and Functional Suffix Tree Constructions | Ehud Lamm | 1 | 01/27/2002 |
Announce: School of Expression software | Ehud Lamm | 1 | 01/26/2002 |
2002 Weblog Awards: Vote for LtU! | Ehud Lamm | 2 | 01/31/2002 |
Mining Specifications | Ehud Lamm | 1 | 01/24/2002 |
Sinister Scheme Sample Perplexes Python Porter | Ehud Lamm | 5 | 01/24/2002 |
Jscheme | Ehud Lamm | 2 | 01/25/2002 |
SLAM (at POPL) | Ehud Lamm | 13 | 01/28/2002 |
Book: Python How to Program | Ehud Lamm | 7 | 01/25/2002 |
.NET fun fact | Dan Shappir | 3 | 01/23/2002 |
New Block Closures in Squeak | Ehud Lamm | 4 | 01/25/2002 |
AI: A Modern Approach -- In Python | Ehud Lamm | 1 | 01/22/2002 |
Software Patterns Representation Languages | Ehud Lamm | 1 | 01/21/2002 |
Quick spelling checker using MS-Word | Ehud Lamm | 4 | 01/23/2002 |
OPML in the browser | Ehud Lamm | 1 | 01/21/2002 |
Aspect-oriented programming for Python | Ehud Lamm | 8 | 01/22/2002 |
GaTech SqueakEnd 2002 | Ehud Lamm | 13 | 01/07/2003 |
Web services: Winer on WSDL | Ehud Lamm | 17 | 01/25/2002 |
More Macro Discussion | Brent Fulgham | 3 | 01/19/2002 |
Why CASE Tools Aren't Useful | Dejan Jelovic | 9 | 01/19/2002 |
Slashdot: Hardware Description Languages | Ehud Lamm | 1 | 01/18/2002 |
Larry Wall: Apocalypse 4 | Ehud Lamm | 4 | 01/18/2002 |
PythonCardPrototype release 0.6.2 | Ehud Lamm | 1 | 01/17/2002 |
Calculi for Mobile Processes | Ehud Lamm | 2 | 01/17/2002 |
HAP Python Remote Debugger | Ehud Lamm | 4 | 01/18/2002 |
PLAN: A Packet Language for Active Networks | Ehud Lamm | 3 | 01/17/2002 |
Subject-oriented programming @ IBM | Ehud Lamm | 2 | 01/17/2002 |
XSLT, Perl, Haskell, & a word on language design | Ehud Lamm | 2 | 01/15/2002 |
XSLT, Perl, Haskell, & a word on language design - A link from kur5hin | Alex | 2 | 01/15/2002 |
Sound Generic Java type inference | Ehud Lamm | 1 | 01/15/2002 |
Pragmatic Programmer "Language of the Year" project - Learn Haskell in 2002 | Shae Erisson | 1 | 01/15/2002 |
2001 International PHP Conference Slides | Ehud Lamm | 1 | 01/14/2002 |
Why You Might Want to Try Ruby | Ehud Lamm | 5 | 01/14/2002 |
Macros and Preprocessing in Haskell | Bryn Keller | 8 | 01/16/2002 |
Beyond Ada: The First Paranoid Programming Language | Bryn Keller | 2 | 01/13/2002 |
Incremental Mature GCUsing the Train Algorithm | Bryn Keller | 1 | 01/11/2002 |
Functional programming in Perl | Ehud Lamm | 3 | 01/15/2002 |
Has J2EE Hit a Fork In the Road? | Ehud Lamm | 8 | 01/13/2002 |
Language of the Year: Haskell | Frank Atanassow | 7 | 01/15/2002 |
Design Paradigms | Brent Fulgham | 7 | 01/14/2002 |
cdb, A Machine-Independent Debugger | Ehud Lamm | 4 | 01/11/2002 |
Cringely: Response to critics (C# vs. Java) | Ehud Lamm | 2 | 01/16/2002 |
SE/Algebra course | Ehud Lamm | 10 | 01/10/2002 |
Trampolined Style | Ehud Lamm | 1 | 01/08/2002 |
Cheetah, the Python-Powered Template Engine | Ehud Lamm | 2 | 01/08/2002 |
Interview: Matthew Dillon | Ehud Lamm | 3 | 01/08/2002 |
XPipe | Ehud Lamm | 1 | 01/07/2002 |
Monadic Programming in Scheme | Ehud Lamm | 1 | 01/07/2002 |
2001 -- The Year When DotGNU Was Born | Ehud Lamm | 1 | 01/07/2002 |
Mono C# compiler can compile itself | Dan Shappir | 1 | 01/06/2002 |
Autodep | Ehud Lamm | 4 | 01/06/2002 |
2002 Weblog Awards | Ehud Lamm | 1 | 01/05/2002 |
Mondrian for .NET | Ehud Lamm | 2 | 01/05/2002 |
A Day of Programming Language Research | Ehud Lamm | 2 | 02/22/2002 |
The Roots of Lisp | Ehud Lamm | 5 | 01/06/2002 |
Don's Favorite Aspects of the CLR | Dejan Jelovic | 4 | 01/06/2002 |
the Nice programming language | jason songhurst | 1 | 01/03/2002 |
Implementing debuggers | Ehud Lamm | 3 | 02/06/2002 |
Abstracting input sources | Ehud Lamm | 1 | 01/03/2002 |
Examples of 119 programming languages | Adewale Oshineye | 4 | 01/06/2002 |
muq | Jo Totland | 1 | 01/03/2002 |
Tomorrow and Tomorrow and Tomorrow | Ehud Lamm | 4 | 01/04/2002 |
E - secure,distributed, pure OOP and p2p scripting language | Ehud Lamm | 7 | 01/04/2002 |
New year resolutions | Ehud Lamm | 3 | 01/02/2002 |
Why Lisp? | Ehud Lamm | 11 | 01/05/2002 |
Abramsky powerdomain | Igor | 3 | 01/05/2002 |
Formal semantics for C | Ehud Lamm | 2 | 12/30/2001 |
The Case Against C | Ehud Lamm | 1 | 12/28/2001 |
Lectures on the Curry-Howard Isomorphism | Ehud Lamm | 1 | 12/27/2001 |
Thinking in Python | Ehud Lamm | 1 | 12/26/2001 |
Memories of ADJ | Ehud Lamm | 1 | 12/26/2001 |
So what do you think of cross-language inheritance? | Ehud Lamm | 7 | 12/28/2001 |
Understadning DO and side-effects in Haskell | Ehud Lamm | 1 | 12/26/2001 |
gen<> past and present | Dan Shappir | 1 | 12/26/2001 |
First-class Modules for Haskell | Ehud Lamm | 1 | 12/25/2001 |
LOOP: Formal methods for object-oriented systems | Ehud Lamm | 1 | 12/25/2001 |
Prevayler - Transparent Java Persistence | Ehud Lamm | 1 | 12/23/2001 |
Online Books and Lecture Notes in Mathematics | Ehud Lamm | 1 | 12/23/2001 |
Python 2.2 is released | Ehud Lamm | 1 | 12/22/2001 |
Programming from Specifications | Ehud Lamm | 1 | 12/22/2001 |
Categorical Programming with Abstract Data Types | Ehud Lamm | 1 | 12/22/2001 |
The Charity Language | Ehud Lamm | 28 | 12/21/2001 |
Reading long discussion threads | Ehud Lamm | 1 | 12/20/2001 |
Practical Theory (was: T) | Ehud Lamm | 29 | 12/24/2001 |
MVC for dummies | Ehud Lamm | 1 | 12/19/2001 |
Re-writing abstractions | Ehud Lamm | 4 | 12/21/2001 |
The CityScript Little Language | Dan Shappir | 13 | 12/20/2001 |
Generic Java type inference is unsound | Ehud Lamm | 6 | 12/19/2001 |
Abusive posts | Ehud Lamm | 1 | 12/17/2001 |
Real Programmers Don't Use Pascal | Ehud Lamm | 4 | 12/19/2001 |
How do we tell truths that might hurt? | Ehud Lamm | 2 | 12/17/2001 |
Haskell/Java VM Bridge | Ehud Lamm | 1 | 12/17/2001 |
J and K: One User's View | Ehud Lamm | 6 | 12/17/2001 |
Python timeline | Ehud Lamm | 1 | 12/15/2001 |
Backwards Debugging | Ehud Lamm | 8 | 12/18/2001 |
The History of T | Bryn Keller | 82 | 12/20/2001 |
My Trip To Microsoft | Ehud Lamm | 2 | 12/17/2001 |
syntax across languages | pixel | 1 | 12/11/2001 |
Languages or tools to play with rewrite rules? | Ramon M. Felciano | 3 | 12/10/2001 |
The Java Memory Model | Ehud Lamm | 1 | 12/08/2001 |
The Future of Compilers | Noel Welsh | 8 | 12/15/2001 |
Parsing with the offside rule. | Alex | 6 | 12/07/2001 |
<bigwig> | Ehud Lamm | 1 | 12/07/2001 |
<bigwig> | Cimarron Taylor | 2 | 12/07/2001 |
Comparison of OO languages late-binding semantics | Ehud Lamm | 1 | 12/06/2001 |
Foundational Proof-Carrying Code | Ehud Lamm | 1 | 12/06/2001 |
MathML/DHTML | Ehud Lamm | 1 | 12/06/2001 |
Searching LtU | Ehud Lamm | 1 | 12/05/2001 |
Mozart-Oz | Paul Snively | 2 | 12/05/2001 |
Out of reach | Ehud Lamm | 4 | 12/08/2001 |
Hitch Hiker's Guide to the Smalltalk Compiler | Ehud Lamm | 1 | 12/04/2001 |
ElectricalFire | Ehud Lamm | 1 | 12/04/2001 |
VPython | Ehud Lamm | 1 | 12/03/2001 |
Standard C | Ehud Lamm | 1 | 12/02/2001 |
Design Principles Behind Smalltalk | Ehud Lamm | 1 | 12/01/2001 |
structural stability in large-scale software | Alex Iskold | 3 | 12/04/2001 |
Java Generics and Method Objects | Ehud Lamm | 1 | 11/30/2001 |
Designing Tapestry Mega-Components | Ehud Lamm | 2 | 12/04/2001 |
C++ FAQ LITE | Ehud Lamm | 10 | 12/04/2001 |
GNU lightning | Ehud Lamm | 6 | 12/04/2001 |
JRockit | Ehud Lamm | 1 | 11/28/2001 |
Arc - An Unfinished Dialect of Lisp | Bryn Keller | 18 | 12/04/2001 |
A book to learn from? | Ehud Lamm | 2 | 11/27/2001 |
Updating your Python reading list | Ehud Lamm | 1 | 11/27/2001 |
Suneido language | Andrew McKinlay | 8 | 11/30/2001 |
Spirit Parser Framework | andrew cooke | 3 | 11/26/2001 |
Awklisp | Ehud Lamm | 1 | 11/25/2001 |
Lego in PostScript | Ehud Lamm | 1 | 11/25/2001 |
xsl-editors mailing list | Ehud Lamm | 1 | 11/24/2001 |
RDF query language interpreter | Ehud Lamm | 2 | 11/25/2001 |
DSLs: A Logical Approach | Ehud Lamm | 2 | 11/25/2001 |
Domain-Specific Languages: An Annotated Bibliography | Ehud Lamm | 4 | 11/24/2001 |
Example little languages | Ehud Lamm | 6 | 11/26/2001 |
LC stuff | Ehud Lamm | 1 | 11/23/2001 |
Proto | Ehud Lamm | 2 | 11/23/2001 |
Quotation Help Wanted | Ehud Lamm | 1 | 11/22/2001 |
Psyco, the Python Specializing Compiler | Ehud Lamm | 3 | 09/14/2002 |
XSLT and XQuery: a difference of culture | Ehud Lamm | 1 | 11/22/2001 |
Beseme Project Overview | Ehud Lamm | 11 | 11/24/2001 |
History of the biohazard symbol | Ehud Lamm | 2 | 11/20/2001 |
Wirth: On the Design of Programming Languages | Ehud Lamm | 11 | 11/21/2001 |
C# From A Java Developer's Perspective | Chris Rathman | 4 | 11/20/2001 |
James Clark: The Design of RELAX NG | Ehud Lamm | 1 | 11/18/2001 |
Abstract Interpretation (good lecture notes) | Ehud Lamm | 1 | 11/18/2001 |
SPITBOL 360 | Ehud Lamm | 1 | 11/17/2001 |
Automatically Restructuring Programs for the Web | Ehud Lamm | 1 | 11/16/2001 |
Windows Scripting? | Ehud Lamm | 8 | 12/23/2001 |
Formalizing the Safety of Java, the Java Virtual Machine and | Ehud Lamm | 1 | 11/15/2001 |
Hoare's "Hints for Programming Language Design". | Ehud Lamm | 2 | 11/19/2001 |
Playing with Swiki | Ehud Lamm | 5 | 12/12/2001 |
Reminder: Lightweight Languages Workshop | Ehud Lamm | 2 | 11/22/2001 |
Piccola - A Small Composition Language | Ehud Lamm | 2 | 11/15/2001 |
Kent M. Pitman's Second Wind | Chris Rathman | 5 | 11/15/2001 |
H-M type inference and imperative language features | Ehud Lamm | 1 | 11/12/2001 |
Wonka - Embedded Java VM | Ehud Lamm | 4 | 11/16/2001 |
Object-oriented programming and protected objects | Ehud Lamm | 1 | 11/12/2001 |
Types vs. Sets | Ehud Lamm | 1 | 11/11/2001 |
Readership skills and graphical programming | Ehud Lamm | 6 | 11/12/2001 |
Why learn FP? | Ehud Lamm | 3 | 11/12/2001 |
Handbook of Automated Reasoning | Ehud Lamm | 1 | 11/10/2001 |
Self - The Power of Simplicity (Prototype Oriented versus Object Oriented) | Shae Erisson | 6 | 11/14/2001 |
Ada Programming Competition | Ehud Lamm | 1 | 11/09/2001 |
Java definite assignment | pixel | 3 | 11/12/2001 |
CML2 | Ehud Lamm | 1 | 11/09/2001 |
Haskell Communities | Ehud Lamm | 1 | 11/08/2001 |
Kent M. Pitman Answers On Lisp | Chris Rathman | 1 | 11/08/2001 |
Dispelling Java programming language myths | Ehud Lamm | 2 | 11/08/2001 |
IBM XSL Formatting Objects Composer | Ehud Lamm | 1 | 11/06/2001 |
A modular module system | Ehud Lamm | 1 | 11/06/2001 |
Web Services Inspection Language | Ehud Lamm | 5 | 11/09/2001 |
PROLAC: Language for protocol compilation | David Cerezo Sanchez | 1 | 11/04/2001 |
BlueJ - The interactive Java environment | Ehud Lamm | 2 | 11/04/2001 |
Generic Haskell | Ehud Lamm | 1 | 11/02/2001 |
An Introduction to Esterel | Chris Rathman | 1 | 11/01/2001 |
Command Line Hacks | Ehud Lamm | 3 | 11/01/2001 |
Semantics with Applications | Ehud Lamm | 3 | 11/02/2001 |
Dynamo- Dynamic Logic Programming | Ehud Lamm | 8 | 11/03/2001 |
GCC 3.0: The State of the Source | Ehud Lamm | 1 | 10/30/2001 |
Role of Programming Languages Study in Programmer Education | Ehud Lamm | 1 | 10/29/2001 |
Contracts Reading List | Ehud Lamm | 1 | 10/29/2001 |
Hating VBScript | Ehud Lamm | 8 | 10/29/2001 |
XQuery implementation demo | Ehud Lamm | 1 | 10/27/2001 |
Children’s Understanding of Process and Robot Behaviors | Ehud Lamm | 9 | 10/30/2001 |
Manta | Ehud Lamm | 1 | 10/26/2001 |
Jikes Research Virtual Machine (RVM) | Ehud Lamm | 1 | 10/26/2001 |
Implementing Dynamic Language Features in Java | Chris Rathman | 1 | 10/24/2001 |
Lambda The Ultimate: Topic Index | Chris Rathman | 1 | 10/24/2001 |
Instruction scheduling and imperative functional programming | Ehud Lamm | 2 | 10/24/2001 |
Patterns for Scripted Applications and scripting | Adewale Oshineye | 5 | 10/24/2001 |
Lambda Prolog | Ehud Lamm | 4 | 10/23/2001 |
Multiple inheritance thru automated delegation in Java | Manuel Simoni | 1 | 10/21/2001 |
Elucidative Programming | Ehud Lamm | 1 | 10/19/2001 |
FP in Scheme: A WWW-oriented approach | Ehud Lamm | 2 | 10/19/2001 |
The Sound of Silence | Ehud Lamm | 5 | 10/24/2001 |
Higher-order logic programming in Prolog | Ehud Lamm | 2 | 10/17/2001 |
Lightweight Languages Workshop 2001 | Ehud Lamm | 1 | 10/13/2001 |
Embedded Java | Ehud Lamm | 1 | 10/12/2001 |
Ask Kent M. Pitman About Lisp, Scheme And More | Ehud Lamm | 1 | 10/12/2001 |
The Evolution of a Haskell Programmer | Ehud Lamm | 2 | 10/11/2001 |
Java.NET | Ehud Lamm | 2 | 10/12/2001 |
Haskell for circuit description | Ehud Lamm | 1 | 10/09/2001 |
The countdown problem | Ehud Lamm | 1 | 10/08/2001 |
Squeak ECOOP 2001 tutorial | Ehud Lamm | 2 | 10/11/2001 |
Erlang in Real Time | Ehud Lamm | 1 | 10/06/2001 |
How To Steal Code or Inventing The Wheel Only Once | Ehud Lamm | 10 | 10/11/2001 |
A lingua franca for the Internet | jon fernquest | 1 | 10/05/2001 |
programming languages with chicken | Ehud Lamm | 3 | 10/09/2001 |
Generators in Python, Icon and Scheme | Ehud Lamm | 11 | 10/12/2001 |
Erlang tutorial and history | Ehud Lamm | 5 | 10/04/2001 |
Lambda: the ultimate "little language" | Ehud Lamm | 10 | 10/05/2001 |
Object-Oriented Scripting in Ruby | Ehud Lamm | 10 | 10/03/2001 |
Python Compared to Other Languages | Ehud Lamm | 8 | 10/03/2001 |
Java Performance | Ehud Lamm | 1 | 09/29/2001 |
Scheme interpreter in Javascript | Ehud Lamm | 3 | 09/29/2001 |
Charming Python : Iterators and simple generators | Ehud Lamm | 27 | 10/05/2001 |
SLAM project at Microsoft Research | Ehud Lamm | 1 | 09/26/2001 |
Erlang to OTP: A heavy duty TCP/IP Client Server application | Ehud Lamm | 12 | 10/01/2001 |
A semantics for imprecise exceptions | Ehud Lamm | 1 | 09/25/2001 |
Now online! Ada 95: The Craft of Object-Oriented Programming | Ehud Lamm | 1 | 09/24/2001 |
Language Laziness Test | Ehud Lamm | 1 | 09/24/2001 |
Robocode | Ehud Lamm | 1 | 09/23/2001 |
SPARK and Abstract Interpretation | Ehud Lamm | 1 | 09/23/2001 |
Chuck Moore holds Forth | Chris Rathman | 4 | 09/21/2001 |
Time Off | Ehud Lamm | 1 | 09/12/2001 |
The Pros and Cons of XML | Ehud Lamm | 1 | 09/11/2001 |
Eclipse | Ehud Lamm | 3 | 09/12/2001 |
Programming Languages White Papers | Ehud Lamm | 2 | 09/08/2001 |
Whither Now C++? | Ehud Lamm | 3 | 09/10/2001 |
Results of 4th ICFP Programming Contest | >Luis Castro | 2 | 09/07/2001 |
Genuinely Functional User Interfaces | Bryn Keller | 1 | 09/07/2001 |
Cyclone - a next generation systems language | Bryn Keller | 3 | 09/07/2001 |
Lisp Plus Plus | Ehud Lamm | 1 | 09/05/2001 |
The Visual Language of Experts in Graphic Design | Ehud Lamm | 2 | 09/09/2001 |
Lisp: A Language for Stratified Design | Ehud Lamm | 1 | 09/03/2001 |
Adam Bosworth interview | Ehud Lamm | 1 | 09/03/2001 |
Programming Puns | Ehud Lamm | 1 | 09/02/2001 |
Maya - Syntax extension for Java | Bryn Keller | 6 | 09/05/2001 |
Computer Programming for Everybody | Ehud Lamm | 3 | 09/01/2001 |
Bibliography of Scheme-related Research | Ehud Lamm | 1 | 08/28/2001 |
Quick-and-dirty Java programming | Ehud Lamm | 4 | 08/28/2001 |
System CT | Ehud Lamm | 1 | 08/27/2001 |
Is Java Language Neutral? | Chris Rathman | 2 | 08/29/2001 |
The myth of code-centricity | Chris Rathman | 8 | 08/30/2001 |
Worse Is Better | Ehud Lamm | 1 | 08/24/2001 |
XML Spy 4.0 Public Beta 3 ( XSLT Designer ) | Ehud Lamm | 1 | 08/24/2001 |
Resources | Ehud Lamm | 2 | 08/24/2001 |
Category theory for non-mathematicians | Ehud Lamm | 5 | 08/27/2001 |
Garbage collection vs. reference counting in .NET | Dejan Jelovic | 4 | 08/28/2001 |
Dynamic Web Sites with XML, XSLT and JSP | Ehud Lamm | 11 | 08/29/2001 |
Specifying reusable components using Contracts | Ehud Lamm | 2 | 08/20/2001 |
Building an Extensible Menu Class | Ehud Lamm | 1 | 08/18/2001 |
Language observations weblog | Chris Rathman | 4 | 08/19/2001 |
PythonCard | Ehud Lamm | 3 | 09/04/2001 |
Flexibility | Ehud Lamm | 6 | 08/23/2001 |
Beyond JS (library) | Ehud Lamm | 7 | 08/22/2001 |
Fowler: Reducing Coupling | Ehud Lamm | 1 | 08/16/2001 |
The D Programming Language | John Lawter | 2 | 08/17/2001 |
Will Open Source Lose the Battle for the Web? | Ehud Lamm | 1 | 08/15/2001 |
VMlambda: A Functional Calculus for Scientific Discovery | Ehud Lamm | 1 | 08/14/2001 |
Industrial-Strength Functional Programming | Ehud Lamm | 1 | 08/14/2001 |
Sequentiality and the Pi-Calculus | Ehud Lamm | 1 | 08/14/2001 |
Unifying types and classes in Python 2.2 | Ehud Lamm | 2 | 08/14/2001 |
Typed Prolog | Ehud Lamm | 1 | 08/13/2001 |
Getting Up to Speed with Velocity | Ehud Lamm | 1 | 08/12/2001 |
Intro to the Common Language Infrastructure with David Stutz | Ehud Lamm | 7 | 08/13/2001 |
Generating all n-tuples | Chris Rathman | 2 | 08/11/2001 |
Generic Programming in Haskell | Ehud Lamm | 1 | 08/09/2001 |
AOS VM | Bryn Keller | 1 | 08/08/2001 |
Java: Good and Bad | Dejan Jelovic | 2 | 08/10/2001 |
PBD and XML ? | Ehud Lamm | 1 | 08/07/2001 |
Using XSLT for content management | Ehud Lamm | 1 | 08/07/2001 |
Mechanizing the Development of Software | Ehud Lamm | 3 | 08/09/2001 |
PLEAC - Programming Language Examples Alike Cookbook | >pixel | 9 | 08/07/2001 |
Wired Rave Awards | Ehud Lamm | 3 | 08/28/2001 |
for and against conservative GC | Ehud Lamm | 1 | 08/03/2001 |
CS 6520: Programming Languages and Semantics | Ehud Lamm | 1 | 08/03/2001 |
txl -- an interesting language transformation tool | paul jensen | 1 | 08/02/2001 |
STL container's allocated space | heherson | 1 | 08/01/2001 |
Warren's Abstract Machine | Ehud Lamm | 6 | 08/01/2001 |
genericity using class substitution | Mark | 2 | 07/31/2001 |
The Salishan problems | Ehud Lamm | 5 | 07/31/2001 |
C++ in the Real World: Advice from the Trenches | Dejan Jelovic | 1 | 07/29/2001 |
Programming by Demonstration | Ehud Lamm | 1 | 07/29/2001 |
Folding over trees | Ehud Lamm | 6 | 08/06/2001 |
Happy Birthday LtU | Chris Rathman | 2 | 07/29/2001 |
The ICFP Programming Contest is underway! | Kaushik | 14 | 08/02/2001 |
A Software Engineering Perspective on Algorithmics | Ehud Lamm | 1 | 07/28/2001 |
RDF Applications with Prolog (II) | Ehud Lamm | 1 | 07/27/2001 |
circle "is-a" ellipse: round 42 | paul jensen | 5 | 07/28/2001 |
cayenne: haskell with dependent types | pixel | 6 | 07/29/2001 |
Python's proposed change to integer division | Adewale Oshineye | 3 | 07/29/2001 |
OOPSLA 2001 | Ehud Lamm | 2 | 07/26/2001 |
It's all about sharing | Ehud Lamm | 10 | 08/03/2001 |
Next Generation Programming Language Research | Ehud Lamm | 3 | 07/26/2001 |
ML Functors | Chris Rathman | 4 | 07/23/2001 |
Gosling: The Story of Java | Ehud Lamm | 1 | 07/21/2001 |
Miscellany | Ehud Lamm | 6 | 07/22/2001 |
CSP for Java | Ehud Lamm | 4 | 07/19/2001 |
PySTL | Ehud Lamm | 2 | 07/23/2001 |
The pi-calculus: a Theory of Mobile Processes | Ehud Lamm | 3 | 07/17/2001 |
Using object methods with functional programming | Sjoerd Visscher | 1 | 07/14/2001 |
Simon Peyton Jones | Biep | 3 | 07/13/2001 |
XML's Greatest Hits (And Misses) | Ehud Lamm | 1 | 07/13/2001 |
Hidden complexities of tail-call/tail-recursion optimization | Ehud Lamm | 3 | 07/12/2001 |
Miguel de Icaza on .NET | Ehud Lamm | 2 | 07/11/2001 |
Womble | Ehud Lamm | 5 | 07/11/2001 |
Question for y'all | Ehud Lamm | 10 | 07/17/2001 |
Non-Software Examples of Software Design Patterns | Ehud Lamm | 1 | 07/09/2001 |
Efficient Prolog: A Practical Guide | Ehud Lamm | 1 | 07/08/2001 |
Programming language theory texts online | Chris Rathman | 4 | 07/06/2001 |
ICFP PROGRAMMING CONTEST | Ehud Lamm | 3 | 07/06/2001 |
XQuery implementations | Ehud Lamm | 2 | 07/05/2001 |
Language Independent Arithmetic (LIA-2) | pixel | 2 | 07/04/2001 |
Cross-Language Implementation mailing list | pixel | 2 | 07/06/2001 |
A History of CLU | Chris Rathman | 2 | 07/08/2001 |
Lambda the Ultimate: Topic List | Chris Rathman | 1 | 07/04/2001 |
Scheme Personality Test | Ehud Lamm | 1 | 07/04/2001 |
Portable.NET | Ehud Lamm | 1 | 07/04/2001 |
Chuck Moore has a website | Brad Knotwell | 1 | 07/03/2001 |
Processing XML with Java | Ehud Lamm | 1 | 07/03/2001 |
Stroustrup FAQs | Ehud Lamm | 2 | 07/02/2001 |
Departments | Ehud Lamm | 1 | 07/02/2001 |
Time off | Ehud Lamm | 1 | 07/02/2001 |
Constrained Genericity | Ehud Lamm | 2 | 06/30/2001 |
Microsoft Plans Shared Source .NET | Ehud Lamm | 1 | 06/29/2001 |
Linux Mag: GCC.NET | Ehud Lamm | 1 | 06/28/2001 |
Software Design and Management Conference 2001 | John Lawter | 1 | 06/27/2001 |
Classes Containing Large Classes | heherson | 2 | 06/27/2001 |
Advanced Module Systems: A Guide for the Perplexed | Ehud Lamm | 1 | 06/26/2001 |
Java is not type-safe | Ehud Lamm | 1 | 06/26/2001 |
Google searches | Ehud Lamm | 1 | 06/24/2001 |
The decline of C++? | Chris Rathman | 1 | 06/22/2001 |
Liskov Substitution all over again | Ehud Lamm | 1 | 06/22/2001 |
Nokia Releases Java-Friendly Phone | Ehud Lamm | 1 | 06/22/2001 |
Multimedia programming in Python | Ehud Lamm | 1 | 06/22/2001 |
JXTA spec available | Ehud Lamm | 2 | 06/22/2001 |
List of first programming languages | Biep | 5 | 06/22/2001 |
FC++ | Paul Snively | 2 | 06/21/2001 |
On the Unusual Effectiveness of Logic in Computer Science | Ehud Lamm | 1 | 06/19/2001 |
Alan Cooper Infoworld interview | Ehud Lamm | 1 | 06/19/2001 |
Conference on Generic Programming | Ehud Lamm | 1 | 06/18/2001 |
Java as a CS Introductory Language? | Chris Rathman | 1 | 06/17/2001 |
Pioneers of the FORTRAN Programming Language | Chris Rathman | 1 | 06/17/2001 |
Sun to change Java language | Chris Rathman | 3 | 06/18/2001 |
Generics for the CLR | Chris Rathman | 4 | 06/14/2001 |
Disney Losing Kay & Team | Chris Rathman | 3 | 06/14/2001 |
Categorical Logic and Type Theory | Ehud Lamm | 1 | 06/14/2001 |
Three Myths of XML | Ehud Lamm | 1 | 06/14/2001 |
Version 9.4.0 of Icon | Ehud Lamm | 1 | 06/13/2001 |
Java and the Java Virtual Machine - Definition, Verification | Ehud Lamm | 1 | 06/13/2001 |
XHTML Events | Ehud Lamm | 1 | 06/11/2001 |
.NET Goodies | Ehud Lamm | 1 | 06/11/2001 |
Type-Based Analysis and Applications | Ehud Lamm | 1 | 06/10/2001 |
C# for Java Programmers | Ehud Lamm | 1 | 06/09/2001 |
Suitability of APL2 for Music | Chris Rathman | 2 | 06/11/2001 |
Couple of Usenet threads | Ehud Lamm | 3 | 06/09/2001 |
XDuce: A Typed XML Processing Language | Chris Rathman | 2 | 06/11/2001 |
Visual Studio .NET vs. IBM WSDE | Ehud Lamm | 1 | 06/06/2001 |
Java is not a hairball - Official | Ehud Lamm | 4 | 06/09/2001 |
JavaOne | Ehud Lamm | 2 | 06/09/2001 |
Hardware Support for Objects/Java | Ehud Lamm | 1 | 06/05/2001 |
subtraction and division in lambda-calculus | Ehud Lamm | 1 | 06/05/2001 |
Learning a new programming language | Chris Rathman | 18 | 06/13/2001 |
It all depends on what you mean by ($f) | Ehud Lamm | 4 | 06/04/2001 |
Knock Knock | Ehud Lamm | 2 | 06/04/2001 |
First JDO implementation | Ehud Lamm | 10 | 06/04/2001 |
Sun admits ASP better than Java for Web | Ehud Lamm | 2 | 06/04/2001 |
Conversations on .NET | Ehud Lamm | 1 | 06/01/2001 |
Compiler reliability | Ehud Lamm | 1 | 05/31/2001 |
A Functional Pattern System for OO Design | andrew cooke | 1 | 05/31/2001 |
EJB stories | Ehud Lamm | 1 | 05/30/2001 |
Double Check Locking In Java | Chris Rathman | 3 | 05/31/2001 |
19th Century Logic and 21st Century Computing | andrew cooke | 1 | 05/29/2001 |
SICP lectures online | Ehud Lamm | 3 | 05/30/2001 |
Python 9: Interview with Bruce Eckel | Ehud Lamm | 3 | 05/31/2001 |
Scott Meyers: Future directions for C++. | Ehud Lamm | 1 | 05/27/2001 |
.Net x 2 + Mozart | andrew cooke | 2 | 05/28/2001 |
Why Threads Are A Bad Idea (and E) | andrew cooke | 1 | 05/26/2001 |
Java 1.4 adds Assertions | Ehud Lamm | 1 | 05/25/2001 |
Java-based supercomputing | Ehud Lamm | 1 | 05/25/2001 |
strange problem | Ehud Lamm | 3 | 05/25/2001 |
IBM releases web-services flow language | andrew cooke | 1 | 05/24/2001 |
Templates (C++, FPLs) | andrew cooke | 1 | 05/24/2001 |
DJGPP | Lai | 2 | 05/23/2001 |
Python Cookbook | andrew cooke | 6 | 05/25/2001 |
Prolog (database) | Lai | 10 | 05/23/2001 |
Will Java always be slower than C++ | Ehud Lamm | 8 | 05/23/2001 |
The Evolution of Lisp | Biep | 3 | 05/22/2001 |
Hat - The Haskell Tracer | andrew cooke | 4 | 05/22/2001 |
Heap Profiling for Space Efficiency | andrew cooke | 1 | 05/22/2001 |
On the Flexibility of Programming Languages | Chris Rathman | 1 | 05/21/2001 |
Comprehending Monads | andrew cooke | 1 | 05/20/2001 |
Programming Competition | andrew cooke | 1 | 05/18/2001 |
C Books | andrew cooke | 2 | 05/18/2001 |
Functional Programming Archive | andrew cooke | 2 | 05/22/2001 |
Dynamic Languages Panel download | andrew cooke | 2 | 05/20/2001 |
Perl Exegesis (examples) | andrew cooke | 2 | 05/16/2001 |
Adaptive Software | andrew cooke | 1 | 05/15/2001 |
Python, Redux | Chris Rathman | 1 | 05/14/2001 |
The VB.NET Hillbillies | Chris Rathman | 1 | 05/14/2001 |
Ada-Europe'2001 | Ehud Lamm | 3 | 05/13/2001 |
Generics & Java | Chris Rathman | 2 | 05/12/2001 |
Python, XML, .NET - Lutz Interview | andrew cooke | 1 | 05/11/2001 |
Today! - Dynamic Languages Wizards Panel | Ehud Lamm | 12 | 05/11/2001 |
Design Principles Behind Smalltalk | Ehud Lamm | 1 | 05/10/2001 |
Handling Graphs in Functional PLs | andrew cooke | 1 | 05/10/2001 |
Janos VM is available | Ehud Lamm | 1 | 05/09/2001 |
Simula and Smalltalk: A Social and Political History | Ehud Lamm | 6 | 05/10/2001 |
How fundamental is information? | Ehud Lamm | 5 | 05/12/2001 |
Google stops indexing these servers | Ehud Lamm | 6 | 05/09/2001 |
FP in Python | andrew cooke | 1 | 05/08/2001 |
FACT - Multiparadigm Programming with C++ | andrew cooke | 4 | 05/08/2001 |
99 Bottles: Take one down... | Chris Rathman | 2 | 05/07/2001 |
Haskell Simulator of Quantum Computer | Ehud Lamm | 1 | 05/06/2001 |
Type Theory for Certified Code | Ehud Lamm | 1 | 05/05/2001 |
The Objective-C Language | Chris Rathman | 2 | 05/04/2001 |
Microsoft vs. Open Source | Ehud Lamm | 1 | 05/04/2001 |
Lisp History | andrew cooke | 3 | 05/04/2001 |
Further information on "Beating The Averages" | Brad Knotwell | 7 | 05/04/2001 |
Simple explanation of Continuation Passing | andrew cooke | 10 | 05/05/2001 |
Java IAQ: Infrequently Asked Questions | Chris Rathman | 1 | 05/03/2001 |
Python Iterators (proposal) | Ehud Lamm | 1 | 05/02/2001 |
EJB 2.0 Proposed Final Draft 2 | Chris Rathman | 1 | 05/02/2001 |
Usefullness of Assertions in C | Chris Rathman | 2 | 05/02/2001 |
(Lisp) Beating the Averages | andrew cooke | 6 | 05/04/2001 |
Comparing Two Garbage Collectors for C++ | Ehud Lamm | 2 | 05/01/2001 |
Garbage Collection Can Be Faster Than Stack Allocation | Ehud Lamm | 1 | 05/01/2001 |
Uniprocessor Garbage Collection Techniques | Ehud Lamm | 2 | 04/30/2001 |
elj Roundup | andrew cooke | 1 | 04/30/2001 |
Eric S. Raymond - Why Python? | Ehud Lamm | 1 | 04/29/2001 |
Q - Equational Programming Language | andrew cooke | 1 | 04/29/2001 |
RDF Applications in Prolog | Ehud Lamm | 1 | 04/28/2001 |
BRICS Activities | Ehud Lamm | 1 | 04/27/2001 |
Mercury Programming Language | Chris Rathman | 13 | 04/26/2001 |
Meta-interpretation | Ehud Lamm | 1 | 04/25/2001 |
Scheme as a web server language/OS | andrew cooke | 2 | 04/25/2001 |
Scheme as a web server language/OS | Biep | 3 | 04/25/2001 |
Links to JFP Papers | andrew cooke | 2 | 04/25/2001 |
Literature on Programming Languages | Ehud Lamm | 4 | 04/26/2001 |
Posting to front page (Pliant!) | andrew cooke | 1 | 04/23/2001 |
Future Directions for C++ | Chris Rathman | 17 | 04/26/2001 |
Pliant | pixel | 1 | 04/23/2001 |
Computability and Recursion | Ehud Lamm | 3 | 04/23/2001 |
Jython Servlet | Brian Zhou | 2 | 04/22/2001 |
The Zen of Python (by Tim Peters) | Ehud Lamm | 1 | 04/22/2001 |
Free Zope Hosting | Ehud Lamm | 1 | 04/21/2001 |
APL2001 - An Arrays Odyssey | Ehud Lamm | 1 | 04/21/2001 |
Squeak books | Chris Rathman | 3 | 04/22/2001 |
Server-side scripting languages | Ehud Lamm | 10 | 04/23/2001 |
Quickies (GHC/OO-FP/Generative P) | andrew cooke | 1 | 04/19/2001 |
Polymorphism from a type-oriented point of view | Chris Rathman | 1 | 04/18/2001 |
Java History | Ehud Lamm | 1 | 04/18/2001 |
Misc | Ehud Lamm | 1 | 04/18/2001 |
A practical lambda-calculator | Ehud Lamm | 2 | 04/19/2001 |
Patterns for Domain Specific Languages | Ehud Lamm | 1 | 04/17/2001 |
Slashdot: Python + Ruby | andrew cooke | 6 | 04/20/2001 |
Scripting: Higher Level Programming | Ehud Lamm | 2 | 04/16/2001 |
FunDeps (Type classes, databases and more) | andrew cooke | 2 | 04/16/2001 |
pyAda | Ehud Lamm | 1 | 04/15/2001 |
XML and Scheme (SXML) | Ehud Lamm | 1 | 04/15/2001 |
Squeak at 3.0 | Chris Rathman | 3 | 04/15/2001 |
Semiotics for Beginners | Ehud Lamm | 1 | 04/13/2001 |
Updated topic indexes | Chris Rathman | 2 | 04/13/2001 |
ambiguous sentences | Ehud Lamm | 1 | 04/13/2001 |
Java Design Flaws | Ehud Lamm | 1 | 04/12/2001 |
Interpreter Construction Framework | Ehud Lamm | 1 | 04/12/2001 |
A survey of optimization techniques | Ehud Lamm | 1 | 04/11/2001 |
An Analysis of the Divergence of Two Sather Dialects | Ehud Lamm | 1 | 04/11/2001 |
Iteration Abstraction in Sather | Ehud Lamm | 8 | 04/12/2001 |
A Perl Hacker in the Land of Python | Ehud Lamm | 1 | 04/09/2001 |
Continuation examples | Ehud Lamm | 1 | 04/09/2001 |
Defining predicate | Lai | 3 | 04/09/2001 |
Haskell + Xml | andrew cooke | 1 | 04/08/2001 |
Curl on /. + Quickies | andrew cooke | 4 | 04/11/2001 |
Natural Language Programming | andrew cooke | 5 | 04/11/2001 |
Flow Based Programming | andrew cooke | 1 | 04/06/2001 |
"Maths is true by accident." | Oleg | 3 | 04/05/2001 |
Optimizations | Ehud Lamm | 1 | 04/05/2001 |
C# interview / OOP in any language | andrew cooke | 7 | 04/05/2001 |
Catching more errors at compile with Generic Java | Ehud Lamm | 1 | 04/04/2001 |
Larry Wall on Perl6 | andrew cooke | 3 | 04/04/2001 |
Missing Medium | andrew cooke | 1 | 04/03/2001 |
Bertrand Meyer Online Interview | Ehud Lamm | 3 | 04/04/2001 |
Hits + Speed | andrew cooke | 3 | 04/03/2001 |
Visual Haskell | andrew cooke | 1 | 04/03/2001 |
Vyper | andrew cooke | 1 | 04/02/2001 |
Lambda Calculi : A Guide for Computer Scientists - Hankin | Ehud Lamm | 2 | 04/03/2001 |
Test Shows 99.99% of High School Seniors Can't Read Perl | Ehud Lamm | 1 | 04/01/2001 |
Jobs | andrew cooke | 12 | 04/05/2001 |
Quickies | andrew cooke | 1 | 03/31/2001 |
Curl goes to 1.0 Release | Pam | 1 | 03/30/2001 |
Programming with pictures | andrew cooke | 2 | 03/30/2001 |
Notation as a Tool of Thought - Kenneth E. Iverson | Ehud Lamm | 1 | 03/29/2001 |
Tunes | Ehud Lamm | 1 | 03/29/2001 |
The TUNES Problem | water | 3 | 03/29/2001 |
Labanotation | Ehud Lamm | 1 | 03/29/2001 |
J2EEConnector Specification | Ehud Lamm | 1 | 03/28/2001 |
Lambda Dance | andrew cooke | 2 | 03/27/2001 |
(Elegant) Recursive Ascent Parsing | andrew cooke | 1 | 03/27/2001 |
Sharing Code through First-class Environments | Ehud Lamm | 13 | 03/30/2001 |
More Papers | andrew cooke | 2 | 03/26/2001 |
Is Design Dead? | Chris Rathman | 2 | 03/26/2001 |
Technology for e-business | Ehud Lamm | 2 | 03/26/2001 |
Metamorphic Programming | andrew cooke | 2 | 03/26/2001 |
Coding standards in C++ | Chris Rathman | 1 | 03/24/2001 |
Archived | andrew cooke | 7 | 03/24/2001 |
Depressing, but true | andrew cooke | 1 | 03/24/2001 |
C-like Functional Programming Languages | andrew cooke | 1 | 03/24/2001 |
Vier und Neun | andrew cooke | 1 | 03/23/2001 |
Using Mix-ins with Python | andrew cooke | 5 | 03/22/2001 |
Why People Aren't Using Haskell | Ehud Lamm | 4 | 03/21/2001 |
Design Patterns in Dynamic Programming | Ehud Lamm | 1 | 03/21/2001 |
Moving FP from Academia | andrew cooke | 1 | 03/21/2001 |
Object Functional Patterns | Ehud Lamm | 1 | 03/20/2001 |
Haskell v Ada v C++ v Awk v ... | andrew cooke | 3 | 03/20/2001 |
Alan J. Perlis Epigrams | Ehud Lamm | 1 | 03/19/2001 |
Category Theory for the working computer scientist | andrew cooke | 9 | 03/23/2001 |
C and system-level design | Chris Rathman | 2 | 03/19/2001 |
PROGRAMMING WITH {SETS} | Ehud Lamm | 3 | 03/21/2001 |
Logic Programming | andrew cooke | 4 | 03/18/2001 |
Software Development Magazine | andrew cooke | 1 | 03/17/2001 |
Guido on Python | andrew cooke | 1 | 03/16/2001 |
Concepts, Techniques and Models of CP | andrew cooke | 1 | 03/16/2001 |
Was Ada Lovelace the first computer programmer? | Ehud Lamm | 3 | 03/17/2001 |
Atoms as Objects? | andrew cooke | 9 | 03/17/2001 |
Bruce Eckel: Why I Love Python | Ehud Lamm | 1 | 03/15/2001 |
CFP: First workshop on multi-language infrastructure... | Ehud Lamm | 1 | 03/14/2001 |
Introduction to Lambda Calculus | Ehud Lamm | 1 | 03/13/2001 |
Saxon: The Anatomy of an XSLT processor | Ehud Lamm | 1 | 03/12/2001 |
Aspect-Oriented Programming with AspectJ™ | Ehud Lamm | 3 | 03/12/2001 |
Essentials of Programming Languages, 2e | Ehud Lamm | 1 | 03/12/2001 |
EJB discussion (and criticisms) | Chris Rathman | 1 | 03/10/2001 |
Compaq Web Language | Ehud Lamm | 1 | 03/09/2001 |
Extended Static Checking for Java | Ehud Lamm | 1 | 03/09/2001 |
The Impact of The Lambda Calculus... | Ehud Lamm | 1 | 03/08/2001 |
A skeptic's look at C# | Ehud Lamm | 2 | 03/10/2001 |
Language Support for Disributed Processing | Ehud Lamm | 3 | 03/08/2001 |
Python Helps Disney Write a New Script | Ehud Lamm | 2 | 03/07/2001 |
RFC: A Little IDL | Ehud Lamm | 1 | 03/06/2001 |
The Essence of Compiling with Continutations | Ehud Lamm | 1 | 03/05/2001 |
Linguistic Relativity Hypothesis | Ehud Lamm | 11 | 03/06/2001 |
Contributors Needed! | Ehud Lamm | 10 | 03/05/2001 |
Perl Paraphernalia | Ehud Lamm | 1 | 03/03/2001 |
Model Checking Java Programs Using Java PathFinder | Ehud Lamm | 1 | 03/01/2001 |
History of Programming Languages (Mirror Page) | Ehud Lamm | 3 | 03/01/2001 |
non plain-textual programming languages | Basile Starynkevitch | 5 | 02/28/2001 |
Jonas EJB Server | Chris Rathman | 1 | 02/27/2001 |
More typing debates! | Ehud Lamm | 1 | 02/27/2001 |
XQuery, XSLT "overlap" debated (xmlhack) | Ehud Lamm | 1 | 02/26/2001 |
GHood -- a graphical viewer for Hood | Ehud Lamm | 1 | 02/26/2001 |
Obituary: Herbert Simon | Ehud Lamm | 1 | 02/25/2001 |
Scheme on .NET | Ehud Lamm | 1 | 02/24/2001 |
Functional style in Perl | Chris Rathman | 1 | 02/24/2001 |
Alan Kay: Software Design, the Future of Programming... | Ehud Lamm | 1 | 02/23/2001 |
PSP Experiences | Ehud Lamm | 1 | 02/23/2001 |
EJB critique | Ehud Lamm | 3 | 02/23/2001 |
Identity Problems | Ehud Lamm | 2 | 02/23/2001 |
Quotes | Ehud Lamm | 1 | 02/22/2001 |
The Man Who Listens to Horses | Ehud Lamm | 4 | 02/24/2001 |
Functional Programming in Python | Chris Rathman | 3 | 02/24/2001 |
Stroustrap interview at LinuxWorld | Chris Rathman | 2 | 02/22/2001 |
XSLT Extensions Revisited | Chris Rathman | 7 | 02/24/2001 |
Tech Interview Questions | Ehud Lamm | 1 | 02/20/2001 |
Functional Images 2 | andrew cooke | 2 | 02/20/2001 |
Review of Python Books | andrew cooke | 1 | 02/20/2001 |
The Discoveries of Continuations - Reynolds | Ehud Lamm | 1 | 02/19/2001 |
Critical Acclaim | andrew cooke | 1 | 02/19/2001 |
Real Time Processing | andrew cooke | 3 | 02/19/2001 |
iContract: DbC for Java | Chris Rathman | 1 | 02/18/2001 |
Persistent Lisp (Mop Inside) | andrew cooke | 1 | 02/18/2001 |
Object-Oriented C | Chris Rathman | 3 | 02/17/2001 |
A Critique of Standard ML, Andrew Appel | Ehud Lamm | 3 | 02/17/2001 |
DBC for Lisp | andrew cooke | 2 | 02/17/2001 |
The Esoteric Programming Languages Ring | Ehud Lamm | 2 | 02/16/2001 |
F-Script programming language | Chris Rathman | 4 | 02/17/2001 |
A "Popular Science" treatment of FP/OOP? | andrew cooke | 6 | 02/16/2001 |
Typeful Programming | Ehud Lamm | 1 | 02/15/2001 |
Y Combinator in Ruby | Chris Rathman | 7 | 02/15/2001 |
FP and XML | andrew cooke | 1 | 02/15/2001 |
Comparison of Haskell (GHC) and ML (SML/NJ) | andrew cooke | 3 | 02/15/2001 |
Smalltalk-80: The Language and Its Implementation | Chris Rathman | 2 | 02/14/2001 |
OCaml on top of JVM/.NET | pixel | 2 | 02/14/2001 |
Struts, an open-source MVC implementation | Chris Rathman | 3 | 02/14/2001 |
Using Physical Dimensions | andrew cooke | 12 | 02/15/2001 |
Prolog Programming A First Course | Ehud Lamm | 1 | 02/13/2001 |
Garbage Collection and the Radioactive Decay Model | Ehud Lamm | 1 | 02/13/2001 |
Typing Haskell in Haskell | andrew cooke | 1 | 02/13/2001 |
Unix's Zoo of Languages | Ehud Lamm | 2 | 02/12/2001 |
Larry Wall interview | Ehud Lamm | 1 | 02/12/2001 |
Smalltalk-style o/p in Python | andrew cooke | 2 | 02/12/2001 |
Prolog tutorial | Ehud Lamm | 1 | 02/11/2001 |
Rearranging Haskell's Type Classes | andrew cooke | 1 | 02/11/2001 |
Continued Fraction Arithmetic - Bill Gosper | Ehud Lamm | 4 | 10/09/2002 |
SMLNJ RIP? | andrew cooke | 11 | 02/09/2001 |
Sociology of Language Development (Python) | andrew cooke | 6 | 02/09/2001 |
Embedding Prolog into Haskell | Ehud Lamm | 1 | 02/09/2001 |
SILK - A Playful Blend of Scheme and Java | Ehud Lamm | 1 | 02/09/2001 |
First Course Language List | Ehud Lamm | 4 | 02/09/2001 |
The 8th International Static Analysis Symposium | Ehud Lamm | 1 | 02/08/2001 |
Interface based programming | Ehud Lamm | 5 | 02/08/2001 |
Cultured Perl: Perl 5.6 for C and Java programmers | Ehud Lamm | 1 | 02/06/2001 |
Computing Curricula 2001 | Ehud Lamm | 10 | 02/08/2001 |
Quilt: an XML Query Language | Ehud Lamm | 5 | 02/09/2001 |
G. Castagna. Covariance and contravariance: conflict without | Ehud Lamm | 1 | 02/05/2001 |
End-User XML oriented proramming | Ehud Lamm | 12 | 02/08/2001 |
Intro to call-with-current-continuation | Ehud Lamm | 2 | 02/04/2001 |
Third ACM SIGPLAN Workshop on Continuations | Ehud Lamm | 1 | 02/04/2001 |
Stockhausen | andrew cooke | 1 | 02/03/2001 |
Heterogenous lists (existential types) | andrew cooke | 4 | 02/03/2001 |
elj Roundup | andrew cooke | 1 | 02/02/2001 |
Oz Grows Up | andrew cooke | 1 | 02/02/2001 |
Marco Cantù's Essential Pascal | Chris Rathman | 1 | 02/01/2001 |
XML in the technology food chain... | Chris Rathman | 2 | 02/01/2001 |
Soft Typing | andrew cooke | 1 | 02/01/2001 |
Type safety | Ehud Lamm | 1 | 01/31/2001 |
Hits hits hits! | andrew cooke | 3 | 01/31/2001 |
Poytypism in Practice | andrew cooke | 6 | 01/31/2001 |
APL Books | Ehud Lamm | 1 | 01/30/2001 |
SICP Text Online | Ehud Lamm | 1 | 01/29/2001 |
Design By Contract | Ehud Lamm | 4 | 01/29/2001 |
Death of the client | Chris Rathman | 12 | 01/31/2001 |
Algorithmic Theories of Everything | andrew cooke | 6 | 01/29/2001 |
Patterns for teaching Patterns | Chris Rathman | 2 | 01/27/2001 |
Scripted wrappers for legacy applications | Chris Rathman | 1 | 01/27/2001 |
Categories | Ehud Lamm | 10 | 01/27/2001 |
Generic Programming for Idiots | andrew cooke | 2 | 01/26/2001 |
Compiling with Continuations | Ehud Lamm | 3 | 01/26/2001 |
Covariant methods in Java | andrew cooke | 5 | 01/26/2001 |
Python 2.1 Alpha | Chris Rathman | 8 | 01/26/2001 |
Beautiful code? | Chris Rathman | 5 | 01/26/2001 |
Combinator Parsers | andrew cooke | 3 | 01/27/2001 |
Purely Functional Data Structures | andrew cooke | 9 | 01/26/2001 |
XML-RPC HOWTO | Ehud Lamm | 2 | 01/22/2001 |
Functional Images | andrew cooke | 2 | 01/21/2001 |
OpenC++ | Ehud Lamm | 1 | 01/20/2001 |
Perl Style Regular Expressions in Prolog | Ehud Lamm | 2 | 01/20/2001 |
How Do Linguists Learn Languages | Ehud Lamm | 4 | 01/20/2001 |
VB.Net and backwards compatibility | Chris Rathman | 5 | 01/20/2001 |
If I were Dean | Chris Rathman | 8 | 01/20/2001 |
Eiffel Struggle Results | Ehud Lamm | 1 | 01/18/2001 |
SNOBOL Tutorial and Reference | Chris Rathman | 3 | 01/18/2001 |
Tips to make you a better XSLT programmer | Ehud Lamm | 1 | 01/16/2001 |
Unicon - Unified Extended Dialect of Icon | Chris Rathman | 1 | 01/16/2001 |
SQL for Smarties | Ehud Lamm | 3 | 01/16/2001 |
XSL on the client | Ehud Lamm | 6 | 01/15/2001 |
Windows Scripting | Chris Rathman | 1 | 01/15/2001 |
Scheme & Lisp Language War | Chris Rathman | 4 | 01/19/2001 |
OCaml Tutorials and Summary | andrew cooke | 3 | 01/14/2001 |
(Systems) Software Research is Irrelevant | andrew cooke | 10 | 01/13/2001 |
Understanding Lispishness | andrew cooke | 5 | 01/13/2001 |
C# Literature and Interviews | Ehud Lamm | 1 | 01/11/2001 |
ACM Classic of the Month | Ehud Lamm | 3 | 01/13/2001 |
Alice and computer programming for everybody | Chris Rathman | 6 | 01/13/2001 |
XSL: 99 Bottles of Beer | Chris Rathman | 4 | 01/12/2001 |
JOVIAL | Ehud Lamm | 3 | 01/10/2001 |
Anti-Java Article | Zach Garner | 3 | 01/09/2001 |
While on the topic of generic programming | Ehud Lamm | 4 | 01/11/2001 |
Compilers and Compiler Generators | andrew cooke | 2 | 01/08/2001 |
Comparisons between languages for performance. | pixel | 8 | 01/06/2001 |
More on Curl | andrew cooke | 4 | 01/05/2001 |
Bash Reference Manual | Chris Rathman | 4 | 01/05/2001 |
History of APL and J | Ehud Lamm | 15 | 01/06/2001 |
Programming Language Use Breakdown | Ehud Lamm | 3 | 01/05/2001 |
diagram & history of languages | pixel | 2 | 01/04/2001 |
Math for the Layman, by Dr. Ken Iverson | Ehud Lamm | 1 | 01/04/2001 |
Language testers wanted | andrew cooke | 2 | 01/04/2001 |
Testing Graphical Applications | Chris Rathman | 3 | 01/04/2001 |
Infer: A Statically-typed Dialect of Scheme | Ehud Lamm | 6 | 01/03/2001 |
Roll your own with JavaCC | Chris Rathman | 3 | 01/04/2001 |
Generic Programming | Ehud Lamm | 7 | 01/04/2001 |
Interesting discussion on almost everything | andrew cooke | 1 | 01/01/2001 |
diagram & history of programming languages | pixel | 8 | 01/01/2001 |
after vertical layout, what about horizontal layout? | pixel | 10 | 01/02/2001 |
Programming Language Exploration | pixel | 1 | 12/31/2000 |
So long, Ada | andrew cooke | 2 | 12/30/2000 |
Bytecode translation | Ehud Lamm | 1 | 12/29/2000 |
Targeting the JVM | Ehud Lamm | 1 | 12/28/2000 |
Empirical Results | Ehud Lamm | 3 | 12/26/2000 |
Closures in Python | Chris Rathman | 1 | 12/25/2000 |
Efficient tree searches in Logic Languages | Chris Rathman | 3 | 12/25/2000 |
We need contributors! | Ehud Lamm | 1 | 12/25/2000 |
.NET classes in Ada | Ehud Lamm | 1 | 12/22/2000 |
Introduction to Standard ML | Chris Rathman | 4 | 12/25/2000 |
Holidays | andrew cooke | 1 | 12/20/2000 |
Gardens Point Component Pascal | Chris Rathman | 1 | 12/18/2000 |
DigitaScript: Scripting Language for Digital Cameras | Chris Rathman | 3 | 12/18/2000 |
Prolog Tutorial | andrew cooke | 1 | 12/16/2000 |
The lambda C++ library | Ehud Lamm | 6 | 12/18/2000 |
HDLs and new Editors | andrew cooke | 1 | 12/15/2000 |
Exploring Randomness | andrew cooke | 1 | 12/15/2000 |
C++ -> HDL | zarblarj | 1 | 12/14/2000 |
Avoiding Language Advocacy | Chris Rathman | 2 | 12/15/2000 |
Self | Ehud Lamm | 5 | 12/14/2000 |
Theoretical Foundations of Programming Languages... | Ehud Lamm | 1 | 12/10/2000 |
Compiling Perl | andrew cooke | 1 | 12/08/2000 |
A Language Based-Approach to Security | Chris Rathman | 3 | 12/07/2000 |
Continuations | Ehud Lamm | 2 | 12/06/2000 |
SNOBOL T-Shirt | Zach Garner | 2 | 12/06/2000 |
C9X - The New ISO Standard for C | Chris Rathman | 2 | 12/06/2000 |
Logic Programming book | Ehud Lamm | 1 | 12/05/2000 |
Modula-4 | Ehud Lamm | 3 | 12/06/2000 |
Playing around - Lambda Topics | Chris Rathman | 2 | 12/06/2000 |
Reflection in Ruby | Chris Rathman | 1 | 12/05/2000 |
Tail call optimizations in GCC | Ehud Lamm | 3 | 12/05/2000 |
Notes on C# | andrew cooke | 1 | 12/04/2000 |
Smalltalk lecture notes | Ehud Lamm | 3 | 12/04/2000 |
Programming a functional future | Chris Rathman | 1 | 12/01/2000 |
Python and Linguistics | Chris Rathman | 1 | 12/01/2000 |
Transact-SQL Programming | Chris Rathman | 1 | 12/01/2000 |
Simkin goes opensource | Ehud Lamm | 1 | 11/30/2000 |
Lambda the Ultimate Sweatshirt | Ehud Lamm | 1 | 11/30/2000 |
Haskell Store | Ehud Lamm | 1 | 11/29/2000 |
Toontalk - Logic programming made easy-peasy | andrew cooke | 2 | 11/29/2000 |
Programming languages and Language | Chris Rathman | 1 | 11/28/2000 |
.NET Questions? | andrew cooke | 6 | 11/30/2000 |
Looking for some data | Ehud Lamm | 1 | 11/27/2000 |
Co- and Contra-variance | andrew cooke | 1 | 11/27/2000 |
Mondrian | Ehud Lamm | 1 | 11/23/2000 |
New Language: XEXPR | andrew cooke | 6 | 11/25/2000 |
Lexical scoping in Python | andrew cooke | 1 | 11/21/2000 |
Programming Languages for Scientific Processing | Chris Rathman | 7 | 11/20/2000 |
An Overview of Miranda | Ehud Lamm | 4 | 11/20/2000 |
Feedback on Article? | andrew cooke | 1 | 11/18/2000 |
C++ Templates as Partial Evaluation | Chris Rathman | 2 | 11/18/2000 |
Strong Typing - Comparison of ML with Pascal & C | Chris Rathman | 11 | 11/20/2000 |
New language - Axel | andrew cooke | 1 | 11/17/2000 |
(Text) Adventures in Prolog | andrew cooke | 1 | 11/16/2000 |
Comparative Regexps | andrew cooke | 1 | 11/15/2000 |
C-- (portable assembly language) | andrew cooke | 1 | 11/15/2000 |
Perl and the Lambda Calculus | Chris Rathman | 3 | 11/13/2000 |
Eiffel Seperate Classes and Java | Chris Rathman | 2 | 11/11/2000 |
Parsing in Lisp and Caml | andrew cooke | 1 | 11/10/2000 |
Stats? | andrew cooke | 5 | 11/09/2000 |
Why did Python Grow? | andrew cooke | 5 | 11/10/2000 |
New Languages, Old Logic | Chris Rathman | 1 | 11/07/2000 |
Interesting Icon Papers | Ehud Lamm | 6 | 11/07/2000 |
What is Stackless Python? | Chris Rathman | 1 | 11/06/2000 |
Once a COBOL programmer... | Chris Rathman | 1 | 11/06/2000 |
Lisp In Small Pieces | Ehud Lamm | 2 | 11/07/2000 |
Structure & Interpretation of Computer Programs | Chris Rathman | 4 | 11/06/2000 |
Successful Scheme | Chris Rathman | 2 | 11/03/2000 |
Testing Framework | Chris Rathman | 3 | 11/02/2000 |
Future Perl | andrew cooke | 1 | 10/31/2000 |
WMLScript: Learning the Basics (part 1) | Chris Rathman | 1 | 10/30/2000 |
More .NET info from elj | andrew cooke | 2 | 10/30/2000 |
State of the Onion 2000 | Chris Rathman | 1 | 10/26/2000 |
Top 5 Tech Books | Chris Rathman | 3 | 10/30/2000 |
Java Precisely | Chris Rathman | 1 | 10/25/2000 |
Discussion Group | Ehud Lamm | 4 | 10/25/2000 |
Funk | andrew cooke | 4 | 10/25/2000 |
Possibly interesting discussion | Ehud Lamm | 1 | 10/23/2000 |
A Simple Reflective Interpreter | Ehud Lamm | 11 | 10/27/2000 |
OO Jokes | Ehud Lamm | 1 | 10/20/2000 |
Stackless Python Roadmap | Chris Rathman | 1 | 10/18/2000 |
Generic Java | andrew cooke | 3 | 10/16/2000 |
Functional Python | Chris Rathman | 2 | 10/15/2000 |
Clean Shapes | Chris Rathman | 1 | 10/12/2000 |
Fixing Java Threading | Chris Rathman | 2 | 10/11/2000 |
Introduction to Stackless Python | Chris Rathman | 1 | 10/11/2000 |
.NET etc. | Ehud Lamm | 5 | 10/10/2000 |
Concurrent OCaml | Ehud Lamm | 2 | 10/10/2000 |
Programming On Windows CE | Ehud Lamm | 5 | 10/10/2000 |
Porting the Clean Object I/O library to Haskell | Chris Rathman | 1 | 10/06/2000 |
Functional Programming in Clean | Chris Rathman | 1 | 10/06/2000 |
Mercury on .NET - what next? | andrew cooke | 3 | 10/08/2000 |
Java Spec Report | Chris Rathman | 1 | 09/29/2000 |
Interview With Bjarne Stroustrup | Chris Rathman | 1 | 09/29/2000 |
Comparing Ada and C | Ehud Lamm | 5 | 09/29/2000 |
ICFP results | andrew cooke | 2 | 09/26/2000 |
To Dissect a Mockingbird | Ehud Lamm | 2 | 09/26/2000 |
Introduction to Programming Languages (book) | Ehud Lamm | 1 | 09/25/2000 |
Programming Paradigm Deabte | Ehud Lamm | 1 | 09/24/2000 |
Design Principles and Design Patterns (OOD) | Ehud Lamm | 2 | 09/23/2000 |
The Why of Y | Ehud Lamm | 4 | 09/21/2000 |
Principal Typings | Ehud Lamm | 1 | 09/20/2000 |
The Retrocomputing Museum | Ehud Lamm | 2 | 09/19/2000 |
The Pragmatic Programmer | Chris Rathman | 1 | 09/18/2000 |
Dead Languages Society | Chris Rathman | 1 | 09/17/2000 |
Genericity in Java | Ehud Lamm | 3 | 09/20/2000 |
A Language Community? | Ehud Lamm | 1 | 09/14/2000 |
Sisal Programming language | Chris Rathman | 4 | 09/15/2000 |
Library of data strcutres in a functional language | Ehud Lamm | 1 | 09/13/2000 |
Lambda the Ultimate | Ehud Lamm | 1 | 09/12/2000 |
An Introduction to Lambda Calculus and Scheme | Ehud Lamm | 1 | 09/12/2000 |
The TYPES Fourm | Ehud Lamm | 1 | 09/10/2000 |
Semantics | Ehud Lamm | 1 | 09/10/2000 |
Syntax-diagram generator for YACC grammars | Ehud Lamm | 1 | 09/09/2000 |
REXX | Ehud Lamm | 1 | 09/09/2000 |
An Interview with A. Stepanov | Chris Rathman | 6 | 09/09/2000 |
New survey! | Ehud Lamm | 1 | 09/07/2000 |
Decompilation | Ehud Lamm | 1 | 09/07/2000 |
Functions in XSL | Chris Rathman | 7 | 09/08/2000 |
Interview with Guido van Rossum | andrew cooke | 3 | 09/07/2000 |
Interview with Brian Kernighan | Ehud Lamm | 5 | 09/06/2000 |
XSL as a Programming Language? | Chris Rathman | 17 | 09/07/2000 |
Lisp in Java (a walk through) | Ehud Lamm | 1 | 09/04/2000 |
Adaptive Programming Book | andrew cooke | 1 | 09/03/2000 |
Languages for the JVM | Ehud Lamm | 2 | 09/04/2000 |
C# Features | Ehud Lamm | 9 | 09/06/2000 |
The Dylan Reference Manual | Ehud Lamm | 1 | 09/01/2000 |
Updates on ICFP + OCaml book | andrew cooke | 1 | 09/01/2000 |
Free compiler & language tools | Ehud Lamm | 1 | 09/01/2000 |
Oz news | andrew cooke | 1 | 09/01/2000 |
Scheme Tutorial (book) | Ehud Lamm | 3 | 09/01/2000 |
Dylan comments... | Chris Rathman | 7 | 08/31/2000 |
The Lambda-calculus, Combinatory Logic, and Type Systems | Ehud Lamm | 2 | 08/29/2000 |
Erlang | Ehud Lamm | 5 | 08/29/2000 |
Research Papers | Ehud Lamm | 1 | 08/28/2000 |
Course: Non-imperative programming | Ehud Lamm | 1 | 08/28/2000 |
Agent Oriented Programming | andrew cooke | 1 | 08/28/2000 |
Multivariate Regression | Chris Rathman | 6 | 08/28/2000 |
More on J | Ehud Lamm | 5 | 08/29/2000 |
I am back! | Ehud Lamm | 1 | 08/26/2000 |
ICFP Competition | andrew cooke | 3 | 08/28/2000 |
Object/Structured History | andrew cooke | 2 | 08/26/2000 |
Constraint Languages | andrew cooke | 2 | 08/26/2000 |
VHLLs | andrew cooke | 3 | 08/26/2000 |
History of Programming Languages | Zach Garner | 2 | 08/24/2000 |
Expressiveness of Declarative Languages | andrew cooke | 4 | 08/23/2000 |
Declarative or Inferential? | andrew cooke | 4 | 08/22/2000 |
Implementing Functional Languages (BUT...) | andrew cooke | 3 | 08/20/2000 |
More Haste, Less Speed | andrew cooke | 9 | 08/20/2000 |
APL, J, Hardware | andrew cooke | 4 | 08/19/2000 |
Language and Syntax | andrew cooke | 6 | 08/18/2000 |
Languages for Scientific Processing | andrew cooke | 2 | 08/15/2000 |
OCaml Translation and Functional Objects | andrew cooke | 1 | 08/15/2000 |
OCaml book online | andrew cooke | 4 | 08/15/2000 |
Popularity of (Functional) Languages | andrew cooke | 1 | 08/12/2000 |
C# review | andrew cooke | 2 | 08/10/2000 |
C# details (and .NET SDK) | andrew cooke | 4 | 08/10/2000 |
Vacation | Ehud Lamm | 1 | 08/08/2000 |
'The Design and Implementation of Programming Languages' | Ehud Lamm | 1 | 08/08/2000 |
Book in Honour of Robin Milner | Ehud Lamm | 1 | 08/08/2000 |
The power of small ideas | Ehud Lamm | 5 | 08/08/2000 |
'A Functional Pattern System for Object-Oriented Design' | Ehud Lamm | 1 | 08/07/2000 |
Advanced Programming Language Design (Finkel) | Ehud Lamm | 9 | 01/11/2003 |
Concurrency | andrew cooke | 2 | 08/06/2000 |
Ooops | andrew cooke | 1 | 08/05/2000 |
Delphi?!! | Ehud Lamm | 13 | 08/07/2000 |
Kamin book | Ehud Lamm | 1 | 08/03/2000 |
Interpreters? | Ehud Lamm | 1 | 08/01/2000 |
All sorts of links | Ehud Lamm | 3 | 08/02/2000 |
Language Design Documents | Ehud Lamm | 1 | 07/31/2000 |
Unified languages? | Ehud Lamm | 4 | 07/31/2000 |
New surveys!! | Ehud Lamm | 1 | 07/30/2000 |
How to approach? | Ehud Lamm | 4 | 07/31/2000 |
Surveys | Ehud Lamm | 3 | 07/30/2000 |
Courses Home Pages | Ehud Lamm | 1 | 07/29/2000 |
Welcome! | Ehud Lamm | 2 | 07/29/2000 |
Feedback | Ehud Lamm | 1 | 07/29/2000 |
FAQ | Ehud Lamm | 1 | 07/29/2000 |
It Worked! | Ehud Lamm | 1 | 07/28/2000 |