Lambda the Ultimate

type	title	author	last post
Story	Vacation Only if others adopt it. :-) by dmbarbour Ah. How embarrassing. Still, by dmbarbour WWEI by dmbarbour	Ehud Lamm	2010-04-03 20:48
Forum topic	Will data-intensive computing revolutionize programming languages? Match-makers under the hood. by dmbarbour Job of Linkers in context of Distributed Data and Services by dmbarbour A trillion times faster... by dmbarbour Issues more Algorithmic than Mechanical by dmbarbour Distributed Data Fusion, Command and Control by dmbarbour	Peter Van Roy	2010-03-30 16:54
Forum topic	Advantages of Purity RE: Purity and Security by dmbarbour Effect Subtyping by dmbarbour Problem? by dmbarbour Short-circuiting by dmbarbour exceptions in pure by dmbarbour Oh, there seems to be a by dmbarbour I would consider the example by dmbarbour Partial Annotations by dmbarbour Prior discussions by dmbarbour Premature Generalization? by dmbarbour ...	giuseppemag	2010-03-24 17:11
Forum topic	Effectful Code Transformations Analysis is Insufficient by dmbarbour Hardly a comprehensive list by dmbarbour Code Transformations for Effectful Code by dmbarbour	Ohad Kammar	2010-03-23 05:25
Forum topic	Types vs classes: what is the difference? What program properties by dmbarbour	caustic	2010-03-18 19:39
Forum topic	functional equivalance? RE: Quick Explanation by dmbarbour Though distributed systems by dmbarbour Related by dmbarbour	raould	2010-03-17 18:59
Forum topic	a "thank you" to You a fair bit at sea... by dmbarbour	raould	2010-03-16 09:09
Forum topic	Alternative method for defining statically typed variables That looks painful... by dmbarbour	Josh-Meredith	2010-03-09 14:56
Forum topic	large-scale programming systems inspired by ecological and market systems Redundancy and Feedback by dmbarbour Is there any reason to by dmbarbour Service Markets by dmbarbour	Ray Dillinger	2010-03-07 07:13
Forum topic	Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" Dumb compilers that can follow suggestions by dmbarbour it's even preferable that it by dmbarbour That also seems to imply by dmbarbour The list above is to make it by dmbarbour It is my impression that the by dmbarbour You're confusing abstractions... by dmbarbour Two mistakes by dmbarbour Forgive my ignorance but... by dmbarbour	raould	2010-03-05 22:19
Story	Can a Biologist Fix a Radio? Before the flames begin,let by dmbarbour	James Iry	2010-03-04 03:17
Story	Joe-E: A Security-Oriented Subset of Java Taming the Libraries by dmbarbour Decompiler by dmbarbour	Ehud Lamm	2010-03-02 01:35
Forum topic	Testing release of a platform for hosting pure functional web applications Should we be able to share a by dmbarbour Forms Example by dmbarbour Mashups by dmbarbour Isolation is the Exception by dmbarbour So I shouldn't be able to by dmbarbour Any command that the user by dmbarbour It isn't separate by dmbarbour Who says we want to be rid by dmbarbour The relevant question is: if by dmbarbour No, asking for the OS to by dmbarbour ...	Adam Chlipala	2010-02-26 23:30
Forum topic	What data sets would tell you the most about what sort of programming language to design? You keep reading by dmbarbour Progress by dmbarbour Too broad and vague? by dmbarbour You shouldn't presume that by dmbarbour Design Patterns or Implementation Patterns? by dmbarbour Semantics-based Code Search / Service Search by dmbarbour [format] Z-bo by dmbarbour Upgrade patterns, too, by dmbarbour	Z-Bo	2010-02-20 20:59
Story	A Lambda Calculus for Real Analysis Neat. by dmbarbour	Paul Snively	2010-02-18 00:25
Forum topic	Mutable objects with monadic methods Reactive Objects by dmbarbour O'Haskell by dmbarbour	giuseppemag	2010-02-15 01:12
Forum topic	Rapid Prototyping tools & environments from academia Technical Contradiction is Opportunity for Innovation by dmbarbour Design Trade-offs by dmbarbour Acknowledging a weakness by dmbarbour	Z-Bo	2010-02-09 23:45
Story	Continuity Analysis of Programs Truth is determined by by dmbarbour Constructive Logic by dmbarbour Observational Inequality by dmbarbour If they aren't comparable by dmbarbour Also, I think it's easy by dmbarbour I agree: no known by dmbarbour Even of integers one cannot by dmbarbour For emphasis: being closed by dmbarbour Even the formal definition by dmbarbour I've reworded the above to by dmbarbour ...	neelk	2010-02-09 04:12
Forum topic	more consistent macros? I think you underestimate by dmbarbour execution of certain by dmbarbour So what you're saying by dmbarbour Capabilities don't require Sandboxes by dmbarbour Dual by dmbarbour Stable sandboxes whitelist by dmbarbour Firewalls are themselves a by dmbarbour Trust can be made a non-issue. by dmbarbour Argh! that stubborn Sandbox Security myth... by dmbarbour in over 20 years of history... by dmbarbour ...	raould	2010-02-04 11:22
Forum topic	Oracles And where does 'Hello World' by dmbarbour RE: Locking Strategy and STM by dmbarbour FRP Resources by dmbarbour FRP 'protocols' by dmbarbour Top Level IO by dmbarbour FRP, Oracles, and Non-determinism by dmbarbour Mr. Roboto by dmbarbour FRP without binding? by dmbarbour Old Fables by dmbarbour Collect by dmbarbour ...	Jack Waugh	2010-02-03 18:31
Forum topic	Depends on what "is" is is snot by dmbarbour	andrewzboard	2010-02-03 18:16
Forum topic	Declarative binding vs. composition Missing the context, at by dmbarbour Maintained Relations by dmbarbour Ha. by dmbarbour If you can somehow make the by dmbarbour RE: SuperGlue comparison by dmbarbour 'Open' Functions with FRP by dmbarbour	Sean McDirmid	2010-02-02 15:30
Forum topic	Discoverability, Language Features, and the First Step Toward Composition Now the only thing left to by dmbarbour I do not think it means what you think it means... by dmbarbour Consideration by dmbarbour Synchronous Executive by dmbarbour Aren't virtual events by dmbarbour SSO vs. O-Caps by dmbarbour Dual Security Models? by dmbarbour Realtime Feeds by dmbarbour scoping with flat namespaces by dmbarbour RE: MDA by dmbarbour ...	scottmcl	2010-02-01 20:19
Forum topic	Declarative reactive tables Is an RT Primitive by dmbarbour Perhaps, though that seems a by dmbarbour Can't Iterate by dmbarbour Primitives subject to Variation by dmbarbour Each case where a primitive by dmbarbour Human beings aren't that by dmbarbour Opportunity, Not Onus by dmbarbour Not "Sufficiently Smart" by dmbarbour RE: Order and Isomorphism by dmbarbour representing things by dmbarbour ...	Sean McDirmid	2010-01-31 23:52
Forum topic	are rewrite systems really the bee's knees Access control lists by dmbarbour A Matter of Perspective by dmbarbour TRS and Logic Programming by dmbarbour They're Good by dmbarbour	raould	2010-01-27 19:02
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