Lambda the Ultimate

type	title	author	last post
Forum topic	On the (Alleged) Value of Proof for Assurance Our Ugly Code by Randall Schulz	shap	2016-11-24 01:04
Forum topic	iPhone PL lockdown "Over the Line" *When*? by Randall Schulz	Sean McDirmid	2011-12-24 05:49
Forum topic	Babel-17 v0.2 spec is out I think my response to every by Randall Schulz	Steven Obua	2010-12-11 00:22
Forum topic	Deprecating the Observer Pattern Gotta' Love the Argot! by Randall Schulz What's in a Glitch? by Randall Schulz	Alex Cruise	2010-09-28 03:56
Forum topic	Containers and Inheritance Scala Variance by Randall Schulz	bfraser	2010-07-28 19:53
Forum topic	large-scale programming systems inspired by ecological and market systems Requiring humans to monitor by Randall Schulz Markets as Designs by Randall Schulz	Ray Dillinger	2010-03-07 07:13
Story	Extending the Scope of Syntactic Abstraction Final Publication by Randall Schulz	Manuel J. Simoni	2010-03-05 04:14
Forum topic	The Theory and Calculus of Aliasing The Frame Problem? by Randall Schulz	Bertrand_Meyer	2010-01-27 01:40
Forum topic	Quantum Lambda Calculus The Transactional Interpretation by Randall Schulz	Wolf Logan	2010-01-24 22:41
Forum topic	Unfulfilled Promises of Software Technologies? (!) Software Components by Randall Schulz Parkinson's Law for Software Technologies by Randall Schulz	scottmcl	2010-01-02 01:09
Forum topic	Is (probabilistic) non-determinism pure ? Keeping Terms Where They Belong by Randall Schulz	Steven Obua	2009-12-30 21:38
Forum topic	A question of metadata Clojure's Example? by Randall Schulz	Denis Bredelet -jido	2009-12-25 20:31
Story	Project Euler PE Popular w/ Clojure Newcomers by Randall Schulz	Chris Rathman	2009-02-07 15:19
next page last page

---

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