Posts By: Nick Benton
| Date | Post | Topic |
| 09/29/2006 | Slides | Machine Obstructed Proof |
| 09/29/2006 | That's not what I meant | Machine Obstructed Proof |
| 02/05/2006 | Or, just use Coq | Inverse typechecker and theorem proving in intuitionistic and classical logics |
| 09/23/2005 | Is so! | Most Productive FP Lang? |
| 03/01/2005 | "supporting monads should be straightforward" | Embedded Interpreters |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |