Posts By: Lucius Gregory Meredith
Date | Post | Topic |
05/15/2008 | Sets versus other collection types in species construction | Species: making analytic functors practical for functional programming |
05/26/2008 | The role of Set in species | Species: making analytic functors practical for functional programming |
05/30/2008 | Places to put data are overrated | Species: making analytic functors practical for functional programming |
01/16/2007 | Help with a little geometric hackery... | Help with a little geometric hackery... |
01/17/2007 | Bulk of the implementation in place | Help with a little geometric hackery... |
01/08/2007 | Proofs and puddings -- or, how pure is the pure lambda calculus, pt 3 | Proofs and puddings -- or, how pure is the pure lambda calculus, pt 3 |
12/27/2006 | Reference and reasoning -- or, how pure is the pure lambda calculus, part 2 | Reference and reasoning -- or, how pure is the pure lambda calculus, part 2 |
12/29/2006 | Would you like the π or the λ version? | Reference and reasoning -- or, how pure is the pure lambda calculus, part 2 |
12/23/2006 | Quotation and evaluation -- or, how pure is the pure lambda calculus? | Quotation and evaluation -- or, how pure is the pure lambda calculus? |
12/23/2006 | Great feedback | Quotation and evaluation -- or, how pure is the pure lambda calculus? |
12/24/2006 | Links to the games literature | Quotation and evaluation -- or, how pure is the pure lambda calculus? |
12/26/2006 | Thanks for continuing to provide quality feedback! | Quotation and evaluation -- or, how pure is the pure lambda calculus? |
12/26/2006 | Compositional account? | Quotation and evaluation -- or, how pure is the pure lambda calculus? |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |