Posts By: Nathan Sobo
Date | Post | Topic |
01/16/2008 | Treetop: Packrat Parser Generator for Ruby | Treetop: Packrat Parser Generator for Ruby |
07/06/2007 | Question regarding relationship of propositional logic to category theory | Question regarding relationship of propositional logic to category theory |
07/06/2007 | I accidentally replied to | Question regarding relationship of propositional logic to category theory |
07/06/2007 | Awesome! Thanks! | Question regarding relationship of propositional logic to category theory |
10/07/2006 | Unfortunately, out of date | Debugging Backwards in Time |
05/24/2006 | Trying it out | Google Web Toolkit |
05/25/2006 | Sample output fragment | Google Web Toolkit |
03/29/2006 | Good news | [ANN] Scala-2 |
03/28/2006 | Message Passing vs. Multi-Methods; Mixing the two? | Message Passing vs. Multi-Methods; Mixing the two? |
03/28/2006 | F-Script | Message Passing vs. Multi-Methods; Mixing the two? |
03/28/2006 | Brian, Slate is looking | Message Passing vs. Multi-Methods; Mixing the two? |
10/27/2005 | The Curry-Howard isomorphism | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
10/28/2005 | Thanks | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
10/03/2005 | Question: Graceful error recovery during parsing | Question: Graceful error recovery during parsing |
10/03/2005 | The idea of a "catch all" rul | Question: Graceful error recovery during parsing |
09/23/2005 | Non-Lisp, natively extensible? | Non-Lisp, natively extensible? |
08/29/2005 | Yearning for a practical scheme | Yearning for a practical scheme |
08/30/2005 | It's not taken facetiously... | Yearning for a practical scheme |
09/05/2005 | Thanks for your advice... I h | Yearning for a practical scheme |
09/05/2005 | Even though everyone loves O' | Yearning for a practical scheme |
10/06/2005 | Yes... I suppose it was a sma | Yearning for a practical scheme |
10/01/2005 | This page says the following | The Language Machine - a toolkit for language and grammar |
09/05/2005 | Parsing Expression Grammars | The Language Machine - a toolkit for language and grammar |
10/04/2005 | Another basic question... | The Language Machine - a toolkit for language and grammar |
09/22/2005 | And if it's recursion... | expressivity of "idiomatic C++" |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |