Lambda the Ultimate

type	title	author	last post
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
Forum topic	Static Typing and Expressivity Types are semantic by naasking I think Ada's approach has by naasking	nobodysbusiness	2008-05-02 15:58
Forum topic	Lisp Lovers, how would you fix Lisp or bring it up to date? Read into typed assembly by naasking I actually like LLVM very by naasking C's role could be taken over by naasking	Ben Atkin	2008-04-29 03:20
Forum topic	2nd Revision of "Thoughts about the Best Introductory Language" Indeed, background is by naasking All of the languages by naasking Indeed, and here is by naasking	shlomif	2008-04-27 01:41
Forum topic	Higher-Order Programming without Closures? Compiling for Runtime Code Generation by naasking But you pay that regardless by naasking Yes, I've always assumed by naasking I'm sure we both find it by naasking BitC goes quite a bit by naasking Modules can't have type by naasking My point wasn't the way you by naasking it looks like you're trying by naasking But the original definition by naasking Have you considered by naasking ...	naasking	2008-04-27 01:18
Forum topic	Languages best suited for scientific computing? I'm surprised! by naasking	JustinTrellis	2008-04-24 18:59
Story	Computer Science Education: Where Are the Software Engineers of Tomorrow? That we should be using more by naasking IMO, the only thing that by naasking On the contrary, some by naasking What you usually want is to by naasking Not really, because when the by naasking If I sell you a sat nav by naasking is to avoid "audits"--by by naasking Construction of secure by naasking	Ehud Lamm	2008-04-21 22:03
Story	Flexible types: Robust type inference for first-class polymorphism	naasking	2008-04-21 18:43
Forum topic	Fan Programming Language I don't see what you're by naasking	naasking	2008-04-16 22:07
Forum topic	Can local variables assignments be considered pure functional without monads? It is well-known that by naasking See here for a brief by naasking	cdiggins	2008-04-14 12:55
Story	Wadler's Blog: Penn, PADL, POPL, and Plan-X The two links you provided by naasking	Ehud Lamm	2008-04-09 19:45
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