Last Updated 07/17/2012

Posts By: jdgallag

Date | Post | Topic |

01/24/2012 | Non-deterministic versus parallel function application | Non-deterministic versus parallel function application |

02/28/2009 | implementing by-value reduction in lambda calculus | implementing by-value reduction in lambda calculus |

03/01/2009 | sorry if this sounds dumb | implementing by-value reduction in lambda calculus |

03/02/2009 | okay so | implementing by-value reduction in lambda calculus |

01/26/2009 | help with type theory | help with type theory |

10/16/2008 | Constructor classes | Constructor classes |

10/17/2008 | great, thank you | Constructor classes |

06/11/2008 | On the importance of Turing completeness | On the importance of Turing completeness |

06/11/2008 | Ah thank you, | On the importance of Turing completeness |

06/12/2008 | Yes | On the importance of Turing completeness |

06/10/2008 | using foldr to do map | using foldr to do map |

06/10/2008 | thanks, that did it | using foldr to do map |

05/23/2008 | Category theory in design | Category theory in design |

05/24/2008 | I agree. Then would you | Category theory in design |

05/26/2008 | yes | Category theory in design |

05/23/2008 | or... | Understanding category theory and its practical applications |

09/16/2008 | How did that work out? | Typing a function which includes its axioms? |

09/16/2008 | In general, | Typing a function which includes its axioms? |

07/07/2008 | a note on the 8th | Graham Hutton: Programming in Haskell |

10/22/2008 | not even | Elementary Category Theory |

10/22/2008 | so | Elementary Category Theory |

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