Posts By: William Harold Newman
| Date | Post | Topic |
| 09/15/2007 | Lisp is not the ultimate DSL. | Minimal FORTH compiler and tutorial |
| 03/17/2007 | algorithms for detecting equivalence among such things | An Intensional Type Theory: Motivation and Cut-Elimination |
| 03/13/2007 | Note that I've had years to | Pico Lisp: A Case for Minimalist Interpreters? |
| 03/15/2007 | Linux for $100 and change | Pico Lisp: A Case for Minimalist Interpreters? |
| 03/13/2007 | other variants of Correct, Beautiful, Fast | Beautiful Code: Leading Programmers Explain How They Think |
| 11/04/2006 | perhaps Coq? | Want to learn something new |
| 11/06/2006 | Some microcontrollers are amazingly accessible. | Why Johnny can't code |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |