Lambda the Ultimate

type	title	author	last post
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
Forum topic	Nomenclature for impure functions What is a procedure? by Jules Jacobs	Alexandre Cossette	2011-04-28 03:28
Forum topic	Namespaces for methods? This is a consequence of by Jules Jacobs	munificent	2011-03-17 09:21
Forum topic	Strict data constructors + non-strict application? What do you mean by by Jules Jacobs	Neil Toronto	2011-03-16 15:55
Story	Leveled Garbage Collection If this is really so much by Jules Jacobs	naasking	2011-03-07 23:59
Forum topic	Can contracts provide the features of type classes, bounded quantification and effect systems? Of course contracts in their by Jules Jacobs I doubt we could use by Jules Jacobs	Jules Jacobs	2011-02-28 20:50
Forum topic	I've run out of programming languages to study Io is interesting. Invent by Jules Jacobs	Josh Griggs	2011-02-27 03:20
Forum topic	Points in the Pattern Matching Design Space Ah, so the parens are part by Jules Jacobs How do you distinguish by Jules Jacobs Is the T in List(T) a by Jules Jacobs Can you write code like by Jules Jacobs So it seems that indeed by Jules Jacobs I am not familiar with by Jules Jacobs Oz variables cannot be by Jules Jacobs That's just two ways of by Jules Jacobs This is very interesting, by Jules Jacobs In what way are they by Jules Jacobs ...	Jules Jacobs	2011-01-26 21:50
Forum topic	Fast Compilers That gives us roughly a by Jules Jacobs	Ed Earl Ross	2011-01-19 23:50
Forum topic	Multiple Value Return - Common Lisp vs. Tuples and destructuring Oz by Jules Jacobs	scottmcl	2011-01-15 09:49
Forum topic	yacc death revisited I think the latter term *is* by Jules Jacobs Oh, right. And that problem by Jules Jacobs Right that I swept under the by Jules Jacobs Even if it's a non goal of by Jules Jacobs Can you explain how it is by Jules Jacobs How does this relate to by Jules Jacobs	Thomas Lord	2010-12-21 06:06
Story	A Preliminary Survey on Functional Programming Publish your list of by Jules Jacobs	Ehud Lamm	2010-12-14 05:28
Forum topic	Reference Counting vs Tracing Garbage Collection? The thing is none of those by Jules Jacobs And how are you going to by Jules Jacobs First, disallowing higher by Jules Jacobs Yet my example trivially by Jules Jacobs Without reference counting? by Jules Jacobs	marco	2010-12-10 22:27
Forum topic	Articles on Precise GC with Parametric Polymorphism By far the easiest to by Jules Jacobs There are three strategies by Jules Jacobs	scottmcl	2010-12-08 20:52
Forum topic	A book on Racket? Do you think that's too by Jules Jacobs	spdegabrielle	2010-11-27 17:19
Forum topic	Clojure's Solutions to the Expression Problem Interesting. Can you give an by Jules Jacobs Correct is that the compiled by Jules Jacobs Doesn't a proof that the by Jules Jacobs Doesn't a proof that the by Jules Jacobs The expression problem is by Jules Jacobs May be relevant: Prototypes by Jules Jacobs	fogus	2010-11-27 07:21
Forum topic	A Self-Checking Type System How do you know which by Jules Jacobs That said, the error during by Jules Jacobs	munificent	2010-11-24 02:36
Forum topic	Closures without function pointers In that case there is no by Jules Jacobs What you can do with a by Jules Jacobs	Alex Rubinsteyn	2010-11-17 21:12
Story	Conservative Logic Historically speaking, A. by Jules Jacobs I don't know much about the by Jules Jacobs They think that because the by Jules Jacobs	James Iry	2010-11-16 01:17
Forum topic	Asynchronous Programming, Monads and Continuations in C#, F# and Scala Threads are expensive on by Jules Jacobs	Jules Jacobs	2010-10-31 20:37
Forum topic	Do you happen to hear about pre-equivalence? Yes, exactly. So the OP is by Jules Jacobs Sure, they are not exactly by Jules Jacobs Graphs where every node has by Jules Jacobs What you have is basically by Jules Jacobs	zell08v	2010-10-28 22:51
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