Lambda the Ultimate

type	title	author	last post
Forum topic	New paper: Theory of Programs	Bertrand_Meyer	2015-07-27 16:21
Forum topic	NaNs and reflexivity	Bertrand_Meyer	2010-02-16 14:50
Forum topic	The Theory and Calculus of Aliasing Compositionality by Bertrand_Meyer Aliasing is not compositional by Bertrand_Meyer Modularity? by Bertrand_Meyer Thanks by Bertrand_Meyer Other applications by Bertrand_Meyer McCarthy / Minsky by Bertrand_Meyer Fixed by Bertrand_Meyer Frame problem by Bertrand_Meyer	Bertrand_Meyer	2010-01-27 01:40
Forum topic	Avoid a Void: eradicating null-pointer dereferencing Linked structures by Bertrand_Meyer Thanks by Bertrand_Meyer Comparisons by Bertrand_Meyer	Bertrand_Meyer	2009-08-19 23:33

---

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