Lambda the Ultimate

type	title	author	last post
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
Forum topic	The Theory and Calculus of Aliasing Software Is Composition by dmbarbour Aliasing Calculus vs. Implementation Hiding by dmbarbour	Bertrand_Meyer	2010-01-27 01:40
Forum topic	Graph processing Reactive, Live Programming by dmbarbour	richk	2010-01-25 23:26
Forum topic	Syntax of Literal Tables (Assocative Collections) and Auto-generated fields run-of-the-mill programmers by dmbarbour Memory Addressed IDs by dmbarbour cryptic map@list \(X Y Z)-- by dmbarbour Opaque Identity and Referential Transparency by dmbarbour	cdiggins	2010-01-21 22:49
Forum topic	does anybody want to fix wikipedia? I don't agree with much of by dmbarbour Huh? by dmbarbour	raould	2010-01-12 00:57
Story	The year in review, and What's to come Granted. by dmbarbour Twitter by dmbarbour	Ehud Lamm	2010-01-07 17:30
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
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