Posts By: Carl Witty
| Date | Post | Topic |
| 06/25/2010 | David McAllester's Ontic | A lambda calculus with arbitrary set primitives |
| 02/03/2009 | pointer-tagging with non-0 bits | Tagged Arithmetic Optimization |
| 02/04/2009 | optimizing right-shift/divide | Tagged Arithmetic Optimization |
| 09/23/2008 | nice... but is it vaporware? | Intel Ct: C for Throughput Computing |
| 07/09/2008 | "hardware description" versus "hardware synthesis" | Functional Netlists |
| 06/11/2008 | random algorithms, iterate-until-done algorithms | On the importance of Turing completeness |
| 06/11/2008 | well, not quite... | On the importance of Turing completeness |
| 04/16/2008 | Ursala has interesting data types | more power and less verbiage |
| 11/20/2007 | formal methods at Intel | Samurai - Protecting Critical Data in Unsafe Languages |
| 07/09/2007 | Non-terminating compilers are not new... | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
| 07/09/2007 | dependent type system mandatory? | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
| 07/10/2007 | Reasoning about types... | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
| 07/10/2007 | complex termination arguments | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
| 02/14/2007 | Biased regex matching | Regular Expression Matching Can Be Simple And Fast |
| 02/15/2007 | Ignoring loops | Regular Expression Matching Can Be Simple And Fast |
| 02/21/2007 | Thanks! | Regular Expression Matching Can Be Simple And Fast |
| 11/14/2006 | Ambiguous grammars | Dodo |
| 11/06/2005 | Googling punctuation | Programming Language Names |
| 10/18/2005 | this is the POPLmark Challenge | Mechanizing Language Definitions |
| 10/03/2005 | parsing arithmetic | The English-Likeness Monster |
| 05/17/2005 | Haskell has context-sensitive keywords | Modern Language Features of Visual C++ 2005 |
| 03/22/2005 | Zope | Wheat - A Language for Web Sites |
| 01/18/2005 | General-purpose computation on GPU's | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
| 11/19/2004 | check out TeXmacs | Skribe 1.2b released |
| 06/07/2004 | Re: Axiom Computer Algebra System | Axiom Computer Algebra System |
| 06/24/2003 | Re: Charming Python: Using combinatorial functions in the itertools module | Charming Python: Using combinatorial functions in the itertools module |
| 05/28/2003 | Re: What's wrong with C++ templates? | What's wrong with C++ templates? |
| 05/28/2003 | Re: What's wrong with C++ templates? | What's wrong with C++ templates? |
| 06/02/2003 | Re: What's wrong with C++ templates? | What's wrong with C++ templates? |
| 03/14/2003 | Re: Larry Wall: Apocalypse 6 | Larry Wall: Apocalypse 6 |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |