Lambda the Ultimate

type	title	author	last post
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
Forum topic	Gilad Bracha: Cutting out Static My problem is that the by naasking One lingering issue is what by naasking After reading the Arrows by naasking I've given this some by naasking I plan to, just not with by naasking OTOH, your beef is probably by naasking In Haskell without by naasking Note that the issues with by naasking Without static (or global) by naasking This is what "Inversion of by naasking ...	Matt Hellige	2008-04-09 15:48
Forum topic	Extensible Pattern Matching via a Lightweight Language	naasking	2008-04-01 14:32
Story	CERT C Secure Coding Standard I will second Ada, and raise by naasking	Ehud Lamm	2008-03-31 17:49
Forum topic	too much indentation solution? Reddit's continuations by naasking	raould	2008-03-28 20:54
Forum topic	Relational rather than hierarchical OO packaging? Traits by naasking	raould	2008-03-26 22:03
Story	Eriskay: a Programming Language Based on Game Semantics Oh, thanks! That's a really by naasking By broken, I mean it returns by naasking Link is broken. I couldn't by naasking	neelk	2008-03-26 16:54
Forum topic	Role of Types in Evaluation Strategy It's because I am very green by naasking	cdiggins	2008-03-22 12:39
Story	Applied Metamodelling: A Foundation for Language Driven Development There is no link for BNF by naasking	cdiggins	2008-03-20 21:35
Forum topic	Confused Deputies in Programming Languages My bad! by naasking Some "application code" with by naasking Forgot something: Hopefully by naasking All the authority necessary by naasking You can handle dynamic by naasking Anywhere in your approach by naasking In order to run this by naasking The top-level main program by naasking I do think there are a by naasking I'm not (yet) convinced it's by naasking ...	naasking	2008-03-18 02:47
Forum topic	C - header files Very interesting! The CMod by naasking	bieberbrueder	2008-03-16 13:50
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