Posts By: gueven
| Date | Post | Topic |
| 04/20/2007 | Why is there not a PL with a mathematical type system? | Why is there not a PL with a mathematical type system? |
| 04/21/2007 | How is that "linked to reality" ? | Why is there not a PL with a mathematical type system? |
| 04/21/2007 | Making things clearer (I hope) | Why is there not a PL with a mathematical type system? |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |