Posts By: ping
| Date | Post | Topic |
| 05/20/2007 | Two major holes in the argument | Social Processes and Proofs of Theorems and Programs |
| 02/12/2006 | The "real question" | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | Other programmers, of | Guido: Language Design Is Not Just Solving Puzzles |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |