Lambda the Ultimate

type	title	author	last post
Forum topic	On the (Alleged) Value of Proof for Assurance The crucial bits are out there. by Gerwin Klein	shap	2016-11-24 01:04

---

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