Lambda the Ultimate

type	title	author	last post
Forum topic	Abstraction Driven (MDA++) I have no idea what this by Jules Jacobs	raould	2011-12-01 00:27
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman I don't know of any sources by Jules Jacobs It is well known that no by Jules Jacobs By picking mutations from a by Jules Jacobs That last part is easy by Jules Jacobs That's what wrapping is, by Jules Jacobs Why is wrapping not possible by Jules Jacobs I see now :) by Jules Jacobs What do you mean? by Jules Jacobs The in keyword is just how by Jules Jacobs Here's a quote from the by Jules Jacobs ...	puredanger	2011-11-19 23:37
Forum topic	Is the Expression Problem Fundamental? Perhaps I'm not by Jules Jacobs What I mean is by Jules Jacobs interfaces and type classes by Jules Jacobs How do you reconcile that by Jules Jacobs Where are the actual methods by Jules Jacobs If you redefine "error", by Jules Jacobs As always, it's a trade-off by Jules Jacobs I think he's saying that by Jules Jacobs	David Minor	2011-11-16 21:59
Story	The Experimental Effectiveness of Mathematical Proof I'm not sure that I by Jules Jacobs Take mergesort in Coq, a by Jules Jacobs Reduce that cost and by Jules Jacobs You're right. Rich would by Jules Jacobs Sure, nobody is denying that by Jules Jacobs The whole point is that by Jules Jacobs Yes by Jules Jacobs Then as far as I can see by Jules Jacobs Exactly. As programmers by Jules Jacobs The paper relates by Jules Jacobs ...	Paul Snively	2011-11-12 12:16
Forum topic	"Crutches in language design", accidental complexity and feature overlap So you'd need to write all by Jules Jacobs	gasche	2011-11-07 11:46
Story	What needs to be done? I did something like that by Jules Jacobs Color of the bike shed by Jules Jacobs A static compiler can inline by Jules Jacobs If anything JIT compilers by Jules Jacobs Strings are not a good by Jules Jacobs	Ehud Lamm	2011-11-07 05:29
Story	Extensible Programming with First-Class Cases I've implemented something by Jules Jacobs Thanks for you explanation. by Jules Jacobs As I read that sentence, by Jules Jacobs n00b questions by Jules Jacobs What's a good introduction by Jules Jacobs	naasking	2011-11-05 14:53
Story	Opa Thanks, that sheds a lot of by Jules Jacobs Too vague to infer practical implications by Jules Jacobs Mental rewiring by Jules Jacobs	Ehud Lamm	2011-10-28 01:42
Forum topic	What space does SQL cover, or, why is max so weird in SQL? The set of operations that by Jules Jacobs	bdenckla	2011-10-26 20:00
Forum topic	Data, Codata, and Their Implications for Equality, and Serialization AFAICT you also want by Jules Jacobs	Douglas McClean	2011-10-14 15:45
Forum topic	Parallel frameworks for graph processing Can you recommend a short by Jules Jacobs	lmeyerov	2011-10-13 18:11
Forum topic	F# type providers Closely related by Jules Jacobs	Gabriel Horvath	2011-10-12 08:43
Forum topic	Redesigning the Mozart virtual machine That approach has yielded by Jules Jacobs Perhaps you can take by Jules Jacobs Memory isn't scarce anymore, by Jules Jacobs	Peter Van Roy	2011-10-04 22:20
Forum topic	Sample applications for programming languages While this is a nice by Jules Jacobs Neel's and your approach by Jules Jacobs In Haskell you would have to by Jules Jacobs Thanks. So Flapjax is not a by Jules Jacobs Could you sketch the details by Jules Jacobs That's not really true, by Jules Jacobs Yes, you'd have to do a by Jules Jacobs So you view FRP as a kind of by Jules Jacobs Right, I even used it in my by Jules Jacobs For FRP GUI widget creation, by Jules Jacobs ...	Jules Jacobs	2011-09-28 21:00
Story	Programming and Scaling Using timeouts means you by Jules Jacobs It would be ludicrous to by Jules Jacobs I would disagree with this by Jules Jacobs If you insist on separating by Jules Jacobs That would be surprising by Jules Jacobs I'm really not liking the by Jules Jacobs Eventually calls are by Jules Jacobs Anyhow, I gave you some by Jules Jacobs What does by Jules Jacobs This idea is one that people by Jules Jacobs ...	Manuel J. Simoni	2011-08-23 16:56
Forum topic	The this argument in dynamic programming languages with OO and first-class functions Actually, the fact that by Jules Jacobs	Tom Primožič	2011-08-22 19:36
Forum topic	Delimited Continuations Blues? Implementing effects on top of delimited continuations by Jules Jacobs Wow, that page is full of by Jules Jacobs	Manuel J. Simoni	2011-08-22 15:00
Story	Lightweight Monadic Programming in ML What is the problem with by Jules Jacobs I'm sure you have a much by Jules Jacobs That seems to be the by Jules Jacobs What I achieve by it is by Jules Jacobs That is exactly what I'm by Jules Jacobs Here is one way to by Jules Jacobs	Paul Snively	2011-08-10 20:39
Story	Yacc is dead Also interesting by Jules Jacobs What are you using left by Jules Jacobs	James Iry	2011-08-10 17:06
Forum topic	Is it possible to write code that works the very first time? The requirements (or by Jules Jacobs Link? by Jules Jacobs I agree completely, partial by Jules Jacobs Note that sort checks by Jules Jacobs I see how you could read by Jules Jacobs The comparison I'm making is by Jules Jacobs I'll ignore the ad hominems by Jules Jacobs More seriously, I don't by Jules Jacobs	M Riccobene	2011-08-10 11:43
Forum topic	Implementor's guide/tutorial to delimited continuations? That is an implementation by Jules Jacobs Sure, delimited by Jules Jacobs It sounds like what you want by Jules Jacobs	Manuel J. Simoni	2011-08-02 18:56
Forum topic	The Last Language? This is a rather short term by Jules Jacobs	Dominic Fox	2011-07-20 14:51
Forum topic	Of Course ML Has Monads! Can the same be done for comonads? by Jules Jacobs	Ohad Kammar	2011-07-14 14:24
Forum topic	Wide Scope Dead Code Analysis Compiler Analyses by Jules Jacobs	Alexander Morou	2011-06-10 02:05
Forum topic	Types from imported modules "leaking" into a module's public interface Good in theory, bad in by Jules Jacobs	scottmcl	2011-05-01 17:19
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