Posts By: jemfinch
| Date | Post | Topic |
| 12/03/2010 | There is beauty in every | On the (Alleged) Value of Proof for Assurance |
| 09/10/2008 | I could not be *more* | Polymorphic Algebraic Data Type Reconstruction |
| 10/23/2006 | It does exist in MLTon, | Specifying ECMAScript via ML |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |