Lambda the Ultimate

type	title	author	last post
Forum topic	FP in D 2.0 A type-and-single-effect by naasking A type and single effect by naasking	raould	2008-07-25 20:49
Forum topic	Multi-Artifact Languages How about Dynamic by naasking Exactly. The interface could by naasking I do not believe that the by naasking	Spencer Tipping	2008-07-21 18:59
Forum topic	Functional Programming in the ACM CS Curriculum Debating which is more by naasking SSA-form is pure, but the IR by naasking A number of those what is by naasking I totally agree. But doing by naasking I'll be more specific then. by naasking I mostly agree with what you by naasking Wow! Where I come from, by naasking ... F# (superset of by naasking I don't see any needless by naasking I think programming with by naasking ...	mwand	2008-07-19 22:42
Forum topic	Ada, the Ultimate Lambda? even went as far as by naasking	James Iry	2008-07-18 19:56
Story	Revisiting Coroutines Yes, I'm aware of this, by naasking Windows problems, stack copying by naasking Coroutines in C by naasking Yes, I note this in the post by naasking Fixed, thanks. Anybody know by naasking Module signatures for coroutines by naasking	naasking	2008-07-18 12:31
Story	Why Multi-Core is Easy and Internet is Hard Did you program your by naasking A variable in Flapjax is a by naasking I'm not trying to diminish by naasking Also nothing says that a by naasking I'm not far from believing by naasking	Peter Van Roy	2008-07-03 06:55
Story	Scaling Type Inference Now I hear some saying that by naasking the type parameter by naasking	Noel	2008-07-02 02:56
Forum topic	Breaking region nesting in type-and-effect systems? I just noticed this: In the by naasking Brief summary: Typing Safe Deallocation by naasking Typing Safe Deallocation by naasking The paper Matthieu provided by naasking Thanks for the reference. by naasking	naasking	2008-06-24 17:03
Forum topic	Writing a new language - ideas? Thanks, looks like an by naasking It works in a distributed by naasking	windozer	2008-06-24 16:47
Forum topic	On the importance of Turing completeness You would probably be by naasking fall back to folds and by naasking	jdgallag	2008-06-16 22:31
Story	Lightweight Fusion by Fixed Point Promotion I'm also not that convinced by naasking	neelk	2008-06-16 22:26
Forum topic	Preemptive concurrency via compiler-inserted checks Excellent link! This is by naasking I think you're better off by naasking Excellent points! by naasking Using signals by naasking Interesting. Have they tried by naasking Isn't that basically the by naasking (a) is not a different way, by naasking	naasking	2008-06-16 03:59
Forum topic	erlang green threads and the CLR There's more if things like by naasking Extending the Haskell by naasking Their users will be doing by naasking Then again, highly by naasking I'm much more worried about by naasking I was more thinking of by naasking In my experiments, Core 2 by naasking 64K processes is quite a few by naasking 1. Indirection really isn't by naasking Optimal asynchronous interface? by naasking	addmoreice	2008-06-11 15:21
Story	Types Considered Harmful you add type inference to by naasking Hmm, that sounds almost like by naasking I might phrase it as, by naasking	Chris Rathman	2008-06-06 17:06
Story	Computational Thinking That's why we can easily by naasking	Daniel Yokomizo	2008-06-02 23:50
Forum topic	Software complexity as means of professional advancement Well, I'm asking only by naasking That's just crazy. I'm more by naasking Not sure that would hold any by naasking But we didn't have this by naasking Much of the enterprise Java by naasking Well, runtime types for a by naasking Marshaling may have come by naasking I don't recall what state by naasking It's hard to see a ML with by naasking I think portability was by naasking ...	Denis Bredelet -jido	2008-05-30 21:24
Forum topic	Category theory in design This previous post will be by naasking	jdgallag	2008-05-29 15:49
Forum topic	Polymorphic C GNAT Ada's generics are by naasking	cjh	2008-05-21 19:17
Forum topic	Regions for Code GC? Nested lifetimes aren't by naasking Hmm, good question. I by naasking I'm not sure what you mean by naasking	naasking	2008-05-21 19:13
Story	Linear Logical Algorithms Why delete facts? Is it the by naasking	neelk	2008-05-21 13:33
Forum topic	Generic types C# uses partial by naasking	Denis Bredelet -jido	2008-05-20 16:56
Story	The irreducible physicality of security properties Didn't mean to put you on by naasking However, I think there's a by naasking Yes, I think you nailed it by naasking I was being a tad loose with by naasking object capability security by naasking I came from an OS by naasking There are certain properties by naasking On the other hand, what you by naasking	Charles Stewart	2008-05-18 14:42
Story	FPH: First-class Polymorphism for Haskell	naasking	2008-05-07 12:36
Forum topic	Is Halting Problem Valid for P? The paper makes the claim by naasking There's also a large family by naasking	ajgargand	2008-05-04 23:24
Forum topic	Static Analysis for Duck Typing Only at runtime we will by naasking From my understanding, there by naasking "An extension method with by naasking Everything I've read about by naasking Consider a pair where the by naasking [Edit: the difference being by naasking I don't see how interfaces by naasking The duck typing is in g. Say by naasking I don't think so. Consider: by naasking This sounds like by naasking	grom358	2008-05-03 22:13
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