Last Updated 08/02/2008

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 |