Lambda the Ultimate

type	title	author	last post
Forum topic	On the (perceived) equivalence of static and dynamically typed reflective programming languages Which HDLs are not Turing complete? by palexand	Ran	2008-10-28 23:49
Forum topic	time as a first class value? HDLs? by palexand	shahbaz	2008-02-20 01:48
Forum topic	Why is there not a PL with a mathematical type system? Tool support for OBJ, SpecWare, CASL and friends by palexand	gueven	2007-04-25 14:14

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation