Posts By: billpage
| Date | Post | Topic |
| 03/25/2008 | Algebraist Network | Algebraist Network |
| 03/27/2008 | simplification of types | Algebraist Network |
| 03/28/2008 | Papers by Erik Poll and Simon Thompson | Algebraist Network |
| 03/28/2008 | Prototype implementation of a modified type system for Aldor | Algebraist Network |
| 03/30/2008 | dependent types are bad | Algebraist Network |
| 03/25/2008 | Aldor is a dependent-typed programming language with overloading | Dependent Types, Generic Programming and Overloading. |
| 03/09/2005 | Axiom and mathematical analysis | Calculemus 2005 |
| 03/10/2005 | what is the type of diff? | Calculemus 2005 |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |