Lambda the Ultimate

type	title	author	last post
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? And visualization comes with that by lucio	John Carter	2009-05-23 23:23
Forum topic	Why is there not a PL with a mathematical type system? Elaboration of why analysis is hard. by lucio	gueven	2007-04-25 14:14
Forum topic	Rules for Developing Safety-Critical Code Statestep by lucio MISRA C by lucio	Peter J. Wasilko	2006-06-25 21:26

---

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