Lambda the Ultimate

type	title	author	last post
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
Forum topic	Web hosting for Haskell/Lisp/Scheme Thanks for the link! I had by naasking	Morris Johns	2009-01-10 07:39
Story	Automated Code Review Tools for Security Norm has a page describing by naasking Protecting the references by naasking There are a number of by naasking Invalid link! by naasking Did I forget to mention the by naasking Do you happen to have a link by naasking it assumes that every by naasking What do you mean by by naasking	Ehud Lamm	2009-01-09 20:00
Story	Python 3000 Status Update I agree, explicit return is by naasking	Mark Evans	2009-01-03 03:49
Story	Prediction for 2008 The JVM platform, rather by naasking Instead, you'll see "monads by naasking (3) Scala will finally get a by naasking	Ehud Lamm	2008-12-29 15:56
Forum topic	Io I've seen the "leaks by naasking I'm not sure what you mean by naasking it typically runs slower by naasking	Ehud Lamm	2008-12-24 22:15
Forum topic	Extensible tuples? Extensible records by naasking	Alex Rubinsteyn	2008-11-17 18:04
Forum topic	Q: Modularizing SQL? But if, on the other hand, by naasking The lambda calculus is by naasking Is not the data model XQuery by naasking There is some advantage to by naasking At least in your example, by naasking No abstraction by naasking	sciomako	2008-11-15 13:40
Forum topic	Web application shootout? Maybe the best you can do is by naasking	Adam Chlipala	2008-11-15 13:21
Story	Modeling Abstract Types in Modules with Open Existential Types	naasking	2008-11-11 01:23
Forum topic	Oz/K: A kernel language for component-based open programming Link that works for me. Or by naasking	Isaac Gouy	2008-11-07 09:17
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