Lambda the Ultimate

type	title	author	last post
Forum topic	LastCalc: A web-based REPL for a pure functional programming language with a flexible syntax and parser I'm not entirely sure what by Jules Jacobs Here's my playing with it, by Jules Jacobs	sanity	2012-01-27 03:15
Forum topic	Register Allocation By Model Transformer Semantics -- need for early comments How does your algorithm work by Jules Jacobs Your paper seems primarily by Jules Jacobs	yinwang0	2012-01-09 02:49
Forum topic	Go's proposed panic/recover exception-like mechanism One example is worth a thousand words by Jules Jacobs These days I think the more by Jules Jacobs It's also nice that by Jules Jacobs	pgregory	2012-01-07 01:57
Story	Cambridge Course on "Usability of Programming Languages" Academia is one model in by Jules Jacobs I don't understand how you by Jules Jacobs Math is just precise, or by Jules Jacobs I'm having a hard time by Jules Jacobs	James Iry	2012-01-06 03:55
Forum topic	Interview [Video] -> Simon Peyton-Jones - Closer to Nirvana Well, being interviews, you by Jules Jacobs I love watching these videos by Jules Jacobs Interview with Simon Peyton Jones & John Hughes by Jules Jacobs	Charles Torre	2011-12-28 06:55
Forum topic	iPhone PL lockdown On the contrary, I am very by Jules Jacobs How do you know this inside by Jules Jacobs They only allow a fixed set by Jules Jacobs Does this mean that by Jules Jacobs	Sean McDirmid	2011-12-24 05:49
Forum topic	General purpose as a special case? C++ is indeed monstrously by Jules Jacobs Usually it's pretty clear by Jules Jacobs	Wendell	2011-12-18 04:04
Forum topic	Models for distributed parallelism Message passing? by Jules Jacobs	Victor Eijkhout	2011-12-08 21:56
Forum topic	REPL-schmepl? Self-adjusting REPL by Jules Jacobs	el-vadimo	2011-12-07 00:25
Story	A bit of Scheming So there are two worlds: the by Jules Jacobs Eval does nothing? Quote is by Jules Jacobs Is there another way to by Jules Jacobs	Ehud Lamm	2011-12-01 13:44
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
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