Posts By: Kevin Donnelly
| Date | Post | Topic |
| 10/24/2005 | Other papers linear types for explicit memory mgmt | Linear types for aliased resources |
| 07/26/2005 | Full vs restricted dependent types | GADTs + Extensible Kinds = Dependent Programming |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |