Lambda the Ultimate

type	title	author	last post
Forum topic	On the (Alleged) Value of Proof for Assurance But it seems to me that by naasking	shap	2010-03-22 00:51
Forum topic	Advantages of Purity If you or someone else by naasking Perhaps my recollection is by naasking And here's the type for by naasking	giuseppemag	2010-03-21 05:41
Forum topic	Have tracing JIT compilers won? I suppose it depends what by naasking	Peter Michaux	2010-03-19 14:19
Forum topic	Reactive Extensions for .NET released this week Glitch-free? by naasking	Wolf Logan	2010-03-18 15:28
Forum topic	functional equivalance? It's not necessarily an by naasking To my mind, auditability by naasking	raould	2010-03-17 18:59
Forum topic	The Myth of the Genius Programmer What then-contemporary work by naasking Choosing the right defaults by naasking	Leon P Smith	2010-03-14 16:23
Forum topic	Small PL Thought Experiment [I looked at the paper you by naasking You may want to consider an by naasking	scottmcl	2010-03-11 18:11
Forum topic	plt vs. something else for programming in the large? Yes, but for some reason I by naasking They do towards the by naasking We need a strong optimizing by naasking So what is the improvement by naasking With software, we are bound by naasking	raould	2010-03-08 20:16
Forum topic	large-scale programming systems inspired by ecological and market systems To be fair, there is still by naasking	Ray Dillinger	2010-03-07 07:13
Forum topic	Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" From my reading, he was by naasking Where's the burden? by naasking but the design overhead of by naasking	raould	2010-03-05 22:19
Story	Can a Biologist Fix a Radio? but it ends in a plea for by naasking	James Iry	2010-03-04 03:17
Story	Joe-E: A Security-Oriented Subset of Java If you have any insights by naasking Incidentally, in retrospect by naasking We may have different by naasking Sorry, that was a by naasking This design choice was by naasking	Ehud Lamm	2010-03-02 01:35
Forum topic	Testing release of a platform for hosting pure functional web applications I think Matt just meant that by naasking For reference purposes, here by naasking you give the app a big by naasking Facet pattern, powerbox by naasking WPF is a good example. I'm by naasking I guess I just think we need by naasking I think "code-based UI by naasking The reason is that we don't by naasking Not sure about Adam's by naasking we just combine first-class by naasking	Adam Chlipala	2010-02-26 23:30
Forum topic	Erik Meijer's MSDN Channel 9 lecture series on functional programming On the other hand, you do by naasking	Z-Bo	2010-02-26 18:20
Story	Objects to Unify Type Classes and GADTs Good point. This proposal by naasking Fixed, thanks. The link by naasking As another point to ponder, by naasking	naasking	2010-02-25 13:49
Story	Social Processes and Proofs of Theorems and Programs I happen to work on a by naasking there is no continuity by naasking	Luke Gorrie	2010-02-16 22:28
Forum topic	NaNs and reflexivity Then, the NaNs propagates by naasking	Bertrand_Meyer	2010-02-16 14:50
Forum topic	Clutter Toolkit Link to Clutter is broken. by naasking	lmeyerov	2010-02-05 16:48
Forum topic	more consistent macros? What would not be reasonable by naasking Even if the HW is helping to by naasking Thus, from the above, one by naasking I wouldn't say that by naasking Let's assume they are dual by naasking then your user interface can by naasking	raould	2010-02-04 11:22
Forum topic	Genericity over tuples Arity-generic programming by naasking	Alex Rubinsteyn	2010-02-03 21:04
Forum topic	Oracles On synchronous vs by naasking I'm very much an advocate of by naasking I'm most familiar with the by naasking What is the defining by naasking I felt some need to point by naasking Functional reactive by naasking Fudgets emulate a by naasking	Jack Waugh	2010-02-03 18:31
Forum topic	What are the properties of "Functional Programming Languages"? How would one classify a by naasking A good litmus test for a by naasking	kaveh.shahbazian	2010-02-02 18:46
Forum topic	Discoverability, Language Features, and the First Step Toward Composition Hoogle does not seam to by naasking Could you explain to me how by naasking I think that services should by naasking You mean something like by naasking	scottmcl	2010-02-01 20:19
Story	Tagless Staged Interpreters for Simpler Typed Languages Translated to C# by naasking Thanks for the link. There by naasking Updated link by naasking How much can be done in the language? by naasking Administrative redices -> constant propagation by naasking Final clarification by naasking I'll try to clarify by naasking Self-interpretation->staging->dynamic linking? by naasking Can this approach be by naasking	Ehud Lamm	2010-02-01 02:27
Forum topic	Operator precedence Operator precedence by naasking	andrewzboard	2010-01-27 16:21
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