Posts By: DavidA
| Date | Post | Topic |
| 10/21/2010 | Use with care | Using Hackage to Inform Language Design |
| 10/23/2010 | What I wanted overlapping instances for ... | Using Hackage to Inform Language Design |
| 10/15/2009 | Proof theory? | Course in mathematical logic with applications to computer science |
| 10/30/2007 | Doesn't Godel's theorem also apply to intuitionistic logic? | Gödel, Nagel, minds and machines |
| 04/24/2007 | Calculus is the approximation, not vice versa | Why is there not a PL with a mathematical type system? |
| 06/19/2006 | Because it's easier to change libraries than languages | Why only 'minimal' languages |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |