Last Updated 07/17/2012

Posts By: pigworker

Date | Post | Topic |

11/15/2011 | Choosing Definitions is a Critical Skill | LTL types FRP |

11/17/2011 | Slicing up Time | LTL types FRP |

11/17/2011 | Slightly different agenda, I suspect. | LTL types FRP |

11/18/2011 | Trickles, Streams, Locality | LTL types FRP |

11/01/2011 | When is a proof-term a term which is a proof? | The Experimental Effectiveness of Mathematical Proof |

10/07/2011 | Functions as Tries? | Data, Codata, and Their Implications for Equality, and Serialization |

10/12/2011 | Isotopes and streamwatching | Data, Codata, and Their Implications for Equality, and Serialization |

10/12/2011 | my mistake, then | Data, Codata, and Their Implications for Equality, and Serialization |

10/12/2011 | dirty money where my pottymouth is | Data, Codata, and Their Implications for Equality, and Serialization |

10/14/2011 | bravo! | Data, Codata, and Their Implications for Equality, and Serialization |

10/08/2011 | What if β is codata? | Data, Codata, and Their Implications for Equality, and Serialization |

05/19/2011 | Hoare Logic and Monads | Kleisli Arrows of Outrageous Fortune |

LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |