Posts By: palexand
| Date | Post | Topic |
| 10/20/2008 | Which HDLs are not Turing complete? | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 02/20/2008 | HDLs? | time as a first class value? |
| 04/23/2007 | Tool support for OBJ, SpecWare, CASL and friends | 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 |