Lambda the Ultimate

type	title	author	last post
Forum topic	On the Importance of Purity In pseudo-OCaml: by naasking His point is that Haskell is by naasking You're changing logic, not refactoring it! by naasking I believe that unmanaged by naasking See e.g. this post from Mads by naasking This discussion style of by naasking The identity is not flawed by naasking Visitor-pattern matching function by naasking That's why we don't have by naasking Because it makes simple by naasking ...	naasking	2007-12-02 14:53
Forum topic	A survey and discussion of taming effects But it's not the only use of by naasking with a rich enough type by naasking Call-by-value given, what about call-by-name? by naasking What's the point of effect systems? by naasking Don't know why I had by naasking	naasking	2007-11-28 19:24
Story	A functional correspondence between evaluators and abstract machines Interesting links! I'll by naasking I found the derivation of a by naasking	Andris Birkmanis	2007-11-28 01:02
Story	Samurai - Protecting Critical Data in Unsafe Languages ("New," on the other hand, by naasking Your argument is valid up to by naasking Hence my lack of by naasking I assume the use a safe by naasking They don't mean it's useless by naasking	Ehud Lamm	2007-11-27 16:54
Story	Witnessing Side-Effects Language implementator point of view by naasking	neelk	2007-11-25 07:58
Story	Dependent Classes I've been thinking about by naasking Encapsulation is the only by naasking I'm not sure I understand by naasking	Matt Hellige	2007-11-25 05:26
Story	Gödel, Nagel, minds and machines Interesting paper! I thought by naasking	Ehud Lamm	2007-11-22 08:09
Story	ECMAScript 4 overview paper Embedding a markup language by naasking	doublec	2007-11-07 04:52
Forum topic	Searching for a quote You can add rooms onto a by naasking Which is interesting, as by naasking	paul_butcher	2007-10-31 00:13
Story	The End of an Architectural Era (It’s Time for a Complete Rewrite) In a live programming by naasking I'm finding persistent data by naasking	Manuel J. Simoni	2007-10-29 23:34
Forum topic	grammars as a shared executable specification for language processing tools Personally, once I by naasking	Isaac Gouy	2007-10-21 13:15
Story	It's Time to Stop Calling Circuits "Hardware" From the wikipedia article by naasking The former goes back to your by naasking Code can be written in by naasking If you can ignore the by naasking	Allan McInnes	2007-10-17 18:49
Forum topic	Computing is a Natural Science My understanding is that by naasking Besides differences in usage by naasking Church-Turing Thesis by naasking What is the most famous by naasking CS encompasses both of your by naasking	Hank Thediek	2007-10-15 20:49
Story	Derivation and Evaluation of Concurrent Collectors C# has a concurrent GC. by naasking	neelk	2007-10-05 16:51
Story	The Manticore Project I agree that in general by naasking Should this be determined by naasking I would have thought it by naasking So why does GC halt all by naasking Explicit+implicit parallelism, purely functional, but effects? by naasking	Chris Rathman	2007-10-05 04:27
Story	Binary Lambda Calculus and Combinatory Logic And I suppose I should have by naasking	Chris Rathman	2007-09-28 23:59
Story	Fair cooperative multithreading, or: Typing termination in a higher-order concurrent imperative language The link to the list of by naasking Paper link yields a 550. by naasking	Ehud Lamm	2007-09-24 23:59
Story	No Name: Just Notes on Software Reuse Infighting problem by naasking	Ehud Lamm	2007-09-05 13:45
Forum topic	Monad Description For Imperative Programmer So, what's relationship by naasking	kaveh.shahbazian	2007-08-22 18:10
Story	Metaprogramming with Traits Yes, this paper deals with by naasking Can you make it statically by naasking	neelk	2007-08-21 10:01
Forum topic	Formal methods for O/R mapping Complex relationships are by naasking	Andris Birkmanis	2007-08-19 00:29
Story	Ralph Johnson: Erlang, the next Java See Memory Accounting by naasking The issue is moot as Erlang by naasking	Ehud Lamm	2007-08-12 15:45
Forum topic	Unifying functions and functors Personally, I believe that by naasking After much searching... by naasking	naasking	2007-08-10 09:06
Story	Resources, Concurrency and Local Reasoning I think there is room for by naasking	neelk	2007-08-10 08:32
Story	Guaranteed Optimization I was just reading this by naasking	neelk	2007-08-09 23:24
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