Lambda the Ultimate

type	title	author	last post
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
Story	Finding and Understanding Bugs in C Compilers No, I thought I was clear on by naasking Some problems are by naasking Yes, we need them to be by naasking	James Iry	2011-04-02 07:31
Story	Keyword and Optional Arguments in PLT Scheme This is the problem with all by naasking	Manuel J. Simoni	2011-03-23 17:33
Forum topic	InfoQ video + transcript of Rob Pike on Go The major case is a once-off by naasking	raould	2011-03-11 00:14
Story	Leveled Garbage Collection I would also add: 5. The by naasking	naasking	2011-03-07 23:59
Forum topic	Monads vs. Actors I meant the question only in by naasking Isn't an actor for Hewitt by naasking Asking a reference for its by naasking There is no such thing as by naasking Pure lambda calculus can by naasking The point is that I consider by naasking The references used by naasking Well, I don't "believe" in by naasking I do not believe they are by naasking You've adopted an by naasking ...	Sean McDirmid	2011-03-02 21:15
Forum topic	Evaluation strategies: authoritative reference? If in DrScheme I do: [...] I by naasking The scope argument is by naasking Thanks for the reference, I by naasking Ah, limited types, that by naasking If you requires your terms by naasking	naasking	2011-02-16 02:55
Forum topic	Again with the distributed computing: Piccolo It looks interesting, and by naasking	raould	2011-02-07 17:59
Forum topic	Go or Unladen Swallow? Mac OS X's Mach kernel and by naasking What's so fanciful about the by naasking GC isn't nearly as costly on by naasking Higher-level system languages, Felix, BitC by naasking Indeed, a lot of the site by naasking	Srikumar Subramanian	2011-02-07 08:56
Forum topic	Holistic types Region-based locking, Cyclone by naasking	Igor Serikov	2011-02-01 15:37
Story	Concurrent Pattern Calculus	naasking	2011-01-27 03:26
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