Posts By: Patrick Browne
| Date | Post | Topic |
| 11/11/2011 | Maude | Is the Expression Problem Fundamental? |
| 11/07/2011 | Haskell V Java type checking | Haskell V Java type checking |
| 11/07/2011 | functions added | Haskell V Java type checking |
| 11/07/2011 | Nor do I see anything that connects the data types C and D to th | Haskell V Java type checking |
| 07/16/2010 | Is lambda calculus a logic? | Is lambda calculus a logic? |
| 12/14/2009 | Haskell and logic | Haskell and logic |
| 12/17/2009 | Reason (3) does not seem to be a valid one. | Haskell and logic |
| 12/15/2009 | Where is the logic in Haskell? | Haskell and logic |
| 07/23/2009 | Approaches to dependent types(DT) | Approaches to dependent types(DT) |
| 03/26/2009 | Haskell's type classes and CafeOBJ's module system | Haskell's type classes and CafeOBJ's module system |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |