Posts By: Artyom Shalkhakov
| Date | Post | Topic |
| 10/25/2010 | Very promising | Erasure and Polymorphism in Pure Type Systems |
| 08/25/2010 | Linear logic? | Reading advice on memory management |
| 07/09/2010 | Nobody asked this, so I'll | The Rust Language |
| 07/02/2010 | Temporal and linear LP for GUIs | Logic programming based GUI framework |
| 02/22/2010 | Tangible Functional Programming | Embedded Domain-Specific Editors |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |