Lambda the Ultimate

type	title	author	last post
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
Forum topic	Apple "adds closures to C" in Mac OS X 10.6 Good implementation... by dmbarbour Const binding by dmbarbour Rules governing memory by dmbarbour	Carlos Scheidegger	2009-09-03 16:10
Forum topic	Categories, the homemade object system Inconsistent... by dmbarbour	mikel evins	2009-08-31 04:50
Forum topic	best superset language... That's another way of by dmbarbour Forth by dmbarbour	ceti331	2009-08-27 06:01
Forum topic	Theoretical Foundations for Practical Totally Functional Programming, by Colin Kemp Does the totally functional by dmbarbour Not Practical Yet by dmbarbour	Colin Kemp	2009-08-26 03:13
Forum topic	Receiver knowing the sender? I've encountered this in by dmbarbour Distributed programming by dmbarbour I/O based composition by dmbarbour Second class I/O by dmbarbour Good meta-object protocol? by dmbarbour Poorly defined by dmbarbour Something that can look at by dmbarbour Reflection is a design bug by dmbarbour Coupling and Delegation by dmbarbour	BigZaphod	2009-08-25 21:27
Forum topic	Why determinism matters in language design. Debunking the "expensive by dmbarbour Laziness and Lenience by dmbarbour	John Carter	2009-08-25 18:56
Story	Expressive Modes and Species of Language Expressive Modes? by dmbarbour	Charles Stewart	2009-08-25 15:11
Forum topic	The Discrete Event Calculus as a Programming Language Multiple Causes for a Fluent by dmbarbour Links by dmbarbour	Matthew Fuchs	2009-08-20 19:46
Forum topic	functions vs procedures.. Thanks for the reference. by dmbarbour Unwise by dmbarbour I prefer by dmbarbour	ceti331	2009-08-20 18:05
Forum topic	something strange happened after implementing a first interpreter There are many paths before by dmbarbour	Peter Michaux	2009-08-19 18:18
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