Lambda the Ultimate

type	title	author	last post
Forum topic	Explanation of Computer Theory for Lawyers Bits are not Numbers by dmbarbour	Scott Johnson	2010-01-05 19:12
Forum topic	Unfulfilled Promises of Software Technologies? (!) Seems useless... by dmbarbour Service Layer Modularity by dmbarbour Not a comment on CLU by dmbarbour Handling Partial Failure by dmbarbour Robust error handling and good modularity by dmbarbour	scottmcl	2010-01-02 01:09
Forum topic	Ward's Wiki Blending of Viewpoints... by dmbarbour	Sean McDirmid	2009-12-28 14:50
Story	Objects as Modules in Newspeak Dependency Inversion by dmbarbour Services vs. Modules by dmbarbour	James Iry	2009-12-27 23:52
Story	No more tail calls in Javascript? Important Cases by dmbarbour RE: Problems with impure languages by dmbarbour Emphasis on the dynamic by dmbarbour Not just an Impression by dmbarbour	Noel	2009-12-23 08:32
Forum topic	Haskell and logic Symbolic and type-based by dmbarbour	Patrick Browne	2009-12-18 18:27
Story	Eleven Theses on Clojure Rules-based and Domain Objects by dmbarbour Rules Based + Domain Objects by dmbarbour Complex Domain-Object Code by dmbarbour Eliminating Modularity by dmbarbour RE: Predicate Dispatching by dmbarbour I converted by dmbarbour Oops. by dmbarbour One Extensible Language by dmbarbour Isolation Levels by dmbarbour Implementation vs. Model by dmbarbour ...	Ehud Lamm	2009-12-15 08:25
Forum topic	Implementation of Cardelli and Daan Leijen Style Record Systems? Thanks by dmbarbour Generic Programming on Record by dmbarbour Why "Polymorphism" by dmbarbour Records as Objects by dmbarbour Haskell records by dmbarbour Records and Objects by dmbarbour Motivation by dmbarbour	scottmcl	2009-12-14 21:20
Forum topic	Is Small Still Beautiful? Small runtime by dmbarbour Open or Distributed Setting by dmbarbour	scottmcl	2009-12-11 21:05
Story	Differentiating Parsers Error Recovery vs. Localization by dmbarbour	Manuel J. Simoni	2009-12-09 23:48
Forum topic	Pragmatic declarative event abstraction Clarification Request by dmbarbour	Sean McDirmid	2009-12-05 02:56
Story	John Hughes on Erlang and Haskell Not a real problem by dmbarbour Library binaries should not by dmbarbour Static Analysis != Type System by dmbarbour Refer to Informal Def by dmbarbour Open Systems Components by dmbarbour Not Generally Equivalent by dmbarbour De-facto and Implied Type Systems by dmbarbour My question remains: how can by dmbarbour No Greenspunning Here by dmbarbour Well typing proofs are not "static"? by dmbarbour ...	James Iry	2009-12-02 10:16
Forum topic	Review NP-complete Library Versioning Problem Spin the finger... by dmbarbour Objection to Realism by dmbarbour Clarification by dmbarbour Touché. by dmbarbour You are confusing... by dmbarbour Whatever is not forbidden, by dmbarbour Blaming customers is wrong by dmbarbour If your library's clients by dmbarbour Wording was confusing by dmbarbour Not a cyclic dependency problem by dmbarbour ...	Jaroslav Tulach	2009-11-30 17:55
Forum topic	Connections between Transactions and Promises/Futures? Upgrading the Cell to support Transactions by dmbarbour Not a Limit by dmbarbour Detailing your example by dmbarbour Transactions don't guarantee Determinism by dmbarbour In your example, Z is by dmbarbour Examples of Post-Commit and Decay by dmbarbour Post-commit by dmbarbour Kay's "Worlds" by dmbarbour Reversals and Answers by dmbarbour Example? by dmbarbour	naasking	2009-11-24 20:29
Forum topic	Seeking broad survey of wide range of concurrency idioms FBP and Futures by dmbarbour Composition with Transaction Barriers by dmbarbour Commutative Updates by dmbarbour You are assuming your by dmbarbour Don't Need Mutexes; Have Transactions by dmbarbour Transaction Barriers by dmbarbour Rollback more than Delete by dmbarbour Atomic Transactions by dmbarbour Breaking Deadlocks Safely by dmbarbour AXIOM: transactions should by dmbarbour ...	scottmcl	2009-11-06 19:57
Forum topic	Type constructors based on capabilities of type arguments? I used 'derived' in by dmbarbour C++ Concepts, Haskell Type Classes by dmbarbour	scottmcl	2009-10-28 20:55
Forum topic	What is a Type? 'Subsets' confuses too many by dmbarbour It Depends by dmbarbour	andrew johnson	2009-10-28 20:53
Story	Patrick Logan on Software Transaction Memory RE: STM Risks by dmbarbour RE: STM Risks by dmbarbour RE: STM Risks by dmbarbour Deadlocks and Memory Transactions by dmbarbour I am not privy to the by dmbarbour Dodging feral cats by dmbarbour Rules, Actors, and STM by dmbarbour Massively Parallel Worlds by dmbarbour collocation used when available by dmbarbour Actor Transactions by dmbarbour ...	Ehud Lamm	2009-10-26 21:48
Story	The End of the GPU Roadmap I don't agree by dmbarbour Immediate-mode Scene-graphs by dmbarbour Graphics API by dmbarbour Performance by dmbarbour Not just now... by dmbarbour Regardless of graphics API by dmbarbour Data and Codata by dmbarbour I don't even know where to by dmbarbour Total functional by dmbarbour Conal Elliot's Vertigo by dmbarbour	Noel	2009-10-23 10:03
Forum topic	The design process for Zimbu Largely pointless = by dmbarbour Revocation by dmbarbour Disruption tolerance, Security principles by dmbarbour Not 'OOP' inheritance by dmbarbour "Applications" by dmbarbour Based on 'Inspirations' by dmbarbour	ade_oshineye	2009-10-22 22:27
Forum topic	Why Pseudo-Code? Languages that Learn... by dmbarbour	Kay Schluehr	2009-10-05 18:49
Forum topic	Should method names be (module-) scoped? This sounds like horizontal by dmbarbour	Manuel J. Simoni	2009-10-04 15:38
Forum topic	Swarm now based on Scala 2.8, uses delimited continuations Ambient Authority for Distributed Computation by dmbarbour Synchronizing distributed by dmbarbour The Swarm video makes it by dmbarbour Objects are Data... by dmbarbour	sanity	2009-10-02 18:59
Forum topic	Transactional Memory versus Locks - A Comparative Case Study Thanks by dmbarbour Cilk++ by dmbarbour TM + Explicit Memory Management by dmbarbour	Tommy McGuire	2009-09-04 17:19
Forum topic	Proper Library Versioning no longer NP-Complete Public exposure of another API by dmbarbour	Jaroslav Tulach	2009-09-04 16:00
first page previous page 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