Posts By: Chad Wellington
| Date | Post | Topic |
| 05/24/2012 | BDD canonicalization | Languages with 'unique' programs |
| 05/25/2012 | you're right | Languages with 'unique' programs |
| 03/26/2012 | make solutions, not problems | Parsing: The Solved Problem That Isn't |
| 03/27/2012 | I also agree well with your | Parsing: The Solved Problem That Isn't |
| 02/24/2012 | signal to noise | [Meta] Are we Reddit? |
| 01/27/2012 | Two prongs | Syntax Desugaring Algorithm Question |
| 10/03/2011 | ParaSail | Language/Compiler design blogs? |
| 09/30/2011 | I concur, plus speculation | Critical Programming Language Design |
| 09/15/2011 | Open development | Google's "The Future of JavaScript" internal memo leaked |
| 09/16/2011 | Indeed, I was being overly | Google's "The Future of JavaScript" internal memo leaked |
| 08/09/2011 | And more and more... | Programming and Scaling |
| 08/12/2011 | Orchestration is the new Scripting | Programming and Scaling |
| 05/10/2011 | dubious claim | One Pass Real-Time Generational Mark-Sweep Garbage Collection |
| 02/28/2011 | Rob Pike simply wants to | InfoQ video + transcript of Rob Pike on Go |
| 02/18/2011 | Value semantics and Haskell heredity | The Habit Programming Language: The Revised Preliminary Report |
| 02/19/2011 | Thanks all around, the | The Habit Programming Language: The Revised Preliminary Report |
| 01/31/2011 | POPL 2011 post-processing | POPL 2011 post-processing |
| 01/10/2011 | seconded | Scala Team Wins ERC Grant |
| 11/29/2010 | Ambiguous parsing | Yacc is dead |
| 11/30/2010 | language design | Yacc is dead |
| 11/30/2010 | lists | Yacc is dead |
| 09/06/2010 | Enumeration all the way | Computational equivalent of incompleteness theorems? |
| 08/17/2010 | Orc is fun but limited | The most simple concurrent language? |
| 06/25/2010 | Material Matters | Why Undergraduates Should Learn the Principles of Programming Languages |
| 05/26/2010 | teachable moments | Algol 58/60 |
| 04/15/2010 | I'm fascinated by the | seL4: Formal Verification of an Operating-System Kernel |
| 04/15/2010 | right direction | Maxine VM: A VM in Java |
| 06/18/2010 | proof as certification, etc. | On the (Alleged) Value of Proof for Assurance |
| 06/18/2010 | Confirmed | On the (Alleged) Value of Proof for Assurance |
| 06/23/2009 | Equivalence implications | SSA vs. CPS (and ANF?) |
| 10/11/2008 | Necessary Ambiguity | Parsing Expression Grammars |
| 03/14/2011 | I concur | What to do about comments? |
| 03/14/2011 | This is indeed the | What to do about comments? |
| 06/13/2008 | Contextual Background | Programming -- Principles and Practice Using C++ |
| 03/22/2008 | Standard philosophy trick | When Are Two Algorithms the Same? |
| 12/13/2007 | Orc purpose | Computation Orchestration: A Basis for Wide-Area Computing |
| 12/16/2007 | The simple answer is that | Computation Orchestration: A Basis for Wide-Area Computing |
| 12/20/2007 | Orc expressiveness | Computation Orchestration: A Basis for Wide-Area Computing |
| 12/23/2007 | ditto | Computation Orchestration: A Basis for Wide-Area Computing |
| 12/16/2007 | The first things to look at | Computation Orchestration: A Basis for Wide-Area Computing |
| 12/20/2007 | elegance still rules | Computation Orchestration: A Basis for Wide-Area Computing |
| 12/03/2007 | Uninformed GC | Quantifying the Performance of Garbage Collection vs. Explicit Memory Management |
| 12/04/2007 | got it | Quantifying the Performance of Garbage Collection vs. Explicit Memory Management |
| 11/13/2007 | Worth the Read | CSLI lecture notes made freely available |
| 08/20/2007 | Already there | Nu - new LISP like language atop of Objective-C |
| 06/10/2007 | understanding ML | ECMAScript Edition 4 Reference Implementation |
| 04/02/2007 | With both Peyton Jones and | Mutable variables eliminated from .NET |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |