Lambda the Ultimate

type	title	author	last post
Forum topic	Models for distributed parallelism Bloom has some of the by naasking	Victor Eijkhout	2011-12-08 21:56
Forum topic	Delimited continuations for C/C++ libconcurrency is along the by naasking	tilk	2011-11-30 10:28
Story	A Language-Based Approach to Unifying Events and Threads Some snippets should illuminate the novelty by naasking	shapr	2011-11-21 12:53
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman That sounds like the closest by naasking This is a very interesting by naasking No, it was something more by naasking I can't for the life of me by naasking I'm going to take a by naasking I didn't want to pollute by naasking The solution is quite simple by naasking Just so we're on the same by naasking I don't see why it doesn't by naasking Right, I've run into these by naasking ...	puredanger	2011-11-19 23:37
Forum topic	Flash and cross platform mobile web technologies [OT] by naasking By 'dynamic layer', I meant by naasking Finally tagless encoding. If by naasking	JeffB	2011-11-18 20:15
Forum topic	Is the Expression Problem Fundamental? But there's no natural by naasking No that was my point it by naasking And infer the dictionary by naasking I'm not sure what you're by naasking abs('a { (<) : 'a -> 'a -> by naasking How would you define a (I'm by naasking Yes, literals are by naasking The one you are giving that by naasking I agree that's what we want by naasking It may very well be that the by naasking ...	David Minor	2011-11-16 21:59
Story	The Experimental Effectiveness of Mathematical Proof This violates the separation by naasking Statically typed programs by naasking You can formalize how to by naasking	Paul Snively	2011-11-12 12:16
Forum topic	How to determine your new language is perfect? LLVM bitcode is not by naasking	Mats	2011-11-11 02:37
Story	Extensible Programming with First-Class Cases Excellent references. I'm by naasking Indeed, I'm a big fan of the by naasking The ability to ignore types by naasking The ability to ignore types by naasking Been awhile since I looked by naasking Other people disagree with by naasking OCaml's structural objects by naasking What's left is the ability by naasking Now that cases/dispatch and by naasking I actually think Ur is by naasking ...	naasking	2011-11-05 14:53
Story	Dennis Ritchie passed away I don't really see why C's by naasking	Ehud Lamm	2011-10-29 02:45
Forum topic	What space does SQL cover, or, why is max so weird in SQL? However, couldn't we make by naasking Logical Monotonicity by naasking	bdenckla	2011-10-26 20:00
Forum topic	Data, Codata, and Their Implications for Equality, and Serialization *head explodes* by naasking	Douglas McClean	2011-10-14 15:45
Forum topic	Subsumption at all costs What if you pass an instance by naasking	bashyal	2011-10-13 19:18
Story	Why Object-Oriented Languages Need Tail Calls Yes, I believe such an by naasking The optimization is explicit by naasking	Leon P Smith	2011-10-01 21:58
Forum topic	Implementor's guide/tutorial to delimited continuations? Implementing undelimited by naasking	Manuel J. Simoni	2011-08-02 18:56
Forum topic	Literate Programming: Retrospect and Prospects Seems to me, we simply need by naasking What about other languages? by naasking	el-vadimo	2011-07-20 21:10
Forum topic	Middle History of Logic Programming Really? I didn't know that. by naasking Mozart/Oz by naasking	Hewitt	2011-06-28 02:49
Forum topic	Open wiki-like code repository But the experiment must be by naasking Better yet, the version by naasking When someone goes and by naasking	Sean McDirmid	2011-05-30 19:19
Forum topic	The Grafwegen Hi Compiler named Hic release 0.1 ML compiler, mutation trick? by naasking For example, by default by naasking Having said that, um, it by naasking I wonder why there are not by naasking	marco	2011-04-24 10:41
Forum topic	Compiler framework, insight? If I understand correctly, by naasking	Alexander Morou	2011-04-20 22:57
Forum topic	Staking Claims: A History of Programming Language Design Claims and Evidence I'm increasingly less and by naasking	Sean McDirmid	2011-04-19 23:40
Forum topic	Redhat's New Language I just read that myself. by naasking	Noel	2011-04-16 03:10
Forum topic	Multi-Return Function Call Don't need sufficient smarts, dumb will do by naasking This sounds very much like by naasking	Matthew Morgan	2011-04-14 05:45
Forum topic	Extensible nesting of classes Naasking: There is no by naasking That's defined by the by naasking Isn't this just like a type by naasking	Sean McDirmid	2011-04-07 10:16
Forum topic	Determining if a function is effectively pure Capabilities and by naasking Verifiable Functional Purity by naasking	jafingerhut	2011-04-05 17:02
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