Posts By: Bob Atkey
| Date | Post | Topic |
| 10/05/2009 | On HOAS | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |
| 10/06/2009 | Fear of the dark | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |