Posts By: vicky
| Date | Post | Topic |
| 05/23/2009 | Two things you should check | Deriving Functions to Work on Different Types of Data |
| 01/15/2009 | Is my reasoning correct? | On the Strength of Proof-Irrelevant Type Theories |
| 12/08/2008 | Perl 6? | RFC on an online book |
| 10/30/2008 | Types don't get in the way | Implementations of untyped lazy lambda calculus |
| 11/08/2008 | Just to nitpick | Adequate bootstrap for compiler with defmacro? |
| 09/04/2008 | but it could be even harder, | doing letrec with lambdas |
| 05/03/2009 | Dream No. 2b | source code conversion |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |