Lambda the Ultimate Weblog Topics
Last Updated 06/16/2009

Posts By: palexand

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

Chris Rathman/