Lambda the Ultimate

type	title	author	last post
Forum topic	How to ensure safety when millions of users inject scripts into a running system? Maybe this is why Mono by naasking	shahbaz	2009-04-20 11:05
Story	Semantics of Memory Management for Polymorphic Languages Good references. I hadn't by naasking	James Iry	2009-04-16 00:08
Forum topic	Twitter and Scala Quote: "the initial ruby by naasking Your link is invalid. the by naasking	snedunuri	2009-04-08 19:30
Story	Announcing the Haskot Yes, I think this mascot by naasking	Anton van Straaten	2009-04-02 02:16
Story	Closing the Stage: From Staged Code to Typed Closures Can you explain what's going by naasking Cut-elimination, typed compilation via record calculus by naasking Thanks for the great by naasking Typed Compilation - IncopeTypecheck.hs by naasking This is a fascinating read, by naasking	Ehud Lamm	2009-03-30 23:29
Forum topic	Influence of cognitive models on programming language design In any case, I'd suggest by naasking	Srikumar Subramanian	2009-03-26 21:04
Story	C++ Futures What semantics are expected by naasking Coming from E and Waterken, by naasking But futures aren't by naasking Remember that just because by naasking "Initiation ≤ Completion" by naasking Futures are when the by naasking with futures the consumer by naasking Often it is synonym for by naasking With laziness, the by naasking ..."real" promises shouldn't by naasking ...	Chris Rathman	2009-03-19 15:25
Story	Process calculi for transactions Given your interest in by naasking Assembly should, in your by naasking If you fail to classify by naasking No, all of which can be by naasking If you have 'val x = by naasking It seems to me that 'cannot by naasking This inconsistency really by naasking (1) their capacity for by naasking Orc wouldn't be the choice by naasking From what I've read, the Orc by naasking ...	Charles Stewart	2009-03-06 09:15
Forum topic	Declarative layout and/or UI languages? That's a really good link, by naasking Really you should take a by naasking Property models is by naasking We were actually referring by naasking Sorry for being absent from by naasking	naasking	2009-02-18 10:05
Forum topic	Microsoft PDC "Language" Talks Runtime checks buy us by naasking	shahbaz	2009-02-12 12:16
Forum topic	Looking for papers describing advanced language topics in terms of C programming No stress testing yet to be by naasking While not complete, my by naasking	derekp	2009-02-12 06:39
Forum topic	On the (Im)possibility of Obfuscating Programs But, for almost every other by naasking	Jason Dusek	2009-02-11 04:08
Forum topic	How best to add a record type to my typed Scheme variant? I expect that it does, but by naasking	Sam Rushing	2009-02-06 21:00
Story	Twilight of the GPU Efficient on-the-fly Cycle by naasking	Noel	2009-02-06 16:44
Forum topic	Tagged Arithmetic Optimization TIL uses "nearly" tag-free by naasking Really? I thought the only by naasking BTW, there are some crazy by naasking Thanks for the heads up! by naasking Unfortunately, by naasking I wasn't using the C by naasking Unscientific benchmarks, constructor discrimination by naasking You are correct. Here's the by naasking Really OT? by naasking I wouldn't implement by naasking	naasking	2009-02-04 22:32
Forum topic	Explaining monads Monads as Finite State Machines by naasking In my opinion (supported by by naasking Speaking of monadic parser by naasking Don't be so sure. F# by naasking	Ehud Lamm	2009-01-30 11:43
Forum topic	The Origins of the BitC Programming Language It occurred to me this by naasking I was going to post this by naasking You're right that I haven't by naasking My mistake! I thought it was by naasking All disk controllers have a by naasking The notable recent exception by naasking the stab at Linux isn't very by naasking Well, if there is sufficient by naasking	Isaac Gouy	2009-01-30 00:38
Story	2008 In Review - What Happened with Programming Languages? Fixing GC memory leaks. by naasking Some of your conjectures are by naasking all of which leads me more by naasking Is the internal guerilla war by naasking Well, a little of both given by naasking F# will be apprehensively by naasking Sometimes a more complicated by naasking	James Iry	2009-01-28 12:15
Forum topic	Detailed discussion forum and/or IRC channel? I think the reason the "no by naasking	strog	2009-01-28 05:29
Forum topic	Non-standard type theories for FP These were all discussed on by naasking Are the only difficulties by naasking That's how I read marco's by naasking I don't get it. Where is the by naasking And '(forall a. a) -> by naasking	marco	2009-01-25 03:59
Forum topic	Question concerning parameterization over literals "you can't just abstract by naasking Number-Parameterized Types by naasking	shap	2009-01-23 19:27
Forum topic	Fundamental Flaws in Current Programming Language Type Systems I have yet to see a proposal by naasking Ah, but continuing my by naasking The stronger typing can be by naasking I must be missing something. by naasking I'm objecting to the fact by naasking Basically, I'm suggesting by naasking Functorizing code is about by naasking I see, view patterns seems by naasking Suppose you have a function by naasking That [edit: minus the by naasking ...	Bruce Rennie	2009-01-16 16:42
Forum topic	Monads = lazy, effect types = strict? Thanks for the concise by naasking What would be the by naasking	dpmulligan	2009-01-13 02:20
Forum topic	Typed lambda calculii with type-indexed families of functions instead of polymoprhic functions? Staging would suit your by naasking	andhow	2009-01-13 01:10
Forum topic	Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) It's a requirement in by naasking Parametricity is violated in by naasking	scottmcl	2009-01-11 22: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