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 |