Posts By: Anton van Straaten
| Date | Post | Topic |
| 01/02/2012 | Deca, an LtU-friendly bare metal systems programming language | Deca, an LtU-friendly bare metal systems programming language |
| 01/02/2012 | <a href="deca#comment-68750" class="active">...or did virtual machines</a> | Deca, an LtU-friendly bare metal systems programming language |
| 01/02/2012 | <a href="deca#comment-68763" class="active">About caring</a> | Deca, an LtU-friendly bare metal systems programming language |
| 01/02/2012 | <a href="deca#comment-68762" class="active">In the story submission</a> | Deca, an LtU-friendly bare metal systems programming language |
| 11/06/2011 | Exceptions are those that | extending functions vs. extending objects |
| 11/02/2011 | Bring on the zombie horses | The Experimental Effectiveness of Mathematical Proof |
| 11/02/2011 | As Abelson & Sussman almost wrote... | The Experimental Effectiveness of Mathematical Proof |
| 06/06/2011 | "But no simpler" is too strong | Rob Pike: Public Static Void |
| 06/07/2011 | That's true, but I think the | Rob Pike: Public Static Void |
| 06/07/2011 | Nitpick accepted | Rob Pike: Public Static Void |
| 03/22/2011 | Human thinking is a function of human learning | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/22/2011 | The notion of an object is | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/23/2011 | An object is quite simply a | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/23/2011 | That weird clash is providing | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/24/2011 | Agreed | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/24/2011 | The map is not the... | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/23/2011 | At least this thread is an | Keyword and Optional Arguments in PLT Scheme |
| 03/18/2011 | Missed the news? | Keyword and Optional Arguments in PLT Scheme |
| 12/05/2010 | Misdirection | Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit |
| 11/09/2010 | No lambda calculus uses tape | Lambda the Ultimate seems an Overstatement (not) |
| 11/09/2010 | Abstract away the itch | Lambda the Ultimate seems an Overstatement (not) |
| 11/10/2010 | A spoonful of sugar | Lambda the Ultimate seems an Overstatement (not) |
| 11/12/2010 | Jammin' | Lambda the Ultimate seems an Overstatement (not) |
| 11/13/2010 | Verbs are more provocative | Lambda the Ultimate seems an Overstatement (not) |
| 11/13/2010 | Not if you want to be taken seriously | Lambda the Ultimate seems an Overstatement (not) |
| 11/10/2010 | A solution | Lambda the Ultimate seems an Overstatement (not) |
| 11/11/2010 | Example | Lambda the Ultimate seems an Overstatement (not) |
| 10/13/2010 | Finally! | Design Principles Behind Smalltalk |
| 09/02/2010 | You should always listen to Dijkstra | Sapir-Whorf 70 years on |
| 09/04/2010 | Subject lines hurt so good | Sapir-Whorf 70 years on |
| 08/16/2010 | Sorry, but | The ideal style/system for namespaces. |
| 08/14/2010 | Simple modules offer a simple solution | The ideal style/system for namespaces. |
| 08/14/2010 | Musty old wiki pages | The ideal style/system for namespaces. |
| 08/04/2010 | Exchange of ideas | CUFP 2010 |
| 08/04/2010 | Open source may be a bad requirement | CUFP 2010 |
| 08/01/2010 | Macros | Looking for a language like... |
| 07/20/2010 | Terminology has context | The Future of C# |
| 06/23/2010 | Not so surprising | happy rebirth day, LtU NG! |
| 06/09/2010 | If only we had some way of computing things | Racket Released |
| 05/18/2010 | Context | The War on Spam |
| 05/11/2010 | Admin note | DesignerUnits |
| 05/07/2010 | Update | Spam filters |
| 04/22/2010 | Contracts are lazy in that | SEC interested in formalising contracts ... in Python |
| 05/04/2010 | usacm | SEC interested in formalising contracts ... in Python |
| 04/23/2010 | Pres Kennedy on PL research | seL4: Formal Verification of an Operating-System Kernel |
| 06/21/2010 | Atanassowism has its benefits | seL4: Formal Verification of an Operating-System Kernel |
| 03/20/2010 | Thanks, fixed. | First-class environments. Discuss. ;) |
| 03/22/2010 | functional discourse | First-class environments. Discuss. ;) |
| 03/22/2010 | Thanks | First-class environments. Discuss. ;) |
| 03/23/2010 | ♫♫♪♫♪ Feelings... whoa oh oh feelings...♫♫♪♫ | First-class environments. Discuss. ;) |
| 03/07/2010 | Why do you need normal order | LISP basis for computable functions on S-Expressions. |
| 02/28/2010 | Stateless state | Advantages of Purity |
| 03/01/2010 | Not binary | Advantages of Purity |
| 03/01/2010 | Composition at function boundaries | Advantages of Purity |
| 01/22/2010 | It's probably our bug. | see history of things i started (vs. commented on)? |
| 01/26/2010 | Could it have been this post? | see history of things i started (vs. commented on)? |
| 01/20/2010 | Upgrade may not be enough | indentation yet again? |
| 01/20/2010 | What problem are you seeing? | indentation yet again? |
| 12/18/2009 | An Innocent Model of Linear Logic | An Innocent Model of Linear Logic |
| 12/18/2009 | Lifted | Claiming Infinity |
| 12/02/2009 | The purpose of PL | Top rated programming conferences? |
| 11/12/2009 | A more important result than anticipated | Explanation of Computer Theory for Lawyers |
| 11/12/2009 | I can only speak for... | Explanation of Computer Theory for Lawyers |
| 11/12/2009 | I haven't finished the | Explanation of Computer Theory for Lawyers |
| 11/13/2009 | A universal machine does | Explanation of Computer Theory for Lawyers |
| 11/11/2009 | And what a story | Go or Unladen Swallow? |
| 11/10/2009 | Scheduled downtime | Scheduled downtime |
| 11/11/2009 | Migration completed | Scheduled downtime |
| 11/07/2009 | Done | Haskell Type Constraints Unleashed |
| 10/29/2009 | Can LP be used for anything other | Literate Programming: Retrospect and Prospects |
| 11/12/2009 | Debunking the named literate chunk myth | Literate Programming: Retrospect and Prospects |
| 10/21/2009 | Don't be hasty about laziness | Erik Meijer's MSDN Channel 9 lecture series on functional programming |
| 09/29/2009 | Schlep, JMacro | How to respect language styles while translating? |
| 09/26/2009 | Pseudocode wasn't always executable | Why Pseudo-Code? |
| 09/18/2009 | Proceedings | ICFP 2009 Proceedings |
| 09/19/2009 | Previously... | Noop: Google Language for the JVM |
| 09/17/2009 | Different GOAL | Coders at Work |
| 09/17/2009 | Java | Coders at Work |
| 09/13/2009 | Analogy with 'let' | Background of call/cc |
| 09/13/2009 | Primitive attraction | Background of call/cc |
| 09/15/2009 | Burrowing | Background of call/cc |
| 09/06/2009 | Curry-Howard | Logic operations on types |
| 08/22/2009 | Strategy Committee | Scheme to be split into two languages |
| 08/20/2009 | Glad that's resolved! | Why determinism matters in language design. |
| 08/20/2009 | Non-deterministic, both ways, in the snow | Why determinism matters in language design. |
| 08/25/2009 | Gently down the stream | Why determinism matters in language design. |
| 08/17/2009 | True may be true, but | Kinds of Null |
| 06/15/2009 | One to go | GRS vs LTRS |
| 06/11/2009 | Wrong objection | Job trends |
| 06/12/2009 | Out of character | Job trends |
| 06/12/2009 | Sum of all fears | Job trends |
| 06/12/2009 | Random variables in Haskell | Bridging the informal and the formal |
| 06/07/2009 | [admin] | A Case for Gestures/Visualizations and Against Concrete Syntax |
| 06/08/2009 | Retconning | A Case for Gestures/Visualizations and Against Concrete Syntax |
| 06/10/2009 | Barriers to entry and exit | A Case for Gestures/Visualizations and Against Concrete Syntax |
| 06/11/2009 | What I mean by "arbitrary" | A Case for Gestures/Visualizations and Against Concrete Syntax |
| 06/07/2009 | Then-contemporary work | The Myth of the Genius Programmer |
| 06/07/2009 | History is written by the victors | The Myth of the Genius Programmer |
| 06/07/2009 | Colbertian market determinism | The Myth of the Genius Programmer |
| 06/08/2009 | The reason for raising | The Myth of the Genius Programmer |
| 05/29/2009 | Optimism requires patience | Questions Five Ways |
| 05/29/2009 | Where's the light source? | Questions Five Ways |
| 05/20/2009 | Fixed in the topic, thanks. | Acknowledging the cosmic bonk/oif balance |
| 05/08/2009 | A Brief, Incomplete ... History of Programming Languages | A Brief, Incomplete ... History of Programming Languages |
| 06/09/2009 | spam-mot | Right on! |
| 05/07/2009 | what are we stepping on? | Right on! |
| 05/05/2009 | Modules & versions | dealing with spam? |
| 09/13/2009 | Direct link | Branching Time vs. Linear Time: Semantical Perspective |
| 04/14/2009 | According to the Departments | Scala Lift Off 2009 |
| 04/15/2009 | Ultimata | Scala Lift Off 2009 |
| 04/16/2009 | LtUILoCCC | Scala Lift Off 2009 |
| 04/16/2009 | Semantics has a mathematical bias | Scala Lift Off 2009 |
| 04/11/2009 | Intuitive for 7 years already | ADD 50 TO COBOL GIVING COBOL |
| 04/04/2009 | "Proper context" == refuted? | Twitter and Scala |
| 04/02/2009 | Tradeoffs | A Computer-Generated Proof that P=NP |
| 04/01/2009 | Announcing the Haskot | Announcing the Haskot |
| 04/01/2009 | Special occasions | Announcing the Haskot |
| 03/22/2009 | Post-mortem | Site problems |
| 03/22/2009 | SQL is a leaky abstraction | Site problems |
| 03/04/2009 | Technicalities | The Meta-LtU Thread |
| 03/08/2009 | There is no λ in team | The Meta-LtU Thread |
| 03/07/2009 | This thread is meta-stasizing | The Meta-LtU Thread |
| 03/06/2009 | In Just Seven Days... | The Meta-LtU Thread |
| 03/07/2009 | Blogger? | The Meta-LtU Thread |
| 03/01/2009 | Don't reduce under lambda | implementing by-value reduction in lambda calculus |
| 03/02/2009 | Reducing lambda bodies | implementing by-value reduction in lambda calculus |
| 03/02/2009 | Applicative | implementing by-value reduction in lambda calculus |
| 03/02/2009 | Reductions | implementing by-value reduction in lambda calculus |
| 02/05/2009 | Lisp Conference, March 22-25 | Lisp Conference, March 22-25 |
| 02/09/2009 | We can only hope | PL Grand Challenges |
| 02/10/2009 | Mellah yellah | PL Grand Challenges |
| 01/19/2009 | Alternatives | Macro systems |
| 01/19/2009 | More on syntax-case | Macro systems |
| 01/20/2009 | Agreed | Macro systems |
| 01/22/2009 | Anything is possible at zombo.com^Wsyntax-case | Macro systems |
| 01/22/2009 | Useful when you have two left shoes | Macro systems |
| 01/22/2009 | Re: Aside | Macro systems |
| 12/25/2008 | Plzeňer | If Programming Languages were <T> |
| 09/25/2008 | If you can't prove it matters, it probably doesn't | Multiple inheritance with a single global ordering of classes |
| 09/29/2008 | Subprime cartoon primer | Information regarding financial crisis |
| 08/25/2008 | Industrial strength | Features of Common Lisp |
| 08/25/2008 | Implementations! Implementations! Implementations! | Features of Common Lisp |
| 08/28/2008 | Not toy, but limited | Features of Common Lisp |
| 07/23/2008 | Why allow it? | FP in D 2.0 |
| 07/08/2008 | You *better* duck! | The hits and misses of Microsoft |
| 07/08/2008 | ...Duck... Goose! | The hits and misses of Microsoft |
| 07/08/2008 | LtU variable binder | The hits and misses of Microsoft |
| 06/27/2008 | Bell Labs in quantum flux? | Request for participation |
| 06/24/2008 | Links | PUSH programming language |
| 06/23/2008 | Fixed | LASER Summerschool on Concurrency |
| 06/26/2008 | (Current) compilers only report types intermittently | Scaling Type Inference |
| 06/26/2008 | Re: Types in signatures | Scaling Type Inference |
| 06/26/2008 | No puzzle | Scaling Type Inference |
| 06/21/2008 | Classic | Pure imperative programming |
| 05/20/2008 | Contravariance for the rest of us | Scala Lift Off Unconference review |
| 05/06/2008 | The problem with mutability | programming languages and facial hair |
| 04/27/2008 | Educated speculation | is there anybody knows about the origin "Dope Vector"? |
| 04/27/2008 | Oll korrect | is there anybody knows about the origin "Dope Vector"? |
| 04/27/2008 | Computer science, Logo style | 2nd Revision of "Thoughts about the Best Introductory Language" |
| 04/24/2008 | Felleisen, Hieb & PLT Redex | On Presenting Operational Semantics |
| 04/23/2008 | Fetzer, the strong verificationist | program verification: the very idea |
| 04/27/2008 | On the purpose of heaven | program verification: the very idea |
| 04/27/2008 | definitional hazards | program verification: the very idea |
| 04/17/2008 | parent link | another issue/question/hope re: layout |
| 04/14/2008 | Imagine physics without math... | Applications of formal semantics |
| 04/11/2008 | folding with tuples | Can local variables assignments be considered pure functional without monads? |
| 04/13/2008 | Not so fast | Can local variables assignments be considered pure functional without monads? |
| 04/13/2008 | Back to unityped lists | Can local variables assignments be considered pure functional without monads? |
| 04/14/2008 | Cross-purposes? | Can local variables assignments be considered pure functional without monads? |
| 04/08/2008 | Perlis' response | Proving compositions |
| 04/27/2008 | Agreed | Static Analysis for Duck Typing |
| 04/02/2008 | Yes | Erasmus: A Modular Language for Concurrent Programming |
| 04/02/2008 | Purity, where is thy sting? | April 1st special: The War of the Worlds |
| 04/02/2008 | Maybe voters prefer bumblers? | April 1st special: The War of the Worlds |
| 04/02/2008 | Category mismatch | April 1st special: The War of the Worlds |
| 04/02/2008 | Chronological discrepancy | April 1st special: The War of the Worlds |
| 04/02/2008 | Which order? | trying to see forum+frontpage posts in order |
| 03/20/2008 | codata & friends | Role of Types in Evaluation Strategy |
| 03/07/2008 | link: State and modularity | Confused Deputies in Programming Languages |
| 02/28/2008 | Yes, but not everywhere | Is null needed? |
| 02/28/2008 | the essence of elimination | Is null needed? |
| 02/28/2008 | Clarifying & rambling | Is null needed? |
| 07/24/2008 | Risks of addressing practitioner concerns | Is null needed? |
| 08/08/2008 | Parenthetical remarks | Is null needed? |
| 07/23/2008 | For safety, import Safe. | Is null needed? |
| 02/17/2008 | Absurdumitude goes both ways | succinctness |
| 02/15/2008 | Related blogs | PL Related Blogs |
| 02/03/2008 | foreach's hidden functions | A name for this form of variable capture? |
| 02/02/2008 | Sorta | A name for this form of variable capture? |
| 02/03/2008 | We cannot implement what we cannot name? | A name for this form of variable capture? |
| 02/03/2008 | heap big trouble | A name for this form of variable capture? |
| 02/03/2008 | A name for this form of variable capture? | A name for this form of variable capture? |
| 01/31/2008 | Strategic forgiveness requests | Don't try FP in industry! |
| 01/31/2008 | In that case, | Don't try FP in industry! |
| 01/31/2008 | But it doesn't even slice bread! | Arc is released |
| 01/31/2008 | That's the stated spec | Arc is released |
| 01/27/2008 | Getting Fortress | Fortress Presentation |
| 01/26/2008 | Get it while it's hot | Really un-mutable Scheme |
| 01/23/2008 | So that's why they call it a "Power" button! | How useful is reflection, anyway? |
| 01/24/2008 | No types for the wicked | The Design and Implementation of Typed Scheme |
| 01/22/2008 | Java annotations | Compile-Time Execution in an Object Oriented Language |
| 01/16/2008 | Fixed | Flower: a new way to write web services |
| 01/30/2008 | Lambda, the ultimate... | Prediction for 2008 |
| 01/08/2008 | Pay no attention to the elephant | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/08/2008 | Reflections in the blogosphere | Io |
| 01/08/2008 | The use of trees in PLs and logic | The Land of the Terminal |
| 12/12/2007 | Already happening | CUFP write-up |
| 12/14/2007 | CS vs. physics | CUFP write-up |
| 12/14/2007 | Small electron colliders[*] are cheap | CUFP write-up |
| 12/09/2007 | 1.nth-classness | functions, statements, expressions |
| 12/09/2007 | Towards a theory... | functions, statements, expressions |
| 12/09/2007 | If ints are first-class, so are objects | functions, statements, expressions |
| 12/08/2007 | Second-class with respect to... | functions, statements, expressions |
| 12/08/2007 | serializing first-class functions | functions, statements, expressions |
| 12/09/2007 | Re: serializing functions | functions, statements, expressions |
| 12/09/2007 | Inherently fuzzy definition | functions, statements, expressions |
| 12/10/2007 | Some differences, some similarities | functions, statements, expressions |
| 12/09/2007 | Context & relativity | functions, statements, expressions |
| 12/06/2007 | There can be only /I. | poll: syntax |
| 12/07/2007 | Complex syntaxes can be friendly | poll: syntax |
| 12/11/2007 | < | poll: syntax |
| 12/13/2007 | [OT] Content of proofs | poll: syntax |
| 12/05/2007 | Fold for program semantics | Parametric datatype-genericity |
| 12/02/2007 | Not-so-strange bedfellows | Monadic and Substructural Type Systems for Region-Based Memory Management |
| 11/28/2007 | Tail recursion vs. JVM bytecode | Clojure |
| 11/28/2007 | TCO & security | Clojure |
| 11/27/2007 | Deriving an answer | What have I created? |
| 11/28/2007 | Trees, types, and predictions | Derivation trees for lambda-calculus |
| 11/28/2007 | Equivalent up to alpha conversion | Derivation trees for lambda-calculus |
| 11/25/2007 | Are you implying... | The Carnap Programming Language |
| 11/20/2007 | But when the ball drops on the cat's tail... | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/24/2007 | Wrong word? | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/26/2007 | Don't save the tarbaby | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/19/2007 | Link or it didn't happen | What are the properties of "Functional Programming Languages"? |
| 11/19/2007 | Why not? | What are the properties of "Functional Programming Languages"? |
| 11/24/2007 | References | What are the properties of "Functional Programming Languages"? |
| 11/24/2007 | Point? | What are the properties of "Functional Programming Languages"? |
| 11/25/2007 | Function pointers get you partway there | What are the properties of "Functional Programming Languages"? |
| 11/25/2007 | Not sure about "dynamic" | What are the properties of "Functional Programming Languages"? |
| 11/25/2007 | Context! | What are the properties of "Functional Programming Languages"? |
| 11/20/2007 | Be serious | What are the properties of "Functional Programming Languages"? |
| 11/15/2007 | Link | David Pollak on lift |
| 11/14/2007 | For R6RS... | PLT Redex operational semantics for Scheme |
| 11/12/2007 | Generative Code Specialisation for High-Performance Monte Carlo Simulations | Generative Code Specialisation for High-Performance Monte Carlo Simulations |
| 11/12/2007 | Oops | Generative Code Specialisation for High-Performance Monte Carlo Simulations |
| 10/29/2007 | Six-letter word ending in -oogle | Searching for a quote |
| 10/30/2007 | Harrumph | Searching for a quote |
| 10/30/2007 | True | Searching for a quote |
| 10/30/2007 | The computational expressivity of cars | Searching for a quote |
| 11/02/2007 | Foundations | Gödel, Nagel, minds and machines |
| 10/26/2007 | No monads needed | On the Importance of Purity |
| 11/01/2007 | The programmer's chainsaw massacre | On the Importance of Purity |
| 11/02/2007 | Puttin' on the Ritz | On the Importance of Purity |
| 11/02/2007 | Don't mutate me, bro! | On the Importance of Purity |
| 11/01/2007 | Good start | On the Importance of Purity |
| 11/03/2007 | Progress via interparadigm-bouncing | On the Importance of Purity |
| 11/04/2007 | Sausages | On the Importance of Purity |
| 11/04/2007 | Be like water | On the Importance of Purity |
| 11/10/2007 | Disenhanced agreement | On the Importance of Purity |
| 11/10/2007 | Your MOLEs are already dead | On the Importance of Purity |
| 11/10/2007 | Burrow fast, they're comin' for ya! ;) | On the Importance of Purity |
| 10/30/2007 | !RT | On the Importance of Purity |
| 11/28/2007 | Uniqueness types | On the Importance of Purity |
| 10/27/2007 | Is the identity function referentially transparent? | On the Importance of Purity |
| 11/02/2007 | Jesse James, language implementor | On the Importance of Purity |
| 10/24/2007 | Another LtU hook | The simplest mechanism with Turing-equivalent power to date ... |
| 10/23/2007 | Done | ECMAScript 4 overview paper |
| 10/30/2007 | Let's reinvent the web in another topic | ECMAScript 4 overview paper |
| 10/29/2007 | Mmmm... pie! | ECMAScript 4 overview paper |
| 10/17/2007 | Haskell indoctrination required | grammars as a shared executable specification for language processing tools |
| 10/19/2007 | oh, honey honey | grammars as a shared executable specification for language processing tools |
| 10/21/2007 | and Hot Dog, too. | grammars as a shared executable specification for language processing tools |
| 10/17/2007 | Homepage vs. forum | grammars as a shared executable specification for language processing tools |
| 10/12/2007 | Lisp | Examples of large-scale functional language projects |
| 10/20/2007 | [Admin] | Examples of large-scale functional language projects |
| 10/21/2007 | Agreed | Examples of large-scale functional language projects |
| 11/18/2007 | Explanation | Examples of large-scale functional language projects |
| 11/18/2007 | Observation | Examples of large-scale functional language projects |
| 10/14/2007 | Keep it technical | Examples of large-scale functional language projects |
| 10/12/2007 | The six-horse Concord Coach cannot be beaten! | Examples of large-scale functional language projects |
| 11/19/2007 | When moles attack | Examples of large-scale functional language projects |
| 11/19/2007 | Sounds familiar | Examples of large-scale functional language projects |
| 10/09/2007 | Towards definitions | Computing is a Natural Science |
| 10/11/2007 | Reuse | Computing is a Natural Science |
| 10/11/2007 | Languages are programs too | Computing is a Natural Science |
| 10/12/2007 | Pax | Computing is a Natural Science |
| 10/13/2007 | Classical logic is your grandpa's formalism | Computing is a Natural Science |
| 09/30/2007 | cursity | Witnessing Side-Effects |
| 09/28/2007 | binding results | Binary Lambda Calculus and Combinatory Logic |
| 09/28/2007 | There's SO MUCH else to do | Binary Lambda Calculus and Combinatory Logic |
| 09/18/2007 | It's full of cars | DivaScheme |
| 09/07/2007 | Zipper as Insecticide | Zipper as Insecticide |
| 11/26/2007 | C-- | Tagless Staged Interpreters for Simpler Typed Languages |
| 09/04/2007 | mmm... dingo's kidneys... | No Name: Just Notes on Software Reuse |
| 08/29/2007 | Even | R6RS Validated |
| 08/29/2007 | How many | R6RS Validated |
| 08/31/2007 | Dare mighty things | R6RS Validated |
| 08/29/2007 | clarification | R6RS Validated |
| 08/29/2007 | Scope | R6RS Validated |
| 08/29/2007 | Tangible program histories | History of causes as object identity |
| 08/27/2007 | Because the models say it isn't | What is a state? |
| 08/28/2007 | Abstract machine state | What is a state? |
| 09/06/2007 | Guesses are cheap | What is a state? |
| 09/07/2007 | Another example | What is a state? |
| 08/27/2007 | One more try | What is a state? |
| 08/27/2007 | Useful | What is a state? |
| 08/28/2007 | and beyond | What is a state? |
| 08/28/2007 | [OT] Tarski and such | What is a state? |
| 08/25/2007 | Google is my memory, the stars my destination | Fogotten Book Title |
| 08/31/2007 | I included a historical note | Fogotten Book Title |
| 08/23/2007 | Cool | An Accidental Simula User, Luca Cardelli |
| 08/24/2007 | Don't fight it. | An Accidental Simula User, Luca Cardelli |
| 08/23/2007 | Links | Thread-safe Singleton in C# |
| 08/23/2007 | not all states are united | Diagram showing all programming paradigms and their relationships |
| 08/23/2007 | S-exps | Diagram showing all programming paradigms and their relationships |
| 08/16/2007 | Why not? | Metaobject protocols: Why we want them and what else they can do |
| 08/14/2007 | ...the line forms on the | creating my own programming language |
| 08/03/2007 | abstracting over syntax | Syntactic abstraction? (newbie question) |
| 08/03/2007 | defmacro? | Syntactic abstraction? (newbie question) |
| 08/07/2007 | ...and back. | Syntactic abstraction? (newbie question) |
| 08/07/2007 | same diff | Syntactic abstraction? (newbie question) |
| 08/01/2007 | Continuation returning style | continuations and trampolining |
| 08/21/2007 | machine states vs. mutable state | Monad Description For Imperative Programmer |
| 08/19/2007 | Monads & CPS | Monad Description For Imperative Programmer |
| 08/21/2007 | maybe is not just a monad | Monad Description For Imperative Programmer |
| 07/29/2007 | Ouch | LtU turns 7: The year of spam |
| 07/29/2007 | Thoughts from the middle of the grid | LtU turns 7: The year of spam |
| 07/29/2007 | Everyone's a moderator | LtU turns 7: The year of spam |
| 07/30/2007 | Holes in the glass ceiling | LtU turns 7: The year of spam |
| 07/29/2007 | Clarification | LtU turns 7: The year of spam |
| 07/29/2007 | Real names | LtU turns 7: The year of spam |
| 07/30/2007 | Future technology | LtU turns 7: The year of spam |
| 07/30/2007 | Good idea | LtU turns 7: The year of spam |
| 04/29/2010 | One thing that happens is | LtU turns 7: The year of spam |
| 07/27/2007 | Link | Seam from PLT perspective |
| 07/21/2007 | I favor explanation 2. | Language Nirvana - Simon Peyton-Jones |
| 07/21/2007 | Fifth possibility | Language Nirvana - Simon Peyton-Jones |
| 07/31/2007 | —even the ones who do use | Language Nirvana - Simon Peyton-Jones |
| 08/01/2007 | Please do | Language Nirvana - Simon Peyton-Jones |
| 08/01/2007 | Hubris in naming | Language Nirvana - Simon Peyton-Jones |
| 08/01/2007 | Temporal relativity of Nirvana | Language Nirvana - Simon Peyton-Jones |
| 07/09/2007 | Haskell's hodgepodge | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
| 07/02/2007 | Where's the paper? | .NET-oriented metaprogramming framework for rapid compiler development |
| 07/03/2007 | Camlp4 | Good Language Design Principals for Scripting Languages |
| 07/03/2007 | Implementing verb/noun combination in Camlp4 | Good Language Design Principals for Scripting Languages |
| 06/29/2007 | Yale Haskell | The feasability of Haskell in Scheme |
| 06/28/2007 | Haskell web store | Haskell web store |
| 06/28/2007 | Relevance | Haskell web store |
| 07/05/2007 | [OT] ML monads | Singularity: Rethinking the Software Stack |
| 06/23/2007 | Purpose | Standing on each others' feet |
| 06/26/2007 | Window into a possibility space | Standing on each others' feet |
| 06/20/2007 | Yes | Python 3000 Status Update |
| 06/20/2007 | Denial | Python 3000 Status Update |
| 06/21/2007 | Laundry list | Python 3000 Status Update |
| 06/21/2007 | charging ahead | PLs and large scale development |
| 06/12/2007 | Derivative of a googling | Derivatives of Regular Expressions |
| 06/09/2007 | There is no try | ECMAScript Edition 4 Reference Implementation |
| 06/09/2007 | The oppressor in the mirror | ECMAScript Edition 4 Reference Implementation |
| 06/10/2007 | Appeal to the ref | ECMAScript Edition 4 Reference Implementation |
| 10/09/2007 | Lambdacats | IM IN UR COMPUTER, HAXIN UR CODE |
| 02/14/2008 | Not in general | "Practical" advantages of lazy evaluation |
| 06/04/2007 | Curried vs. partial application | Currying != Generalized Partial Application?! |
| 01/07/2008 | Verify, then trust | Social Processes and Proofs of Theorems and Programs |
| 01/03/2008 | Zero point energy | Social Processes and Proofs of Theorems and Programs |
| 05/18/2007 | Eval & apply are not interchangeable | What's in a name: eval vs apply. |
| 05/18/2007 | term rewriting perspective | What's in a name: eval vs apply. |
| 05/18/2007 | Down with functions :) | What's in a name: eval vs apply. |
| 05/24/2007 | Stack-based, face it. :) | What's in a name: eval vs apply. |
| 05/22/2007 | Link | How to make the static represent the dynamic? |
| 06/01/2007 | Alligators, educators | LC for kids (alligators, oh my!) |
| 05/06/2007 | PLAI in print | PLAI in print |
| 05/03/2007 | New department | Functional Object-Oriented Programming |
| 05/02/2007 | Real integers don't wrap | Is Integer wrapping an exceptional condition? |
| 05/02/2007 | Optimize for people or hardware? | Is Integer wrapping an exceptional condition? |
| 05/02/2007 | Thinking outside the CPU | Is Integer wrapping an exceptional condition? |
| 05/02/2007 | CPUs won't always be modern | Is Integer wrapping an exceptional condition? |
| 05/03/2007 | Son of Lisp machine | Is Integer wrapping an exceptional condition? |
| 05/02/2007 | How about... | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/03/2007 | Programming => programs | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/15/2007 | Machines don't care about semantics | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/11/2007 | Learning is good | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/15/2007 | [Admin] | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/04/2007 | Silly season | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/04/2007 | Real concerns | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/12/2007 | As do they all | The Monad.Reader |
| 05/12/2007 | Proofs considered incidental | The Monad.Reader |
| 05/12/2007 | Essential tests check types anyway | The Monad.Reader |
| 05/12/2007 | Perhaps nuanced arguments are doomed | The Monad.Reader |
| 05/13/2007 | Infinite testing takes too long | The Monad.Reader |
| 05/13/2007 | Proof doesn't go far enough | The Monad.Reader |
| 05/13/2007 | More info | The Monad.Reader |
| 05/13/2007 | If a type appears in a forest that's not statically checked... | The Monad.Reader |
| 05/13/2007 | Ouch | The Monad.Reader |
| 05/13/2007 | Not so fast | The Monad.Reader |
| 05/16/2007 | Yes | The Monad.Reader |
| 05/12/2007 | Not relevant | The Monad.Reader |
| 05/13/2007 | Phantom witnesses | The Monad.Reader |
| 05/13/2007 | Trickle-down to practical | The Monad.Reader |
| 05/15/2007 | We choose to formally verify in this decade | The Monad.Reader |
| 03/19/2008 | Sneaky | The Monad.Reader |
| 04/25/2007 | Arc in action (a.k.a. it's aliiiiive!) | Arc in action (a.k.a. it's aliiiiive!) |
| 04/29/2007 | Real work | Arc in action (a.k.a. it's aliiiiive!) |
| 04/25/2007 | Link | Google Tech Talk: Phil Gosset discusses parametric polymorphism and girard-reynolds isomorphism |
| 04/22/2007 | Almost invisible upgrade | Almost invisible upgrade |
| 04/22/2007 | Status | Almost invisible upgrade |
| 04/23/2007 | Pushbutton theme problem | Almost invisible upgrade |
| 04/23/2007 | Presumed correct | Almost invisible upgrade |
| 04/23/2007 | Revelations | Almost invisible upgrade |
| 04/23/2007 | Hat tipping | Almost invisible upgrade |
| 04/24/2007 | Pick a framework? | Almost invisible upgrade |
| 05/02/2007 | Framework power | Almost invisible upgrade |
| 04/21/2007 | Nice! | From abstract interpretation to small-step typing |
| 04/23/2007 | Fishing rights | From abstract interpretation to small-step typing |
| 04/25/2007 | Examples? | From abstract interpretation to small-step typing |
| 04/25/2007 | That helps | From abstract interpretation to small-step typing |
| 04/16/2007 | typonym? | Twitter and Rails brouhaha |
| 05/04/2007 | All things come... | Twitter and Rails brouhaha |
| 04/17/2007 | Achieving it | Thoughts about the Best Introductory Language |
| 04/16/2007 | Not quite there yet | Thoughts about the Best Introductory Language |
| 04/17/2007 | Losing battles | Thoughts about the Best Introductory Language |
| 04/18/2007 | IDEs | Thoughts about the Best Introductory Language |
| 04/18/2007 | Dreams and vapor | Thoughts about the Best Introductory Language |
| 04/18/2007 | Awesome for what? | Thoughts about the Best Introductory Language |
| 04/19/2007 | Going all the way | Thoughts about the Best Introductory Language |
| 04/19/2007 | Is more strictly better than less? | Thoughts about the Best Introductory Language |
| 04/19/2007 | Specific is the new general | Thoughts about the Best Introductory Language |
| 04/19/2007 | Think of the students | Thoughts about the Best Introductory Language |
| 04/20/2007 | What lies beneath | Thoughts about the Best Introductory Language |
| 04/18/2007 | [admin] tone | Thoughts about the Best Introductory Language |
| 04/20/2007 | Modus ponens considered harmful | Thoughts about the Best Introductory Language |
| 04/18/2007 | Environments for Teaching Kids to Program | Thoughts about the Best Introductory Language |
| 04/08/2007 | The weakness of most AOP examples | A Temporal Logic Language for Context Awareness in Pointcuts |
| 04/09/2007 | No shortage of compilers | Deliverable code? |
| 04/12/2007 | Mud wrestling | Deliverable code? |
| 04/11/2007 | Ehud told us so | Deliverable code? |
| 04/14/2007 | Examples | Deliverable code? |
| 04/14/2007 | Drifting | Deliverable code? |
| 04/14/2007 | More difficult, not impossible | Deliverable code? |
| 04/14/2007 | Native is harder | Deliverable code? |
| 04/14/2007 | Dynamic solution | Deliverable code? |
| 04/01/2007 | Mutable variables eliminated from .NET | Mutable variables eliminated from .NET |
| 03/28/2007 | Expect New Major Language Within Five Years | Expect New Major Language Within Five Years |
| 03/31/2007 | Less impressive than it sounds | Expect New Major Language Within Five Years |
| 03/27/2007 | Feedback opportunities | R6RS Ratification |
| 03/27/2007 | The nice thing about trusted judgments... | R6RS Ratification |
| 03/28/2007 | In general, yes. But... | R6RS Ratification |
| 03/24/2007 | Speaking of wild-eyed proponency... | A Real-World Use of Lift, a Scala Web Application Framework |
| 03/20/2007 | Corrected | John Backus has passed away |
| 03/20/2007 | FORTRAN was my first | John Backus has passed away |
| 03/17/2007 | Referral | Tracing in DrScheme |
| 03/20/2007 | Code welcome | Subject headings |
| 03/16/2007 | ...and Lisp | Google Summer of Code |
| 03/14/2007 | Definition of succinct misunderstood | Pico Lisp: A Case for Minimalist Interpreters? |
| 03/15/2007 | No problem | Pico Lisp: A Case for Minimalist Interpreters? |
| 03/15/2007 | PICBIT | Pico Lisp: A Case for Minimalist Interpreters? |
| 03/13/2007 | Missed some | Order of the Science Scouts Badges |
| 03/21/2007 | Oh yeah? | Order of the Science Scouts Badges |
| 03/13/2007 | Actually... | CFP: Programming Languages for Mechanized Mathematics Workshop |
| 03/14/2007 | diminisher of harm-path of ness of sword | Piraha Exceptionality: a Reassessment |
| 03/15/2007 | And everyone knows | Piraha Exceptionality: a Reassessment |
| 03/12/2007 | A little less circular than that | What's up with Lua? |
| 03/11/2007 | Point? | What's up with Lua? |
| 03/11/2007 | Hybrid | What's up with Lua? |
| 03/12/2007 | Inevitability | What's up with Lua? |
| 03/10/2007 | Tuples as multiple values | Gilad Bracha on tuples |
| 03/08/2007 | imperfect blend | Blending static and dynamic typing |
| 03/06/2007 | Punctuation | Kourier is now live |
| 03/05/2007 | Erlang as runtime platform for CL DSLs | Kourier is now live |
| 03/07/2007 | Gambit threads and the future of concurrency | Kourier is now live |
| 03/04/2007 | Three approaches | How to Evaluate Lambda Expressions |
| 03/02/2007 | Definitions | Non-Applicative Functional Languages |
| 03/08/2007 | jumping in (not pushing or popping) | Non-Applicative Functional Languages |
| 03/09/2007 | You are saying that there | Non-Applicative Functional Languages |
| 03/02/2007 | Interpreting the question | Non-Applicative Functional Languages |
| 03/01/2007 | Fixed | "Recent Post" funkiness |
| 01/25/2008 | Battle for student mindshare | MapReduce |
| 02/26/2007 | Wanted: flying car | On the fact that the Atlantic Ocean has two sides |
| 03/05/2007 | Buddhas are resilient | On the fact that the Atlantic Ocean has two sides |
| 02/27/2007 | If you meet the Buddha on the road | The Computer Revolution Hasn't Happened Yet |
| 03/07/2007 | downloading | Dao, a new programming language |
| 02/18/2007 | The use of automata theory | Automata-Based Programming |
| 02/20/2007 | The Little Javascripter | How to teach Functional Programming... in Flash??? |
| 02/14/2007 | Context | Threads in JavaScript? |
| 02/15/2007 | Slow is in the eye of the user | Regular Expression Matching Can Be Simple And Fast |
| 02/16/2007 | Multimethod link | Easy to learn and use |
| 02/08/2007 | Tonight make it magnificent | Patrick Logan on Software Transaction Memory |
| 02/08/2007 | Predicting feature quality | Patrick Logan on Software Transaction Memory |
| 02/09/2007 | Dey turk ma jugh! | Patrick Logan on Software Transaction Memory |
| 02/10/2007 | Why terrible? | Patrick Logan on Software Transaction Memory |
| 02/10/2007 | TFA^2 | Patrick Logan on Software Transaction Memory |
| 02/08/2007 | That's anaphora, but... | Programming Shorthands |
| 02/07/2007 | Related presentation | ACM Queue: Realtime Garbage Collection |
| 02/07/2007 | Worth clarifying | Opinions on _Theoretical Introduction to Programming_? |
| 02/07/2007 | Google preview | Opinions on _Theoretical Introduction to Programming_? |
| 02/07/2007 | Latent type error | Termination Checking with Types |
| 02/08/2007 | The answer was within | Termination Checking with Types |
| 02/05/2007 | Off-topic | OpenGL |
| 02/08/2007 | Subtract some heart | Steps Toward The Reinvention of Programming |
| 06/11/2007 | Static vs. erasable | Steps Toward The Reinvention of Programming |
| 06/11/2007 | Lisp in ML's clothing | Steps Toward The Reinvention of Programming |
| 02/08/2007 | Static reasoning in Scheme | Steps Toward The Reinvention of Programming |
| 02/02/2007 | Meta-Compilation of Language Abstractions | Meta-Compilation of Language Abstractions |
| 02/05/2007 | Clarification | Meta-Compilation of Language Abstractions |
| 01/31/2007 | Off-topic | Want to do undergraduate research, but CS dept is weak... |
| 01/30/2007 | Books? | Looking for extra-basic reference on PL theory |
| 01/29/2007 | ECMAScript has fully-featured closures. | What is a "fully featured closure"? Request for comments. |
| 01/29/2007 | In the proposed semantics | What is a "fully featured closure"? Request for comments. |
| 01/29/2007 | Needs minor change | What is a "fully featured closure"? Request for comments. |
| 01/29/2007 | Caffeine high | What is a "fully featured closure"? Request for comments. |
| 01/29/2007 | Still not lexically bound | What is a "fully featured closure"? Request for comments. |
| 01/29/2007 | 'return' as a lexically-scoped name | What is a "fully featured closure"? Request for comments. |
| 01/29/2007 | Nope | What is a "fully featured closure"? Request for comments. |
| 01/29/2007 | 'return' is a special case | What is a "fully featured closure"? Request for comments. |
| 01/27/2007 | [OT] Terminology defense | Ralf Lammel: Stop dysfunctional programming |
| 01/28/2007 | C#, not C++? | Ralf Lammel: Stop dysfunctional programming |
| 01/28/2007 | Shall I compare thee... | Ralf Lammel: Stop dysfunctional programming |
| 01/28/2007 | [OT] the subject line elves... | LCA2007: Concurrency and Erlang |
| 01/19/2007 | Scheme: Second R6RS draft published | Scheme: Second R6RS draft published |
| 01/20/2007 | Phase separation | Scheme: Second R6RS draft published |
| 01/22/2007 | Interactive semantics | Scheme: Second R6RS draft published |
| 01/22/2007 | Executive summary (for lambda-literate executives) | Scheme: Second R6RS draft published |
| 01/27/2007 | Good idea | Scheme: Second R6RS draft published |
| 01/14/2007 | So where does last go | Ninety-nine Lisp Problems |
| 01/12/2007 | All you need is a time series database of the Internet | Finding Landin's "The Mechanical Evaluation of Expressions" |
| 02/06/2007 | Experience | Why people don't use functional programming? |
| 02/07/2007 | Re: Missed communications | Why people don't use functional programming? |
| 02/07/2007 | "why don't they use it, | Why people don't use functional programming? |
| 02/07/2007 | "Pointers to papers" | Why people don't use functional programming? |
| 02/06/2007 | Lists generalize to recursive types | Why people don't use functional programming? |
| 02/06/2007 | Fixation on purity | Why people don't use functional programming? |
| 02/06/2007 | Purity matters | Why people don't use functional programming? |
| 02/06/2007 | Feathers & glue | Why people don't use functional programming? |
| 03/09/2007 | Links | Why people don't use functional programming? |
| 03/09/2007 | Region-based | Why people don't use functional programming? |
| 02/19/2007 | Debugging | Why people don't use functional programming? |
| 02/16/2007 | Untangling | Why people don't use functional programming? |
| 03/03/2007 | Google vs. Monster | Why people don't use functional programming? |
| 03/05/2007 | Why the sea is boiling hot | Why people don't use functional programming? |
| 03/05/2007 | You may seek it with thimbles | Why people don't use functional programming? |
| 03/03/2007 | Biting the shoulders you're standing on | Why people don't use functional programming? |
| 01/01/2007 | Memory manipulation mangles mathematical meticulousness | Why numbering should start at 0 |
| 01/01/2007 | Answer: 0. Question: ? | Why numbering should start at 0 |
| 01/02/2007 | Intuition | Why numbering should start at 0 |
| 01/02/2007 | When is the third floor not the third floor? | Why numbering should start at 0 |
| 01/02/2007 | Curmudgeons wanted | Why numbering should start at 0 |
| 12/27/2006 | Themes | Theme styles |
| 12/31/2006 | "Real closures" | Question about closures and higher-order functions |
| 12/31/2006 | EOPL definition | Question about closures and higher-order functions |
| 12/31/2006 | Yes, but does K know that it's not lexically scoped? | Question about closures and higher-order functions |
| 03/05/2007 | Not complicated enough | Why do we need finally in try? |
| 03/07/2007 | talking about code | Why do we need finally in try? |
| 03/07/2007 | True. | Why do we need finally in try? |
| 12/17/2006 | The first thing we do... | Theorem proving and patents ... |
| 12/13/2006 | comp.lang.lisp | Compile to binary in common lisp? |
| 12/27/2006 | Hints | Commercial Users of Functional Programming 2006 |
| 12/07/2006 | Good point | Date format in the forum |
| 12/07/2006 | Hmm | Date format in the forum |
| 12/05/2006 | More T | T: A Dialect of Lisp |
| 12/05/2006 | [Admin] Probation | Breaking the Abstraction Ceiling |
| 12/03/2006 | Interpreters again | How to write a Programming Language Paper? |
| 12/05/2006 | Input | How to write a Programming Language Paper? |
| 12/01/2006 | Names | SK Calculus not Consider SeKsy? |
| 12/01/2006 | Welcome | SK Calculus not Consider SeKsy? |
| 12/01/2006 | Chris' Combinator Calculator | SK Calculus not Consider SeKsy? |
| 11/29/2006 | Outage | Outage |
| 11/30/2006 | FP in PL theory | The Future of LtU |
| 12/01/2006 | Relativism | The Future of LtU |
| 11/26/2006 | Look upon my corner cases, ye mighty, and despair! | Java Generics and Collections |
| 11/27/2006 | Incongruity | Java Generics and Collections |
| 11/30/2006 | Category theory for beginners | Java Generics and Collections |
| 11/18/2006 | The current continuation is "Getting Started" | The replay bug |
| 11/21/2006 | Functional metalanguages | The replay bug |
| 11/17/2006 | Target audience | De-Scheming MIT? |
| 11/18/2006 | Re: Target audience | De-Scheming MIT? |
| 11/17/2006 | Further details | De-Scheming MIT? |
| 04/06/2007 | Why do we start teaching | De-Scheming MIT? |
| 04/06/2007 | LC similarities | De-Scheming MIT? |
| 11/17/2006 | [OT] line break | Abstractly typed languages |
| 11/15/2006 | Connecting dots | Second Life Faces Threat to its Virtual Economy |
| 11/15/2006 | Why a threat? | Second Life Faces Threat to its Virtual Economy |
| 11/15/2006 | A for Anything | Second Life Faces Threat to its Virtual Economy |
| 11/16/2006 | Analog plug | Second Life Faces Threat to its Virtual Economy |
| 11/16/2006 | True, but | Second Life Faces Threat to its Virtual Economy |
| 11/13/2006 | And another | Writing A Lisp Interpreter In Haskell |
| 11/13/2006 | Redirect | Anyone know Prolog here? |
| 11/12/2006 | Eat my brain | Functional programming and software engineering |
| 11/12/2006 | Teaching to fish | Functional programming and software engineering |
| 11/12/2006 | Executable specifications are models | Functional programming and software engineering |
| 11/12/2006 | normalization vs. DRY | Functional programming and software engineering |
| 11/13/2006 | Distinguish from FP? | Functional programming and software engineering |
| 11/14/2006 | Liberation from the state transition style | Functional programming and software engineering |
| 11/14/2006 | Eschew lambda expressions | Functional programming and software engineering |
| 11/14/2006 | The answers are out there (or in here) | Functional programming and software engineering |
| 11/14/2006 | Tail call optimization considered essential | Functional programming and software engineering |
| 11/15/2006 | OK.. This is getting deep, | Functional programming and software engineering |
| 11/15/2006 | gcc kicks tail | Functional programming and software engineering |
| 11/15/2006 | Hidden loops? Obscured functions! | Functional programming and software engineering |
| 11/15/2006 | C in context | Functional programming and software engineering |
| 11/17/2006 | Wrapup? | Functional programming and software engineering |
| 11/23/2006 | Evaluating definitions first | SICP Translations |
| 11/23/2006 | Lua? | SICP Translations |
| 11/27/2006 | Thanks | SICP Translations |
| 11/12/2006 | Parser generators everywhere | Dodo |
| 11/13/2006 | Recommended reading | Dodo |
| 11/22/2006 | Answered in followup | Dodo |
| 11/02/2006 | 1.5 out of two | Best Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!! |
| 10/28/2006 | Plug the type system gap | Want to learn something new |
| 10/29/2006 | Just jump! :) | Want to learn something new |
| 11/07/2006 | Explanation | Want to learn something new |
| 11/05/2006 | Not a technical distinction | Want to learn something new |
| 11/04/2006 | Time for an alpha conversion? | Future of software design? |
| 11/09/2006 | Don't set the AI bar too low | Future of software design? |
| 11/21/2006 | Wrong forum? | Future of software design? |
| 11/21/2006 | So be part of the solution | Future of software design? |
| 10/27/2006 | [Admin] | Practical OCaml |
| 11/01/2006 | confusion? | Practical OCaml |
| 10/31/2006 | Metaprogramming facilities | Practical OCaml |
| 10/26/2006 | Will the real integers please stand up? | The Type of 42 |
| 10/27/2006 | Eval in two lines | The Type of 42 |
| 10/27/2006 | Being strict | The Type of 42 |
| 10/21/2006 | Waldemar's CL stuff | Specifying ECMAScript via ML |
| 10/18/2006 | Updated link | System-level Static Analysis |
| 10/20/2006 | SL5 and monads | Ralph Griswold died |
| 10/21/2006 | Argument transmitters and monadic 'bind' | Ralph Griswold died |
| 10/21/2006 | The pros and cons of kitchen-sinking | Ralph Griswold died |
| 10/13/2006 | LogFun - Building Logics by Composing Functors | LogFun - Building Logics by Composing Functors |
| 10/27/2006 | Copyright | Computational Thinking |
| 09/30/2006 | Thanks | Corrections to be made to the Papers page |
| 09/05/2006 | Dynamic types are a secondary effect | Dynamic Semantics |
| 08/25/2006 | Types as Abstract Interpretation | Multi-Stage Languages |
| 08/22/2006 | Details | width still fixed? |
| 08/22/2006 | Reformatted | Closures for Java or money back |
| 08/20/2006 | Binonymous inner classes | Closures for Java or money back |
| 08/20/2006 | Out of excuses | Closures for Java or money back |
| 08/20/2006 | Usable closures | Closures for Java or money back |
| 08/21/2006 | Dijkstra considered ineffective | Closures for Java or money back |
| 08/21/2006 | Adde parvum parvo magnus acervus erit | Closures for Java or money back |
| 08/23/2006 | Mmm... icing | Closures for Java or money back |
| 08/23/2006 | Relevance? | Closures for Java or money back |
| 08/25/2006 | Back door continuations | Closures for Java or money back |
| 08/25/2006 | Well, of course. :) | Closures for Java or money back |
| 08/18/2006 | Dynamic metaprogramming is the problem | Can a dynamically typed language support type inference? |
| 08/18/2006 | Happily | Can a dynamically typed language support type inference? |
| 08/18/2006 | As Homer would say... | Can a dynamically typed language support type inference? |
| 08/17/2006 | Decomposing lambda - the Kernel language | Decomposing lambda - the Kernel language |
| 08/17/2006 | Summer on the web | Early retirement? |
| 08/09/2006 | Type-freedom | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 08/09/2006 | Glad to | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 08/09/2006 | Anti-obfuscated language challenge | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 08/09/2006 | The syntax is always funnier on the other side | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 04/27/2008 | Dangerous language features are dangerous | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 04/28/2008 | C isn't special (technically) | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 04/28/2008 | Manufactured dissent | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 08/04/2006 | Javascript in Java 6 | eWeek: Sun Digging Deep for Dynamic Language Support |
| 08/04/2006 | Note from a titular etymologist | eWeek: Sun Digging Deep for Dynamic Language Support |
| 08/05/2006 | Trivial transformation | The Killer Application for Concatenative Languages |
| 08/07/2006 | A.k.a. macros | The Killer Application for Concatenative Languages |
| 08/07/2006 | Linear models | The Killer Application for Concatenative Languages |
| 08/03/2006 | vs. exceptions | Managing missing information through Condition Propagation |
| 07/31/2006 | Orphaned | Lisp sans (((paren-theses ((hell))))) |
| 07/31/2006 | Gambit's six-script | Lisp sans (((paren-theses ((hell))))) |
| 08/01/2006 | Backquotes and other stories | Lisp sans (((paren-theses ((hell))))) |
| 07/31/2006 | "Become" in Smalltalk | Polymorphic replacement |
| 08/01/2006 | Proving the universe correct | Cost of provably-correct code |
| 07/21/2006 | This is also how | Advantages of Soft Typing |
| 07/22/2006 | Missed a spot | Advantages of Soft Typing |
| 07/23/2006 | Inexorable push to dynamic languages | Advantages of Soft Typing |
| 07/23/2006 | Hair's the problem | Advantages of Soft Typing |
| 07/23/2006 | Counter-thesis | Advantages of Soft Typing |
| 07/23/2006 | Either already solved, or not solvable | Advantages of Soft Typing |
| 07/24/2006 | Tags are gonna get you | Advantages of Soft Typing |
| 07/24/2006 | Wow | Advantages of Soft Typing |
| 07/24/2006 | #1 achieved | Advantages of Soft Typing |
| 07/24/2006 | One function per type | Advantages of Soft Typing |
| 07/26/2006 | Not polymorphic | Advantages of Soft Typing |
| 07/26/2006 | Example | Advantages of Soft Typing |
| 07/19/2006 | Stop. | Advantages of Soft Typing |
| 07/19/2006 | [admin] 4(b) | Advantages of Soft Typing |
| 07/19/2006 | Details | Advantages of Soft Typing |
| 07/16/2006 | Protocols everywhere | A Core Calculus for Scala Type Checking |
| 07/16/2006 | Latent salad | OOP Parallel class hierarchies |
| 07/16/2006 | Multi-system reasoning | OOP Parallel class hierarchies |
| 07/16/2006 | No argument | OOP Parallel class hierarchies |
| 07/16/2006 | Vapor types | OOP Parallel class hierarchies |
| 07/16/2006 | More concrete | OOP Parallel class hierarchies |
| 07/13/2006 | Maybe Lua | Writing an interpreter, targeting a VM or writing from scratch? |
| 07/15/2006 | A-Normal Form | Writing an interpreter, targeting a VM or writing from scratch? |
| 07/17/2006 | LC in 90 minutes | Writing an interpreter, targeting a VM or writing from scratch? |
| 07/09/2006 | Community enforcement discussion | Community enforcement discussion |
| 07/10/2006 | More like Usenet | Community enforcement discussion |
| 07/07/2006 | Failure-oblivious computing | Failure-oblivious computing |
| 07/07/2006 | Not the paper | Failure-oblivious computing |
| 07/09/2006 | Redirect | Failure-oblivious computing |
| 07/09/2006 | Or does it? | Failure-oblivious computing |
| 07/10/2006 | Gory reduction details | Programming Languages and Lambda Calculi |
| 07/10/2006 | Strategary | Programming Languages and Lambda Calculi |
| 07/10/2006 | The trouble with quibbles... | Programming Languages and Lambda Calculi |
| 07/11/2006 | Corrected link | Programming Languages and Lambda Calculi |
| 07/11/2006 | Correction | Programming Languages and Lambda Calculi |
| 09/21/2006 | Strachey on CPL | online literature on CPL? |
| 07/04/2006 | Near-perfect fit? | Lexical structure of scripting languages |
| 07/01/2006 | Who said anything about computer programming? | Amusing question |
| 06/30/2006 | Characteristica Universalis | Gottfried Wilhelm Leibniz |
| 06/30/2006 | Leibniz' fictional legacy | Gottfried Wilhelm Leibniz |
| 06/27/2006 | More safety-critical Java | Oxymoronic? "Safety-critical development guidelines for real-time Java" |
| 06/26/2006 | Good idea | LtU: Policies document |
| 06/26/2006 | No doubt the examples will come | LtU: Policies document |
| 06/26/2006 | Establishment of firmness | LtU: Policies document |
| 06/27/2006 | I hereby publish this comment... | LtU: Policies document |
| 06/30/2006 | Good one | LtU: Policies document |
| 06/29/2006 | As we go | LtU: Policies document |
| 06/30/2006 | Old Etonians only, not! | LtU: Policies document |
| 06/30/2006 | It depends | LtU: Policies document |
| 07/03/2006 | Work in progress | LtU: Policies document |
| 06/27/2006 | Feature not bug | Petition for adding garbage collection to C++. |
| 06/26/2006 | Real-time GC | Petition for adding garbage collection to C++. |
| 06/25/2006 | RAINAP (not a panacea) | Petition for adding garbage collection to C++. |
| 06/30/2006 | There are only two kinds of people in the world... | What are the real benefits of FP? |
| 06/24/2006 | Studying languages vs. poking at paradigms | What are the real benefits of FP? |
| 06/24/2006 | Thanks for the feedback | What are the real benefits of FP? |
| 06/25/2006 | Archimedes' lever | What are the real benefits of FP? |
| 06/25/2006 | Characterizing Users as Non-Linear, First-Order Components | What are the real benefits of FP? |
| 06/21/2006 | I neither confirm nor deny... | Charles Babbage Institute |
| 06/17/2006 | Compared to function calls alone | What is the Meaning of These Constant Interruptions? |
| 06/18/2006 | Context | What is the Meaning of These Constant Interruptions? |
| 06/17/2006 | Volume | Why only 'minimal' languages |
| 06/17/2006 | [admin] | Why only 'minimal' languages |
| 06/18/2006 | Agreed | Why only 'minimal' languages |
| 06/18/2006 | [admin] explanation | Why only 'minimal' languages |
| 06/16/2006 | How do we tell truths... | The Semicolon Wars |
| 06/12/2006 | Context | Church-Turning is False? |
| 06/08/2006 | Another vote | LtU: blog not forum! |
| 06/16/2006 | Great stuff | LtU: blog not forum! |
| 06/24/2006 | Re: Elitarian | LtU: blog not forum! |
| 06/07/2006 | Shh! | Public resources for ECMAScript Edition 4 |
| 06/01/2006 | Link | JavaScript 2 and the Future of the Web |
| 06/03/2006 | Par for the course | JavaScript 2 and the Future of the Web |
| 06/01/2006 | Defuzzification | Javascript department |
| 06/01/2006 | Jay Leno? Ouch! | Javascript department |
| 06/02/2006 | Departments | Javascript department |
| 06/04/2006 | Fixed | Javascript department |
| 06/04/2006 | Blame me | Javascript department |
| 06/01/2006 | setTimeout | Narrative Javascript |
| 06/02/2006 | Partial CPS | Narrative Javascript |
| 06/02/2006 | Too much recursion | Narrative Javascript |
| 05/30/2006 | Type inference for Python | Type inference for Python |
| 05/30/2006 | Type Feedback | Type inference for Python |
| 05/30/2006 | Clarification | Type inference for Python |
| 05/30/2006 | Thanks | Type inference for Python |
| 05/30/2006 | Guido doesn't get to decide :) | Type inference for Python |
| 05/29/2006 | Runtime type information | Buried Treasure - No Fluff Just Stuff |
| 06/06/2006 | Details | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | Depends on the goal | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | Meouch | Buried Treasure - No Fluff Just Stuff |
| 06/02/2006 | Slight hindrances | Buried Treasure - No Fluff Just Stuff |
| 05/29/2006 | Soft typing | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | Known by whom? | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | Ingredients for a religious debate | Buried Treasure - No Fluff Just Stuff |
| 05/31/2006 | Fact-check | Buried Treasure - No Fluff Just Stuff |
| 06/01/2006 | Fundamentalism | Buried Treasure - No Fluff Just Stuff |
| 06/02/2006 | Types and meaning | Buried Treasure - No Fluff Just Stuff |
| 06/03/2006 | Relevant my hyperbaton is | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | Axiom of forgetfulness | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | What specific type system | Buried Treasure - No Fluff Just Stuff |
| 05/23/2006 | Current setup | Editing posts |
| 05/24/2006 | Freedom to edit | Editing posts |
| 05/21/2006 | Variation on the "Chinese curse" | Erlang/OTP release with multiprocessor support |
| 05/22/2006 | Tool power => Language power | Gilad Bracha: Will Continuations continue? |
| 05/22/2006 | Straight man? | Gilad Bracha: Will Continuations continue? |
| 05/22/2006 | You don't hate tool developers, do you? | Gilad Bracha: Will Continuations continue? |
| 05/22/2006 | Yeah! Down with names! | Ethnographic Study of Copy and Paste Programming Practices in OOPL |
| 05/22/2006 | HOFs are less abstract? | Ethnographic Study of Copy and Paste Programming Practices in OOPL |
| 05/22/2006 | Know thy user? If only! | Ethnographic Study of Copy and Paste Programming Practices in OOPL |
| 05/25/2006 | Groundedness | ruby vs python |
| 05/18/2006 | Figure out the semantics first | ruby vs python |
| 05/22/2006 | Pure, lazy and lambda-like narrows it down some... | ruby vs python |
| 05/13/2006 | Invention vs. innovation | LINQ May 2006 Preview |
| 05/13/2006 | Thanks | Building Interpreters by Composing Monads |
| 06/03/2006 | Corrections | Multidimensional Virtual Classes |
| 05/03/2006 | Brains and stuff | Proofs are Programs: 19th Century Logic and 21st Century Computing |
| 05/03/2006 | Linear Logic vs GC | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/04/2006 | Is it a cost? | What do you believe about Programming Languages (that you can't prove (yet))? |
| 04/26/2006 | What it does | Build your own scripting language for Java |
| 04/26/2006 | What apps use it | Build your own scripting language for Java |
| 04/20/2006 | Better model | Lang .NET 2006 |
| 04/20/2006 | I like that song | Lang .NET 2006 |
| 04/20/2006 | Agree | Lang .NET 2006 |
| 04/23/2006 | Burden? | Lang .NET 2006 |
| 04/03/2006 | Don't forget the ultimate | Purity in PLT |
| 04/07/2006 | [OT] succ(x) | Purity in PLT |
| 04/04/2006 | See that "(new topic)" link on the left? | Native delimited continuations in (byte-code) OCaml |
| 04/01/2006 | This blog | PHP 6 picks up GOTO and COMEFROM |
| 04/01/2006 | Close enough | PHP 6 picks up GOTO and COMEFROM |
| 04/01/2006 | Ook? Ook! | PHP 6 picks up GOTO and COMEFROM |
| 03/31/2006 | Termin-ology | Class hierarchies and Ontologies |
| 04/01/2006 | One man's jargon... | Class hierarchies and Ontologies |
| 04/01/2006 | Machine understanding | Class hierarchies and Ontologies |
| 04/01/2006 | Connecting interpretations | Class hierarchies and Ontologies |
| 04/02/2006 | Don't interpreters interpret? | Class hierarchies and Ontologies |
| 04/03/2006 | Metaphor vs. projection | Class hierarchies and Ontologies |
| 04/02/2006 | Mechanically encodable semantics | Class hierarchies and Ontologies |
| 04/02/2006 | Not alone | Class hierarchies and Ontologies |
| 03/27/2006 | Off-topic | Matlab problems |
| 03/26/2006 | [admin] Domain lookup issues fixed | [admin] Domain lookup issues fixed |
| 03/27/2006 | "Everything" is checked except the bits you're ignoring | Extremely static language? |
| 03/27/2006 | Not your grandfather's Scheme | Extremely static language? |
| 03/28/2006 | What else is left | Extremely static language? |
| 03/28/2006 | The contracts are checked | Extremely static language? |
| 03/22/2006 | The Google AI | Google Magic |
| 03/23/2006 | Pagerank and AI | Google Magic |
| 03/28/2006 | Renamed for a new generation | Google Magic |
| 03/21/2006 | Fixed | Problem with forum listings |
| 03/23/2006 | Filing date | Using continuations in Web applications is patented |
| 03/17/2006 | Ain't browser UIs wonderful? | Back button & scroll position |
| 03/17/2006 | Disruptive language technologies | Social science research about programming language adoption? |
| 03/17/2006 | Indications | Programming: 50, 100 years from now |
| 03/23/2006 | Tolerate experimentation | Programming: 50, 100 years from now |
| 03/17/2006 | Expectations | ACM Queue: On Usability of Programming Languages |
| 03/10/2006 | All within the margin of error | DSLs: How and When? |
| 03/08/2006 | Scheme Language Steering Committee Report to the Community | Scheme Language Steering Committee Report to the Community |
| 03/10/2006 | State of the art-est macros | Scheme Language Steering Committee Report to the Community |
| 03/10/2006 | Now with 21% more hygiene! | Scheme Language Steering Committee Report to the Community |
| 03/12/2006 | syntax-case integration | Scheme Language Steering Committee Report to the Community |
| 03/12/2006 | Just one component | Scheme Language Steering Committee Report to the Community |
| 03/12/2006 | Non-minimal response | Scheme Language Steering Committee Report to the Community |
| 03/14/2006 | Precedent | Scheme Language Steering Committee Report to the Community |
| 03/14/2006 | Sorting | Scheme Language Steering Committee Report to the Community |
| 03/14/2006 | SRFI 32 | Scheme Language Steering Committee Report to the Community |
| 03/13/2006 | Welcome! | Scheme Language Steering Committee Report to the Community |
| 03/23/2006 | Preserving a small, elegant language | Scheme Language Steering Committee Report to the Community |
| 03/14/2006 | Why boxes? | Scheme Language Steering Committee Report to the Community |
| 02/28/2006 | Take a ride on the MTA | Tail call elimination decorator in Python |
| 03/01/2006 | What counts as flat? | Tail call elimination decorator in Python |
| 03/01/2006 | LiSP | Tail call elimination decorator in Python |
| 02/28/2006 | POJO Risin' | Leak Free Javascript Closures |
| 02/24/2006 | Fixed link | Introduction to the Java EE 5 Platform |
| 02/24/2006 | Annotations vs. POJOs | Introduction to the Java EE 5 Platform |
| 02/24/2006 | Why these frameworks? | Introduction to the Java EE 5 Platform |
| 02/27/2006 | Configuration language | Introduction to the Java EE 5 Platform |
| 03/02/2006 | Right, why reinvent wheels? | Introduction to the Java EE 5 Platform |
| 02/23/2006 | Rehab for typoholics | Gilad Is Right |
| 02/24/2006 | Mindset being the operative word | Gilad Is Right |
| 02/28/2006 | "Sound" type system? | Gilad Is Right |
| 03/01/2006 | What is the sound of a type not being checked? | Gilad Is Right |
| 03/01/2006 | Relevance, etc. | Gilad Is Right |
| 03/02/2006 | Assumptions about proof | Gilad Is Right |
| 03/01/2006 | The compromise | Gilad Is Right |
| 03/01/2006 | Wrong goal | Gilad Is Right |
| 03/01/2006 | Optional types & annotations | Gilad Is Right |
| 02/24/2006 | "Later" doesn't necessarily mean | Gilad Is Right |
| 03/01/2006 | 100% certainty is 98% irrelevant | Gilad Is Right |
| 02/24/2006 | Running a program earlier | Gilad Is Right |
| 02/25/2006 | Stubs as offerings | Gilad Is Right |
| 02/16/2006 | Duff's device qualifies | Accidental Syntax |
| 02/16/2006 | You can have it both ways | Guido: Language Design Is Not Just Solving Puzzles |
| 02/14/2006 | !(REST vs. Continuations) | Programming Languages: Application and Interpretation |
| 02/15/2006 | !(REST vs. Continuations) | Programming Languages: Application and Interpretation |
| 02/04/2006 | Scheme for scripting | Unix as programming language |
| 02/04/2006 | Except that you would really | Unix as programming language |
| 02/10/2006 | Transliterating bash to Scheme | Unix as programming language |
| 10/25/2009 | Drifting | The Next Mainstream Programming Languages |
| 10/27/2009 | [admin] | The Next Mainstream Programming Languages |
| 10/28/2009 | Glitch in the matrix | The Next Mainstream Programming Languages |
| 10/27/2009 | [admin] Probation | The Next Mainstream Programming Languages |
| 02/01/2006 | Links & quotes | What is a monad, why should I use it, and when is it appropriate? |
| 02/01/2006 | Quotation & macros | Is the .NET platform embracing quotation and macros? |
| 02/07/2006 | Eeew | line breaks? |
| 01/30/2006 | Ch..ch..ch..changes | line breaks? |
| 02/05/2006 | Expectations | line breaks? |
| 02/05/2006 | New optional input format | line breaks? |
| 02/06/2006 | Texas liberal, maybe? | line breaks? |
| 02/07/2006 | Closer to Vermont now | line breaks? |
| 02/10/2006 | Which RSS client? | line breaks? |
| 02/13/2006 | Comment feed needs upgrading | line breaks? |
| 02/07/2006 | Blockquote color | Blockquote color |
| 01/26/2006 | Lisp IDE | Choice of OS of LtU readers |
| 01/23/2006 | LtU's new server OS | Choice of OS of LtU readers |
| 01/27/2006 | Tip from an ex-MS-DOS guy | Choice of OS of LtU readers |
| 01/22/2006 | Posting disabled | Infrastructure Announcement |
| 01/22/2006 | Comment subject lines | Infrastructure Announcement |
| 01/23/2006 | Names widened | Infrastructure Announcement |
| 01/23/2006 | Tracker comment links fixed | Infrastructure Announcement |
| 01/22/2006 | Theme changes | Infrastructure Announcement |
| 01/22/2006 | Fixed | Infrastructure Announcement |
| 01/23/2006 | OK, I've fixed the user | Infrastructure Announcement |
| 01/22/2006 | Quoting issues | Infrastructure Announcement |
| 01/23/2006 | Status summary | Infrastructure Announcement |
| 01/19/2006 | Better definition (ignore Wikipedia) | Referentially Transparent Scheme |
| 01/20/2006 | ...therefore all programming | Lisp is sin |
| 01/20/2006 | Not so fast | Lisp is sin |
| 01/20/2006 | Easier for some than others, perhaps? | Lisp is sin |
| 01/20/2006 | Misunderstood genius | Lisp is sin |
| 01/22/2006 | It all makes sense now | Lisp is sin |
| 05/15/2007 | In the news | New language for kids: Scratch - Logo meets Squeak Smalltalk? |
| 01/05/2006 | Write-only programs? | Stroustrup talking about C++0x |
| 12/12/2005 | Refresh | Logging in from "recent posts" |
| 12/12/2005 | Smalltalk's stepchildren | Back to the future... |
| 12/07/2005 | Core Erlang | Envisioning a New Language: A Conversation With Victoria Livschitz |
| 12/04/2005 | Circularity | The breaking point of language usability? |
| 12/05/2005 | Languages for rednecks | The breaking point of language usability? |
| 12/06/2005 | "Languages for thought leaders" | The breaking point of language usability? |
| 12/02/2005 | Lock-Free Data Structures using STMs in Haskell | |
| 11/29/2005 | Visualizing monads | Ghost bumps |
| 11/29/2005 | Different senses of "state"? | Network Transparent languages |
| 11/27/2005 | Try the "Getting Started" thread | Getting started in language design -- reading material? |
| 11/25/2005 | Monadic Programming in Scheme | Collection of links to monad implementations in various languages. |
| 11/23/2005 | Previously on LtU | Programming language inventors quiz |
| 11/24/2005 | That's OK... | Programming language inventors quiz |
| 11/24/2005 | Benday dots | Code Reading |
| 11/21/2005 | Monads in Ruby | Monads in Ruby |
| 11/18/2005 | Re: Impedance mismatch | Felleisen: How to Design Class Hierarchies |
| 11/19/2005 | Dynamic language vs. dynamically-typed language | Ruby the Rival |
| 11/20/2005 | Less duck spirit, please | Ruby the Rival |
| 11/21/2005 | Definitions | Ruby the Rival |
| 11/22/2005 | Syntactic types and splitting definitions | Ruby the Rival |
| 11/20/2005 | Java out-duck-types Ruby? | Ruby the Rival |
| 11/19/2005 | Dynamic behavior in Java | Ruby the Rival |
| 11/21/2005 | Dynamic behavior in Java | Ruby the Rival |
| 11/16/2005 | Better languages | Battling Bugs: A Digital Quagmire |
| 11/09/2005 | -O-A- | Can one avoid monads? |
| 11/08/2005 | Tomayto | Type Nomenclature |
| 11/09/2005 | Wash, rinse, repeat | Type Nomenclature |
| 11/09/2005 | Only solved in wetware | Type Nomenclature |
| 11/08/2005 | Relating to reality | Type Nomenclature |
| 11/04/2005 | Validity | Elegant Method of binding a function variable |
| 11/03/2005 | More creativity! | Geometric Algebra |
| 11/01/2005 | [Site] Network issues | [Site] Network issues |
| 12/11/2005 | Network issues on Sunday | [Site] Network issues |
| 10/31/2005 | FPs & IDEs | Does Visual Studio Rot the Mind? |
| 11/02/2005 | General refutations for general claims | Does Visual Studio Rot the Mind? |
| 10/31/2005 | Weak-form mind rot argument | Does Visual Studio Rot the Mind? |
| 11/01/2005 | Crutches compensate for handicaps | Does Visual Studio Rot the Mind? |
| 11/01/2005 | On crutches... | Does Visual Studio Rot the Mind? |
| 11/01/2005 | Macros in IDEs | Does Visual Studio Rot the Mind? |
| 11/01/2005 | Refactoring with macros | Does Visual Studio Rot the Mind? |
| 11/01/2005 | That's OK... | Does Visual Studio Rot the Mind? |
| 11/02/2005 | ob. response | OOPSLA 2005 Reports |
| 11/03/2005 | Typechecking 2: The rehash | OOPSLA 2005 Reports |
| 11/03/2005 | Even the lists have burglar bars | OOPSLA 2005 Reports |
| 11/03/2005 | Point taken | OOPSLA 2005 Reports |
| 11/04/2005 | One more response | OOPSLA 2005 Reports |
| 11/04/2005 | Trivial - really? | OOPSLA 2005 Reports |
| 11/04/2005 | Type constructors | OOPSLA 2005 Reports |
| 11/04/2005 | Give me back my infinity! | OOPSLA 2005 Reports |
| 11/04/2005 | Separating static types from static checks | OOPSLA 2005 Reports |
| 11/04/2005 | Fast == Unimportant | OOPSLA 2005 Reports |
| 11/05/2005 | Reasonableness | OOPSLA 2005 Reports |
| 11/07/2005 | The need for sophisticated types | OOPSLA 2005 Reports |
| 11/05/2005 | Re: Types vs. Constraints? | OOPSLA 2005 Reports |
| 11/04/2005 | Statically check this! | OOPSLA 2005 Reports |
| 11/04/2005 | Not quite | OOPSLA 2005 Reports |
| 11/05/2005 | Contracts and static checking | OOPSLA 2005 Reports |
| 11/05/2005 | Clarification | OOPSLA 2005 Reports |
| 11/04/2005 | Industry security practices | OOPSLA 2005 Reports |
| 11/04/2005 | Response from Star Command | OOPSLA 2005 Reports |
| 11/04/2005 | Already discussed | OOPSLA 2005 Reports |
| 10/28/2005 | Constructive comments | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
| 10/23/2005 | But... | What do you mean by studying "programming languages"? |
| 10/23/2005 | Headline | What do you mean by studying "programming languages"? |
| 10/21/2005 | Author's intent unclear | Bruce Tate: Technologies that may challenge Java |
| 10/25/2005 | Um... | C#: Yesterday, Today, and Tomorrow: An Interview with Anders Hejlsberg |
| 10/17/2005 | Oleg's purely functional OO system | Object Oriented Programming + Referential Transparency |
| 10/19/2005 | Correction, 17 lines | Object Oriented Programming + Referential Transparency |
| 08/09/2006 | vs. Foldoc | Object Oriented Programming + Referential Transparency |
| 10/17/2005 | The most famous optional value in C | Territorial Exception Handling |
| 10/17/2005 | Exceptions only when appropriate | Territorial Exception Handling |
| 10/17/2005 | Alternative? | Territorial Exception Handling |
| 10/17/2005 | Still an optional value | Territorial Exception Handling |
| 10/17/2005 | Moving beyond exceptions | Territorial Exception Handling |
| 10/20/2005 | Re: Machine Intelligence? | Expressions vs Statements |
| 10/21/2005 | Which machine | Expressions vs Statements |
| 10/15/2005 | Perfection is down the hall | Formal methods for O/R mapping |
| 10/16/2005 | Re: Proper mapping | Formal methods for O/R mapping |
| 10/16/2005 | Do not adjust your set | Formal methods for O/R mapping |
| 10/16/2005 | CODASYL rules OK! | Formal methods for O/R mapping |
| 10/16/2005 | References | Formal methods for O/R mapping |
| 10/16/2005 | N/R mapping | Formal methods for O/R mapping |
| 10/16/2005 | Data ain't so hot | Formal methods for O/R mapping |
| 10/16/2005 | Titles here shouldn't be taken too seriously | Formal methods for O/R mapping |
| 10/17/2005 | Semantic gap filler | Formal methods for O/R mapping |
| 10/17/2005 | Where the data is | Formal methods for O/R mapping |
| 10/10/2005 | Non-scientific | The Church-Turing Thesis: Breaking the Myth |
| 10/10/2005 | Clarification | The Church-Turing Thesis: Breaking the Myth |
| 10/11/2005 | Tapes are a distraction | The Church-Turing Thesis: Breaking the Myth |
| 10/10/2005 | Brains == Monads? | The Church-Turing Thesis: Breaking the Myth |
| 10/10/2005 | Functional state representation 101 | The Church-Turing Thesis: Breaking the Myth |
| 10/06/2005 | [Admin] Probation | [Admin] Probation |
| 10/04/2005 | [Admin] Sigs | The English-Likeness Monster |
| 10/04/2005 | Example | "The Anatomy of a Loop" |
| 10/05/2005 | Re: Non-example | "The Anatomy of a Loop" |
| 10/04/2005 | The Unbearable Expressivity of Function Calls | "The Anatomy of a Loop" |
| 09/30/2005 | Edit user account | LtU etiquette |
| 09/30/2005 | Optional | LtU etiquette |
| 10/01/2005 | Wiki focus | LtU etiquette |
| 10/03/2005 | Much more the former | LtU etiquette |
| 09/27/2005 | Re: Edit Queue | LtU: Style and Focus |
| 09/27/2005 | Agreed | LtU: Style and Focus |
| 09/27/2005 | Re: Guidelines/FAQ | LtU: Style and Focus |
| 09/28/2005 | "FP forum" | LtU: Style and Focus |
| 09/28/2005 | Let's be clear | LtU: Style and Focus |
| 09/23/2005 | Continuations library for Java | Continuations library for Java |
| 09/29/2005 | Managing complexity | Continuations library for Java |
| 09/27/2005 | Motivation | Continuations library for Java |
| 09/28/2005 | Elaboration | Continuations library for Java |
| 10/06/2005 | Cool, and appropriate | Continuations library for Java |
| 01/23/2006 | Goals? | Continuations library for Java |
| 01/24/2006 | Perhaps stating the obvious, | Continuations library for Java |
| 09/22/2005 | New approach | Mondo bizarro |
| 09/22/2005 | The favorite anti-functional straw man | Ruby: Language of the Programming Übermensch? |
| 09/22/2005 | Besides... | Don Box: Scheme Is Love |
| 09/25/2005 | Confusing with CPS? | Don Box: Scheme Is Love |
| 09/27/2005 | FYI | Don Box: Scheme Is Love |
| 09/22/2005 | Doubt it | Dynamic vs. Static Typing - A Pattern-Based Analysis |
| 09/22/2005 | Delaying doesn't help | Dynamic vs. Static Typing - A Pattern-Based Analysis |
| 09/22/2005 | Another example | Dynamic vs. Static Typing - A Pattern-Based Analysis |
| 09/22/2005 | Already done | Dynamic vs. Static Typing - A Pattern-Based Analysis |
| 09/22/2005 | Who gets to pick the fruit? | Dynamic vs. Static Typing - A Pattern-Based Analysis |
| 09/22/2005 | Exciting syntax | Good languages with simple grammar |
| 09/19/2005 | Abstract data types don't depend on static checks | Most Productive FP Lang? |
| 09/15/2005 | Pierce | Category theory |
| 09/14/2005 | An Operational Semantics for R5RS Scheme | An Operational Semantics for R5RS Scheme |
| 09/13/2005 | Lambda, the Ultimate blog name | Haskell and creative freedom |
| 09/05/2005 | What do S-expressions have to | Yearning for a practical scheme |
| 11/08/2005 | re: Bigloo | Yearning for a practical scheme |
| 11/09/2005 | Lucky Luke | Yearning for a practical scheme |
| 08/27/2005 | New Server | New Server |
| 08/27/2005 | Fixed | New Server |
| 08/27/2005 | Wish lists vs. resources | Filtering Threads |
| 08/27/2005 | Some useful suggestions | Filtering Threads |
| 08/27/2005 | Maybe RSS | Filtering Threads |
| 08/16/2005 | Open to suggestion | Forum usability |
| 08/17/2005 | Which post index? | Forum usability |
| 08/17/2005 | Re: Recent Posts | Forum usability |
| 08/17/2005 | nntp | Forum usability |
| 05/05/2006 | Limiting nesting depth | Forum usability |
| 05/04/2006 | Story shelf life | Forum usability |
| 05/05/2006 | Nice idea! | Forum usability |
| 08/17/2005 | Re: slashcode | Forum usability |
| 08/17/2005 | Various replies | Forum usability |
| 08/20/2005 | Empowerment | Forum usability |
| 08/17/2005 | Mobile theme | Forum usability |
| 05/03/2006 | OK | Forum usability |
| 08/18/2005 | The engineering department is in the next building | 'Information and Computation' Open Access |
| 08/17/2005 | That's what LtU is for | 'Information and Computation' Open Access |
| 08/20/2005 | Yes, off-topic | 'Information and Computation' Open Access |
| 08/16/2005 | Safety again | Syntax Design |
| 08/16/2005 | Re: Safety | Syntax Design |
| 08/19/2005 | Re: Patterns | Syntax Design |
| 08/10/2005 | Concrete Abstractions on the web | Concrete Abstractions on the web |
| 08/10/2005 | I agree | Concatenative Language Kont |
| 08/10/2005 | Incorrect pop Correct push | Concatenative Language Kont |
| 08/10/2005 | Is not/is so titles are boring | Concatenative Language Kont |
| 08/11/2005 | Substance, please | Concatenative Language Kont |
| 08/12/2005 | reference sense pop | Concatenative Language Kont |
| 08/11/2005 | Stacks of responses | Concatenative Language Kont |
| 08/10/2005 | Differences | Concatenative Language Kont |
| 08/10/2005 | The Joy of obfuscated abstractions | Concatenative Language Kont |
| 08/10/2005 | I agree with everything you w | Concatenative Language Kont |
| 08/10/2005 | The Joy of the next 700 titles | Concatenative Language Kont |
| 08/10/2005 | Static analysis | Concatenative Language Kont |
| 08/11/2005 | No special machinery required | Concatenative Language Kont |
| 08/10/2005 | For me... | Concatenative Language Kont |
| 08/10/2005 | Fun with stacks | Concatenative Language Kont |
| 08/11/2005 | Fun with folds | Concatenative Language Kont |
| 08/12/2005 | This is not a title | Concatenative Language Kont |
| 08/12/2005 | Don't stop reading yet... | Concatenative Language Kont |
| 08/10/2005 | Wow, an improvement on Java boilerplate? | Concatenative Language Kont |
| 08/11/2005 | Slipping? | Concatenative Language Kont |
| 08/05/2005 | Overloading - Syntactic Heroin? | Overloading - Syntactic Heroin? |
| 08/05/2005 | Thanks | So what's Right and what is Wrong with the GNU GPL? |
| 08/05/2005 | You can climb out of that hole now... | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/01/2005 | Growing a mainstream language is tough | More on the "generics are evil" meme |
| 07/29/2005 | You can edit it | Deleting my Post |
| 07/29/2005 | Previously on LtU... | Language support for generating functions? |
| 07/29/2005 | Depends how it's implemented | A Typed Intermediate Language for Compiling Multiple Inheritance |
| 07/30/2005 | Separate language design from implementation, too. | A Typed Intermediate Language for Compiling Multiple Inheritance |
| 08/01/2005 | Clarifications | A Typed Intermediate Language for Compiling Multiple Inheritance |
| 07/28/2005 | *Burp!* What cake? | Happy Birthday, dear Lambda |
| 07/27/2005 | Separating interface and implementation 101 | A software engineering problem: how would functional programming solve it? |
| 07/28/2005 | Fudgets | A software engineering problem: how would functional programming solve it? |
| 07/27/2005 | A million programmers can be wrong | ACM Queue: Security Problem Solved? |
| 07/28/2005 | C has no monopoly... | ACM Queue: Security Problem Solved? |
| 07/28/2005 | Proven to produce buffer overflows and memory corruption? | ACM Queue: Security Problem Solved? |
| 08/05/2005 | Who said anything about slow? | ACM Queue: Security Problem Solved? |
| 08/05/2005 | Separating arguments | ACM Queue: Security Problem Solved? |
| 07/17/2005 | Works for me... | Termite: a Lisp for Distributed Computing |
| 07/12/2005 | One good troll deserves another | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/14/2005 | Watch where you wire that slider! | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/14/2005 | Does so! :) | Static Typing Where Possible, Dynamic Typing When Needed |
| 06/30/2005 | Compression factor | Hungarian Notation vs The Right Thing |
| 06/29/2005 | Hungering for a real typesystem | Hungarian Notation vs The Right Thing |
| 06/28/2005 | Generics are a mistake? | Generics are a mistake? |
| 06/29/2005 | All systems starting with "G" are a mistake | Generics are a mistake? |
| 06/28/2005 | Array wrinkles | Generics are a mistake? |
| 06/23/2005 | Good question | How To Read a Paper |
| 06/23/2005 | Terminology | "applicative" vs."functional" |
| 06/09/2005 | Thank you | Congrats in order |
| 05/31/2005 | Wading through the Turing tar | What is so bad about compiling? |
| 05/31/2005 | Implementation strategies | What is so bad about compiling? |
| 06/01/2005 | Tail-recursive discussion | What is so bad about compiling? |
| 06/01/2005 | Partial eval resources | What is so bad about compiling? |
| 06/02/2005 | Generality of register machine control flow | What is so bad about compiling? |
| 06/02/2005 | Direct compilation | What is so bad about compiling? |
| 06/01/2005 | [admin] dups deleted | Pure bigraphs: structure and dynamics (by Robin Milner) |
| 05/24/2005 | Haskell for C Programmers | Haskell for C Programmers |
| 05/24/2005 | Why is mutable state wrong? | Haskell for C Programmers |
| 05/18/2005 | Fairly common | AST intermediate representations |
| 05/22/2005 | Re: AST representations | AST intermediate representations |
| 05/22/2005 | Designing ASTs for interpretation | AST intermediate representations |
| 05/22/2005 | Getting Started thread | AST intermediate representations |
| 05/22/2005 | Re: FSF policy | LLVM 1.5 has been released! |
| 05/23/2005 | GCC as a reusable resource | LLVM 1.5 has been released! |
| 05/12/2005 | Quantifiers | Why Dependent Types Matter |
| 05/11/2005 | Semantics unaffected | subtext: Uncovering the simplicity of programming |
| 05/12/2005 | Sure they matter, but... | subtext: Uncovering the simplicity of programming |
| 06/04/2006 | Partial evaluation | Let's make a programming language! |
| 06/04/2006 | PE "vs" macros | Let's make a programming language! |
| 06/05/2006 | Syntactic abstraction | Let's make a programming language! |
| 06/05/2006 | Purpose of macros | Let's make a programming language! |
| 06/05/2006 | Let's slow down | Let's make a programming language! |
| 06/06/2006 | Lexing & parsing is a solved problem | Let's make a programming language! |
| 06/05/2006 | Access to syntax | Let's make a programming language! |
| 05/02/2005 | Evidence of problem? | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/02/2005 | Re: Type != Testing | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/03/2005 | Formality != existence | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/03/2005 | Static checking vs. types | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | The unreasonable effectiveness of testing | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | Re: Human-powered type checking | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | You can have both with dynamically-checked programs | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/02/2005 | Still waiting for my flying car | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/02/2005 | Too general a case | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/02/2005 | Type conversion | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/02/2005 | Getting sentimental | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/02/2005 | Not an issue | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/03/2005 | One down, ??? to go | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/03/2005 | Hiding complexity | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/03/2005 | Static traffic management | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/03/2005 | Good... but... :) | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | Compile errors | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/05/2005 | Re: Language Development Tools | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | Terminology | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | I'll figure this out eventually... | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/05/2005 | Five different meanings of "static" | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/05/2005 | Theory of static relativity | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/05/2005 | Cooperative interactive reasoning | Call for Papers: ACM Symposium on Dynamic Languages |
| 09/30/2005 | Definition may be ok, conclusion wrong | From Perl Monks: "pissed off about functional programming" |
| 09/30/2005 | Yes! | From Perl Monks: "pissed off about functional programming" |
| 09/30/2005 | For the record... | From Perl Monks: "pissed off about functional programming" |
| 09/30/2005 | Re: Misunderstandings | From Perl Monks: "pissed off about functional programming" |
| 05/03/2005 | Even older | R6RS Scheme Status Report |
| 04/27/2005 | Funny you should mention that | The Fortress Language Spec v0.618 |
| 04/27/2005 | TCO essential for FP [nothing new here] | Virtual Machine and Runtime Framework |
| 04/28/2005 | Standard stuff | Virtual Machine and Runtime Framework |
| 04/28/2005 | Tail recursion | Virtual Machine and Runtime Framework |
| 04/29/2005 | SML/NJ uses 31 bit ints | Virtual Machine and Runtime Framework |
| 04/23/2005 | Rumors of their death... | Sapir-Whorf again? |
| 04/24/2005 | Spirit of Whorf | Sapir-Whorf again? |
| 04/23/2005 | The Transterpreter is an Occa | Why do they program in C++? |
| 04/23/2005 | Scheme compiler for Lego Mindstorms | Why do they program in C++? |
| 04/25/2005 | Classes vs. interfaces [OT] | Why do they program in C++? |
| 04/26/2005 | Not just the OS | Why do they program in C++? |
| 04/26/2005 | I'll call | Why do they program in C++? |
| 04/26/2005 | Fixed, thanks | Why do they program in C++? |
| 05/13/2005 | Appel on tag bits | Why do they program in C++? |
| 04/23/2005 | Generality of lambda calculus | Computer generates verifiable mathematics proof |
| 04/25/2005 | SICM & LC | Computer generates verifiable mathematics proof |
| 04/25/2005 | Machine proofs keep us honest | Computer generates verifiable mathematics proof |
| 04/25/2005 | Re: Interesting claim | Computer generates verifiable mathematics proof |
| 04/26/2005 | Re: Perhaps they should care (2) | Computer generates verifiable mathematics proof |
| 04/14/2005 | Built-in types, operators, limitations | Denotational semantics of a DSL? |
| 04/14/2005 | Nature of types | Denotational semantics of a DSL? |
| 04/13/2005 | "Most" active | What makes a forum topic "active"? |
| 04/12/2005 | Compiler support? | Links |
| 04/13/2005 | Re: LtU | Links |
| 04/11/2005 | Cool interview | Dominus talks about HO Perl |
| 04/11/2005 | PL theory as a way off the treadmill | Dominus talks about HO Perl |
| 04/13/2005 | Internal DSLs | Language Design 101 |
| 04/11/2005 | Messenger wounded | Links Slides |
| 06/17/2005 | 1995? Sure. | Computerworld Development Survey |
| 04/08/2005 | Two requests | Two requests |
| 06/01/2006 | Margin of error | Pugs, Practicing the Theories. |
| 06/01/2006 | Oops | Pugs, Practicing the Theories. |
| 05/02/2005 | The irony is that SSA is more abstract than C | Mechanics of designing and implementing a language |
| 05/02/2005 | k is a branch, Scheme is a root | Mechanics of designing and implementing a language |
| 04/01/2005 | Is abstraction too abstract? | Fold Must Fold! |
| 03/29/2005 | Look at the wookie! | expressivity of "idiomatic C++" |
| 03/30/2005 | Not buying it | expressivity of "idiomatic C++" |
| 04/04/2005 | Sanity confirmed (in some narrow sense) | expressivity of "idiomatic C++" |
| 04/02/2005 | Haskell sez: bring it! | expressivity of "idiomatic C++" |
| 04/05/2005 | Unimperative s-exprs | expressivity of "idiomatic C++" |
| 04/04/2005 | Helping everyone | expressivity of "idiomatic C++" |
| 04/05/2005 | Recoding the hardware | expressivity of "idiomatic C++" |
| 03/23/2005 | Not alone | Post new comment vs. reply |
| 03/22/2005 | Page 3 | Print.google.com |
| 03/22/2005 | Agreed | Script Vs Java |
| 03/18/2005 | Not so simple | The fate of reduce() in Python 3000 |
| 03/17/2005 | Coining a term | Inside Software Factories |
| 03/16/2005 | Foundational Calculi for Programming Languages (intro) | Foundational Calculi for Programming Languages (intro) |
| 03/14/2005 | Isomorphism lacking | Interview with Donald Knuth |
| 03/15/2005 | The explosive path to ultimate truth | Interview with Donald Knuth |
| 03/13/2005 | Fixed, thanks. | Exploiting parser ambiguity |
| 03/10/2005 | Macro-free diets? | Educational Pearl: Automata as Macros |
| 03/10/2005 | Educational Pearl: Automata as Macros | Educational Pearl: Automata as Macros |
| 03/10/2005 | Institutionalizing | Educational Pearl: Automata as Macros |
| 03/11/2005 | Metaprogramming isn't just for fun! | Educational Pearl: Automata as Macros |
| 03/11/2005 | Saving lines of code | Educational Pearl: Automata as Macros |
| 03/11/2005 | Re: Definition of metaprogramming | Educational Pearl: Automata as Macros |
| 03/10/2005 | Standalone DSLs create semantic gaps | Educational Pearl: Automata as Macros |
| 03/11/2005 | The Middle Kingdom | Educational Pearl: Automata as Macros |
| 03/10/2005 | Host language integration | Educational Pearl: Automata as Macros |
| 03/10/2005 | Macro-based systems as compilers | Educational Pearl: Automata as Macros |
| 03/10/2005 | Macros, modules and hygiene | Educational Pearl: Automata as Macros |
| 03/11/2005 | Depends on the kind of compiler, then | Educational Pearl: Automata as Macros |
| 03/03/2005 | MLs on Zaurus | Wanted: platform-independent Standard ML |
| 03/03/2005 | Swap space | Wanted: platform-independent Standard ML |
| 02/28/2005 | New RSS Feed(s) | New RSS Feed(s) |
| 03/16/2005 | Topic title for comment RSS feed | New RSS Feed(s) |
| 03/01/2005 | Re: NNTP News? | New RSS Feed(s) |
| 03/04/2005 | Re: staying logged in | New RSS Feed(s) |
| 02/02/2007 | [admin] moved | New RSS Feed(s) |
| 02/24/2005 | Re: Grumble, grumble... | Journals and papers? |
| 03/10/2005 | Paying for access | Journals and papers? |
| 02/23/2005 | Revival | Special characters' input methods |
| 02/24/2005 | Nice idea! | Don Box: Teaching my kids to program |
| 02/20/2005 | Nominal candidate for atomicity | What are The Atoms of Programming Languages? |
| 02/21/2005 | Re: Objects and Names | What are The Atoms of Programming Languages? |
| 02/21/2005 | Objects, types, scopes, and points of execution | What are The Atoms of Programming Languages? |
| 02/22/2005 | Common denominators | What are The Atoms of Programming Languages? |
| 02/22/2005 | Function vs. lambda | What are The Atoms of Programming Languages? |
| 02/14/2005 | Global standard | SOAP considered canonical |
| 02/10/2005 | Mathworld definition | Stupid Question. |
| 02/13/2005 | When worlds collide | ACM Queue: A Conversation with Alan Kay |
| 02/08/2005 | Fixed | OpenSpice |
| 02/03/2005 | What's the goal? | Unimperative Programming Language - Teaser |
| 02/03/2005 | Die entscheidende Schadensprache | Neologism |
| 02/01/2005 | Ob. refs | Neologism |
| 01/28/2005 | You shouldn't "believe in functional progamming" | BitC, a new OS implementation language |
| 01/27/2005 | Yes, tags in ML are for GC | Langauges and Hardware... |
| 01/27/2005 | Re: Hardware support for GC | Langauges and Hardware... |
| 02/01/2005 | Link | Langauges and Hardware... |
| 01/25/2005 | No retreat, baby, no surrender | "Popular vs. Good" in Programming Languages |
| 01/26/2005 | Founding the claims | "Popular vs. Good" in Programming Languages |
| 01/28/2005 | Re: "Good languages" in practice | "Popular vs. Good" in Programming Languages |
| 01/28/2005 | Elaborating, and then some. | "Popular vs. Good" in Programming Languages |
| 01/26/2005 | Replace C++? That's unpossible! | "Popular vs. Good" in Programming Languages |
| 01/27/2005 | Debugger use case | "Popular vs. Good" in Programming Languages |
| 01/22/2005 | Re: Keeping it real | Getting Started |
| 01/21/2005 | Polymorphic type inference intro | Getting Started |
| 01/22/2005 | Teaching solid foundations | Getting Started |
| 01/23/2005 | Assortment of LC links | Getting Started |
| 11/21/2006 | Definitional Interpreters | Getting Started |
| 08/30/2007 | Felleisen's lesson plan for self-study | Getting Started |
| 01/09/2005 | More importantly... | The Four Questions |
| 01/08/2005 | Re: The scorn of LtU | Ian Bicking: The challenge of metaprogramming |
| 01/08/2005 | "Can have" vs. "do have" | Ian Bicking: The challenge of metaprogramming |
| 01/09/2005 | Guido's false dichotomy | Ian Bicking: The challenge of metaprogramming |
| 01/09/2005 | Re: Python | Ian Bicking: The challenge of metaprogramming |
| 01/10/2005 | Social/managerial | Ian Bicking: The challenge of metaprogramming |
| 01/10/2005 | Re: TCO surprise | Ian Bicking: The challenge of metaprogramming |
| 01/10/2005 | Restricting recursion arbitrarily is what doesn't fit | Ian Bicking: The challenge of metaprogramming |
| 01/08/2005 | Equal rights for tail calls | Ian Bicking: The challenge of metaprogramming |
| 01/08/2005 | How about... | Ian Bicking: The challenge of metaprogramming |
| 01/12/2005 | tailcall/return equivalence | Ian Bicking: The challenge of metaprogramming |
| 01/09/2005 | The grapes of sloth | Ian Bicking: The challenge of metaprogramming |
| 01/10/2005 | Prioritizing stack traces | Ian Bicking: The challenge of metaprogramming |
| 01/10/2005 | Yes, it's structural... wait for it... | Ian Bicking: The challenge of metaprogramming |
| 01/05/2005 | Real Soon Now | Linking comments |
| 01/04/2005 | Terminology | SPARKAda |
| 12/30/2004 | Alice who? | PL for interactive simulation |
| 12/30/2004 | Calvin & Hobbes vs. static typing | PL for interactive simulation |
| 12/29/2004 | DanFest 2004 - in honor of Dan Friedman | DanFest 2004 - in honor of Dan Friedman |
| 12/30/2004 | REST assured | Use Continuations to Develop Complex Web Applications |
| 12/30/2004 | Shopping cart defense | Use Continuations to Develop Complex Web Applications |
| 01/04/2005 | Joy == Functional Forth | New Year's Resolutions |
| 01/04/2005 | Suspicious content [OT] | New Year's Resolutions |
| 12/25/2004 | Ob. grinch: LLVM & functional languages? | Alice Through the Looking Glass |
| 12/28/2004 | Just the facts, ma'am | Alice Through the Looking Glass |
| 01/01/2005 | Reset: LLVM for advanced functional languages? | Alice Through the Looking Glass |
| 01/01/2005 | Untangling | Alice Through the Looking Glass |
| 01/02/2005 | Re: Social Issues | Alice Through the Looking Glass |
| 02/03/2005 | Battling the Black Knight | Alice Through the Looking Glass |
| 02/03/2005 | Open source vs. research | Alice Through the Looking Glass |
| 10/21/2005 | [OT] Cardinality of cultural denotations for snow | the Chinese natual language |
| 12/23/2004 | Bumped | Modelica: Modeling of Complex Physical Systems |
| 12/16/2004 | Previous mention | The Memory Pool System: Thirty person-years of memory management development goes Open Source |
| 12/18/2004 | Serial killer connection? | Killer Props for Computer Scientist! |
| 12/15/2004 | Perception bias | Casting SPELs in Lisp |
| 02/21/2006 | [admin] Spelling spammer | Misspelling. |
| 12/06/2004 | Only 20 years? ;) | Definition of Type |
| 12/07/2004 | The inexpressible importance of terms | Definition of Type |
| 12/07/2004 | Don't count out dead philosophers until you've understood them | Definition of Type |
| 12/07/2004 | Not quite | Definition of Type |
| 12/07/2004 | Not a counter, just a corollary | Definition of Type |
| 12/08/2004 | Proof of absence is not absence of proof :) | Definition of Type |
| 11/28/2004 | DSLs & visual development are a perfect match | The IDE Divide |
| 12/02/2004 | I'm sure it will be saved | LL4 Program and Abstracts |
| 12/02/2004 | I am waiting for my computer to command me | LL4 Program and Abstracts |
| 12/02/2004 | Come to ravish, come to loot / Come to play the googlish brute. | LL4 Program and Abstracts |
| 12/03/2004 | Holy rattling buzz saws, batman! | LL4 Program and Abstracts |
| 12/03/2004 | Try ll-discuss | LL4 Program and Abstracts |
| 12/12/2004 | This thing all things devours: birds, beasts, trees, flowers | LL4 Program and Abstracts |
| 12/12/2004 | Re: cache-resource-here | LL4 Program and Abstracts |
| 12/12/2004 | Controller? | LL4 Program and Abstracts |
| 11/22/2004 | Explanation | Multi-Return Function Call |
| 12/07/2007 | The Structure of the Essential Haskell Compiler | The Essential Haskell Compiler |
| 11/05/2004 | Re: Hackable? | RSS feed for forum or responses? |
| 01/31/2005 | Coming up... | RSS feed for forum or responses? |
| 11/09/2004 | Drupal config [OT] | RSS feed for forum or responses? |
| 10/28/2004 | How the inner define got its tail | Scheme Language Standardization Process: R6RS Progress Report |
| 04/05/2005 | [Ignore] New comments disabled | GMail accounts |
| 10/19/2004 | Topicality | Job / Resume postings |
| 10/19/2004 | Yes, transparent. | Job / Resume postings |
| 10/20/2004 | Fitting caps | Job / Resume postings |
| 10/20/2004 | Uh, dictionaries? | Job / Resume postings |
| 10/19/2004 | Which language would you rather think in? | Programming for non-programmers |
| 03/28/2007 | Croquet SDK 1.0 Released | Croquet Project Releases Initial Developer Release |
| 12/16/2008 | Gaping wound in control stack | Shoot-out: most annoying compiler error message |
| 09/24/2004 | Under construction... | Persistence (lack of) again |
| 09/15/2004 | Are there other implementations? | newLisp: A better Lisp/Scheme Fusion... |
| 09/15/2004 | Scheme for cross-platform scripting | newLisp: A better Lisp/Scheme Fusion... |
| 09/15/2004 | Comparing an apple to a basket of kumquats | newLisp: A better Lisp/Scheme Fusion... |
| 09/17/2004 | newLisp: A better Lisp/Scheme Fusion... | newLisp: A better Lisp/Scheme Fusion... |
| 09/15/2004 | Scheme & Lisp have excellent database support | newLisp: A better Lisp/Scheme Fusion... |
| 09/17/2004 | "No-one ever got fired for buying IBM" | newLisp: A better Lisp/Scheme Fusion... |
| 09/24/2004 | Non-ascii names | Use real names |
| 09/15/2004 | Businesses would avoid it... | More from Udell on typing |
| 09/09/2004 | Common Lisp & imperativeness | Description Logics in Literate Haskell |
| 09/08/2004 | Color | The Human-Language Interface |
| 09/09/2004 | Boxes in DrScheme | The Human-Language Interface |
| 08/31/2004 | Shouldn't be exposed | Apple Flunks First Grade Math |
| 09/02/2004 | Good overview, but wrong conclusion about languages | Lean Software, Software Jewels & Software Tools |
| 09/02/2004 | Definitely | Lean Software, Software Jewels & Software Tools |
| 08/26/2004 | Why type systems are interesting - part III: latent types | Why type systems are interesting - part III: latent types |
| 08/31/2004 | Diffinitions | Why type systems are interesting - part III: latent types |
| 09/02/2004 | Thanks | Why type systems are interesting - part III: latent types |
| 09/03/2004 | Nice catch! | Why type systems are interesting - part III: latent types |
| 07/14/2005 | Latent types aren't first class | Why type systems are interesting - part III: latent types |
| 08/26/2004 | Promoted to front page | "Types and Reflection" by Lauri Emil Alanko |
| 08/23/2004 | Re: Problem with posting | Problem with posting |
| 08/25/2004 | Question | Problem with posting |
| 08/25/2004 | Bleh | Problem with posting |
| 08/27/2004 | Re: Session Problem | Problem with posting |
| 08/22/2004 | Terms for snow | New result re "linguistic determinism" |
| 08/22/2004 | Transgressing the boundaries of numeracy | New result re "linguistic determinism" |
| 08/22/2004 | Sapir-Whorf too close to home? | New result re "linguistic determinism" |
| 08/22/2004 | It's about thinking, as much as talking | New result re "linguistic determinism" |
| 08/22/2004 | Thought without language? | New result re "linguistic determinism" |
| 08/22/2004 | Assuming the conclusion | New result re "linguistic determinism" |
| 08/23/2004 | Am so :) | New result re "linguistic determinism" |
| 08/20/2004 | Haskell is a "choice machine" | The Origins of the Turing Thesis Myth |
| 08/25/2004 | Author's reply | The Origins of the Turing Thesis Myth |
| 08/15/2004 | Site structure | New Recent posts |
| 08/13/2004 | New Paul Graham thing... | New Paul Graham thing... |
| 08/18/2004 | The newbies shall inherit the earth | New Paul Graham thing... |
| 08/18/2004 | Me, offtopic?! :) | New Paul Graham thing... |
| 08/16/2004 | Revision Control in Haskell | New Paul Graham thing... |
| 08/13/2004 | Scheme promises | Call-by-what? |
| 08/12/2004 | Inconsistency? | Udell: A strategic vision for dynamic languages |
| 08/12/2004 | Exactly! | Udell: A strategic vision for dynamic languages |
| 08/10/2004 | Namaste | Why type systems are interesting - part II |
| 08/10/2004 | Re: Point of static proofs? | Why type systems are interesting - part II |
| 08/10/2004 | Booting up | Why type systems are interesting - part II |
| 08/12/2004 | It's all Larry & Guido's fault :-) | Why type systems are interesting - part II |
| 08/27/2004 | Response in part III | Why type systems are interesting - part II |
| 08/10/2004 | Re: whew | Why type systems are interesting - part II |
| 08/11/2004 | Modulo anything, untyped languages are not unityped. | Why type systems are interesting - part II |
| 08/13/2004 | The unbearable usefulness of multiple unknown logics | Why type systems are interesting - part II |
| 08/17/2004 | Known unknowns | Why type systems are interesting - part II |
| 08/18/2004 | Type systems and God: Man's search for certainty | Why type systems are interesting - part II |
| 08/18/2004 | Re: Type systems and atheism: man's search for logic ;-) | Why type systems are interesting - part II |
| 08/12/2004 | Short uptime | Why type systems are interesting - part II |
| 08/12/2004 | Towards a broader conception of the scientific method | Why type systems are interesting - part II |
| 08/12/2004 | [OT] Politics are irrelevant | Why type systems are interesting - part II |
| 08/12/2004 | Why type systems are interesting - part II | Why type systems are interesting - part II |
| 08/13/2004 | Converging on our divergence | Why type systems are interesting - part II |
| 08/25/2004 | King's Indian Defense | Why type systems are interesting - part II |
| 08/08/2004 | Recent Posts now limited to 10 comments per thread | Folding Recent Posts |
| 08/07/2004 | In the end... | Eliminating Array Bound Checking through Non-dependent types |
| 08/05/2004 | Changing the marker is easy - suggestions? | No asterisks, please |
| 08/05/2004 | Done | No asterisks, please |
| 08/07/2004 | Viewing single messages | No asterisks, please |
| 08/08/2004 | Copycats! :) | No asterisks, please |
| 08/03/2004 | Or do they? | Tail of Nil and Its Type |
| 08/02/2004 | Default now set to 90 | Another minor usability gripe... |
| 08/05/2004 | Comments per page | Another minor usability gripe... |
| 03/11/2005 | No anonymous posts | Another minor usability gripe... |
| 08/02/2004 | Re: HTML guidelines | HTML guidelines |
| 08/02/2004 | Good point | HTML guidelines |
| 08/03/2004 | Taking away the blues | HTML guidelines |
| 08/05/2004 | Re: Use of XHTML on LtU | HTML guidelines |
| 08/03/2004 | Future enhancement | HTML guidelines |
| 08/04/2004 | Priorities | HTML guidelines |
| 08/04/2004 | Re: No rush | HTML guidelines |
| 08/02/2004 | Config bug | Cookie expiration |
| 08/04/2004 | Persistent login fixed | Cookie expiration |
| 08/01/2004 | Retargeting VMs | Udell at OSCON: IronPython news |
| 07/25/2004 | Validation | HTML editors |
| 07/23/2004 | Deferring the question | Having trouble with 'purity' |
| 07/26/2004 | The essence of pure functional programming | Having trouble with 'purity' |
| 07/23/2004 | Not sure if possible | Keywords per post? |
| 07/18/2004 | Formatting | Formatting hints from Mark |
| 07/18/2004 | Outlawing | Formatting hints from Mark |
| 07/18/2004 | There is no semantic marke | Formatting hints from Mark |
| 07/18/2004 | Formatting hints from Mark | Formatting hints from Mark |
| 07/18/2004 | semantic markup | Formatting hints from Mark |
| 07/15/2004 | Why type systems are interesting | Why type systems are interesting |
| 07/16/2004 | Re: Imperfect/incomplete knowledge | Why type systems are interesting |
| 07/18/2004 | Constraints | Why type systems are interesting |
| 08/05/2004 | Conventional type theory | Why type systems are interesting |
| 08/05/2004 | Call for references | Why type systems are interesting |
| 08/05/2004 | Why type systems are interesting | Why type systems are interesting |
| 08/06/2004 | Russell supports the modern type theorist's case | Why type systems are interesting |
| 08/03/2004 | "Type" terminological overloading | Why type systems are interesting |
| 07/24/2004 | Why type systems are interesting | Why type systems are interesting |
| 07/26/2004 | It depends | Why type systems are interesting |
| 08/07/2004 | Misleading dichotomy | Why type systems are interesting |
| 08/08/2004 | Point of static proofs? | Why type systems are interesting |
| 08/09/2004 | Re: Point of static proofs? | Why type systems are interesting |
| 08/09/2004 | Re: Point of static proofs? | Why type systems are interesting |
| 08/08/2004 | Yours but to do or die :) | Why type systems are interesting |
| 08/09/2004 | Relaxers vs. Constrainers | Why type systems are interesting |
| 08/09/2004 | One man's weeds is another's world | Why type systems are interesting |
| 08/08/2004 | Univ type alone is not enough | Why type systems are interesting |
| 07/15/2004 | Functional programming in Java | Functional programming in Java |
| 07/15/2004 | Dave's thesis committee will | Explaining monads |
| 12/16/2008 | Language embedding perspective | Explaining monads |
| 12/17/2008 | Chaos is a monad | Explaining monads |
| 12/17/2008 | There's no way Arrows can | Explaining monads |
| 12/16/2008 | Some counter-observations | Explaining monads |
| 01/08/2009 | Dissecting understandings | Explaining monads |
| 01/07/2009 | Credible alternatives in short supply | Explaining monads |
| 07/13/2004 | Reflections on reflection - Henk Barendregt | Reflections on reflection - Henk Barendregt |
| 07/12/2004 | You mentioned it in this comm | Richard Feynman and the Connection Machine |
| 07/11/2004 | No, no, no! ;) | Understanding continuations |
| 07/12/2004 | Yes, yes, yes! | Understanding continuations |
| 07/13/2004 | Re: first-class continuations | Understanding continuations |
| 07/13/2004 | Thanks | Understanding continuations |
| 12/17/2004 | Continuations for the rest of us | Understanding continuations |
| 12/17/2004 | No sacrifice necessary | Understanding continuations |
| 12/18/2004 | ...but not all the way | Understanding continuations |
| 12/18/2004 | One man's fuzzy... | Understanding continuations |
| 12/22/2004 | Un-sacrificing the truth | Understanding continuations |
| 11/18/2006 | Fast-motion replay | Understanding continuations |
| 07/12/2004 | Not so fast | Understanding continuations |
| 12/05/2006 | the metal will live on | Understanding continuations |
| 12/05/2006 | there is no try | Understanding continuations |
| 12/20/2004 | Threads vs. continuations | Understanding continuations |
| 07/12/2004 | Re: pedagogy | Understanding continuations |
| 12/20/2004 | Four thousand holes in Blackburn, Lancashire | Understanding continuations |
| 12/22/2004 | Here, sir. | Understanding continuations |
| 11/21/2006 | Hide the marinara, too | Understanding continuations |
| 11/22/2006 | Clarifying... | Understanding continuations |
| 07/11/2004 | Functional programming with GNU make | Functional programming with GNU make |
| 07/08/2004 | Refuting Zawodny | Database Abstraction Layers and Programming Languages |
| 07/08/2004 | Related question | Slashdot: "Favourite Programming Language Features?" |
| 07/09/2004 | Hmm, let's see... | Slashdot: "Favourite Programming Language Features?" |
| 07/06/2004 | 8-inch floppy? | Early history of Fortran |
| 07/06/2004 | Maybe not such a reversal? | Early history of Fortran |
| 01/23/2005 | CPS, ANF, SSA | Retrospective: The Essence of Compiling with Continuations |
| 07/05/2004 | The paper I have read concern | Holding onto JavaScript's past |
| 07/05/2004 | Mirror | ILC2002 Proceedings and Videos |
| 07/04/2004 | Majority don't necessarily use IE | An interactive historical roster of computer languages |
| 06/28/2004 | Hawking popularized it | The DSL, MDA, UML thing again... |
| 06/29/2004 | Can of worms | The DSL, MDA, UML thing again... |
| 07/04/2004 | Still overloaded | The DSL, MDA, UML thing again... |
| 06/30/2004 | That's easy | Pragmatic Programmers Interview |
| 07/01/2004 | Sure... | Pragmatic Programmers Interview |
| 07/01/2004 | Proof | Pragmatic Programmers Interview |
| 07/01/2004 | Debating debates | Pragmatic Programmers Interview |
| 07/01/2004 | Semantically-rich but unchecked comments | Pragmatic Programmers Interview |
| 06/29/2004 | Top Haskellites agree | Debugging Functional Programs |
| 06/24/2004 | D.S. of Scheme | Some stupid questions on denotational semantics |
| 06/24/2004 | Unfair? | Languages Poster |
| 06/24/2004 | Oh puh-leeze. ;o) | Languages Poster |
| 06/24/2004 | Same thing with monads | XPython |
| 06/24/2004 | XPython | XPython |
| 06/22/2004 | Definition of "interpreted language"? | 1st International Workshop on Interpreted Languages |
| 06/21/2004 | Yes, once you're logged in... | Site usage question... |
| 06/21/2004 | We originally wanted to do so | Site usage question... |
| 06/21/2004 | drupal.org | Site usage question... |
| 06/21/2004 | Not yet, but it will be. | Site usage question... |
| 08/01/2004 | Recent Posts / Tracker | Site usage question... |
| 06/21/2004 | Themes are an "unsupported feature" right now | Theme previews |
| 06/25/2004 | Theme support | The site discussions forum |
| 06/29/2004 | Working on it | The site discussions forum |
| 06/29/2004 | Fixed, thanks. | The site discussions forum |
| 06/30/2004 | Oops | The site discussions forum |
| 07/16/2004 | Yes. | The site discussions forum |
| 07/22/2004 | Unread message flag added. | The site discussions forum |
| 07/21/2004 | Re: complete names | The site discussions forum |
| 07/21/2004 | Re: names | The site discussions forum |
| 07/22/2004 | Name display width increased. | The site discussions forum |
| 07/22/2004 | Editing replied-to comments | The site discussions forum |
| 07/28/2004 | You can now edit your own submissions | The site discussions forum |
| 07/22/2004 | Known bug | The site discussions forum |
| 06/21/2004 | Thanks! | Welcome to the New, Improved LtU! |
| 05/26/2004 | Re: Continuations in Java and Java-based Web Frameworks | Continuations in Java and Java-based Web Frameworks |
| 11/20/2003 | Re: Towards the best collection API | Towards the best collection API |
| 10/22/2003 | Re: Teaching programming | Teaching programming |
| 10/22/2003 | Re: Teaching programming | Teaching programming |
| 06/29/2003 | Compilation of Functional Programming Languages using GCC -- Tail Calls | Compilation of Functional Programming Languages using GCC -- Tail Calls |
| 04/11/2003 | Re: DPROG | DPROG |
| 04/04/2003 | Re: J. McCarthy: Towards a Mathematical Science of Computation | J. McCarthy: Towards a Mathematical Science of Computation |
| 04/04/2003 | Re: J. McCarthy: Towards a Mathematical Science of Computation | J. McCarthy: Towards a Mathematical Science of Computation |
| 04/04/2003 | Re: J. McCarthy: Towards a Mathematical Science of Computation | J. McCarthy: Towards a Mathematical Science of Computation |
| 03/26/2003 | Java object models debated | Java object models debated |
| 03/27/2003 | Re: Java object models debated | Java object models debated |
| 03/27/2003 | Re: Java object models debated | Java object models debated |
| 03/27/2003 | Re: Java object models debated | Java object models debated |
| 03/27/2003 | Re: Java object models debated | Java object models debated |
| 03/13/2003 | Re: Is Inheritance a Pillar of OO? | Is Inheritance a Pillar of OO? |
| 03/13/2003 | Re: Is Inheritance a Pillar of OO? | Is Inheritance a Pillar of OO? |
| 03/13/2003 | Re: Is Inheritance a Pillar of OO? | Is Inheritance a Pillar of OO? |
| 03/14/2003 | Re: Is Inheritance a Pillar of OO? | Is Inheritance a Pillar of OO? |
| 03/14/2003 | Re: Is Inheritance a Pillar of OO? | Is Inheritance a Pillar of OO? |
| 03/18/2003 | Re: Is Inheritance a Pillar of OO? | Is Inheritance a Pillar of OO? |
| 03/14/2003 | Re: Small Time Languages | Small Time Languages |
| 03/17/2003 | Re: Small Time Languages | Small Time Languages |
| 03/18/2003 | Re: Small Time Languages | Small Time Languages |
| 03/19/2003 | Re: Small Time Languages | Small Time Languages |
| 03/19/2003 | Re: Small Time Languages | Small Time Languages |
| 03/20/2003 | Re: Small Time Languages | Small Time Languages |
| 03/20/2003 | Re: Small Time Languages | Small Time Languages |
| 03/20/2003 | Re: Small Time Languages | Small Time Languages |
| 03/21/2003 | Re: Small Time Languages | Small Time Languages |
| 03/21/2003 | Re: Small Time Languages | Small Time Languages |
| 03/21/2003 | Re: Small Time Languages | Small Time Languages |
| 02/03/2003 | Re: Guido van Rossum: Programming at Python Speed | Guido van Rossum: Programming at Python Speed |
| 02/03/2003 | Re: Guido van Rossum: Programming at Python Speed | Guido van Rossum: Programming at Python Speed |
| 02/03/2003 | Re: Guido van Rossum: Programming at Python Speed | Guido van Rossum: Programming at Python Speed |
| 02/03/2003 | Re: Guido van Rossum: Programming at Python Speed | Guido van Rossum: Programming at Python Speed |
| 02/03/2003 | Re: Guido van Rossum: Programming at Python Speed | Guido van Rossum: Programming at Python Speed |
| 12/19/2002 | Re: Developing Reliable Software with Scripting Languages | Developing Reliable Software with Scripting Languages |
| 12/20/2002 | Re: Developing Reliable Software with Scripting Languages | Developing Reliable Software with Scripting Languages |
| 12/20/2002 | Re: Developing Reliable Software with Scripting Languages | Developing Reliable Software with Scripting Languages |
| 12/20/2002 | Re: Developing Reliable Software with Scripting Languages | Developing Reliable Software with Scripting Languages |
| 12/24/2002 | Re: Developing Reliable Software with Scripting Languages | Developing Reliable Software with Scripting Languages |
| 12/01/2002 | Re: I feel like an idiot, but... | I feel like an idiot, but... |
| 12/03/2002 | Re: User-defined functions in Excel | User-defined functions in Excel |
| 12/05/2002 | Re: User-defined functions in Excel | User-defined functions in Excel |
| 11/27/2002 | Re: Impressions of the International Lisp conference ILC2002 | Impressions of the International Lisp conference ILC2002 |
| 11/20/2002 | Re: What's Wrong With RDF? | What's Wrong With RDF? |
| 11/21/2002 | Re: Introducing C#, Present and Future | Introducing C#, Present and Future |
| 11/10/2002 | Re: Executable Implementation of Scheme Denotational Semantics | Executable Implementation of Scheme Denotational Semantics |
| 10/02/2002 | Re: Linguistic Relativity Homepage | Linguistic Relativity Homepage |
| 10/02/2002 | Re: Linguistic Relativity Homepage | Linguistic Relativity Homepage |
| 09/13/2002 | Re: Interactions of Abstractions in Programming | Interactions of Abstractions in Programming |
| 09/13/2002 | Re: Perspectives | Perspectives |
| 08/29/2002 | Re: Critique of the Windows API | Critique of the Windows API |
| 07/19/2002 | Re: XLANG and WSFL: Syntactic Arsenic | XLANG and WSFL: Syntactic Arsenic |
| 07/21/2002 | Re: XLANG and WSFL: Syntactic Arsenic | XLANG and WSFL: Syntactic Arsenic |
| 04/22/2002 | Re: AOP: The 15% Solution | AOP: The 15% Solution |
| 01/06/2002 | Re: Autodep | Autodep |
| 01/06/2002 | Re: The Roots of Lisp | The Roots of Lisp |
| 01/06/2002 | Re: The Roots of Lisp | The Roots of Lisp |
| 01/04/2002 | Re: Why Lisp? | Why Lisp? |
| 01/04/2002 | Re: Why Lisp? | Why Lisp? |
| 12/22/2001 | Re: Practical Theory (was: T) | Practical Theory (was: T) |
| 12/22/2001 | Re: Practical Theory (was: T) | Practical Theory (was: T) |
| 12/22/2001 | Re: Practical Theory (was: T) | Practical Theory (was: T) |
| 12/22/2001 | Re: Practical Theory (was: T) | Practical Theory (was: T) |
| 12/23/2001 | Re: Practical Theory (was: T) | Practical Theory (was: T) |
| 12/24/2001 | Re: Practical Theory (was: T) | Practical Theory (was: T) |
| 12/15/2001 | Re: The History of T | The History of T |
| 12/15/2001 | Re: The History of T | The History of T |
| 12/16/2001 | Re: The History of T | The History of T |
| 12/16/2001 | Re: The History of T | The History of T |
| 12/17/2001 | Re: The History of T | The History of T |
| 12/18/2001 | Re: The History of T | The History of T |
| 12/18/2001 | Re: The History of T | The History of T |
| 12/18/2001 | Re: The History of T | The History of T |
| 12/18/2001 | Re: The History of T | The History of T |
| 12/18/2001 | Re: The History of T | The History of T |
| 12/18/2001 | Re: The History of T | The History of T |
| 12/19/2001 | Re: The History of T | The History of T |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |