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 |