Lambda the Ultimate

type	title	author	last post
Story	E Thesis: Robust Composition Ontic found by MarkM Membranes, Ontic by MarkM To Be Continued by Paul Snively HAppS by genneth Composable memory transactions by Andris Birkmanis Relevance of join calculus by Andris Birkmanis Functional nets by Andris Birkmanis The Wikipedia entry, which I by naasking Ambient calculus by Allan McInnes Connection to E by Paul Snively ...	Chris Rathman	2006-04-21 07:16
Story	foldl and foldr That depends in which by Erik Meijer Cheating by Andris Birkmanis Lazy by genneth Why don't these work? by Dave Menendez These things were disucssed by Ehud Lamm foldl f = foldr g, solve for g by brianbec Haskel N by vc ∞ is a synonym for N by sigfpe Perfect sense by vc Tne "natural" numbers in by neelk ...	Noel	2006-04-20 16:34
Forum topic	public vs. published interfaces Software workaround for a project management problem? by Koray Can I am wary by tblanchard What starts out simple... by Chris Rathman Be wary by Jeff Nowakowski Re: Two thoughts by el-vadimo I've always liked the idea by Kory Markevich Rule is a partial order by Alan Crowe More General Structures by raould That's true, but because by nat Zero, one, infinity rule by Alan Crowe ...	el-vadimo	2006-04-19 20:47
Story	Comparing XSLT and XQuery	Ehud Lamm	2006-04-19 18:09
Story	The Essence of the Iterator Pattern Race by Sjoerd Visscher Confession by Paul Snively Uh... by Derek Elkins Applicative Functors by Paul Snively Idioms? by jimdesu	Ehud Lamm	2006-04-19 09:11
Story	Contributing Editors? St. John Was Nice... by Paul Snively I guess everyone is on by Ehud Lamm I'm moving... by Charles Stewart	Ehud Lamm	2006-04-17 14:10
Story	Design Patterns as Higher-Order Datatype-Generic Programs. Neat by leemarks Next Best thing by Adriaan Moors Maybe, but I couldn't figure it out by Adriaan Moors New kinds of parameters create need for new design patterns by Joost Visser I don't know Scala, but by leemarks Higher-order datatype generic programming in Scala by Adriaan Moors I think you're missing the point of patterns by nat Ruby less intrusive than c++? by Christophe Poucet Absolutely correct -- I have by rossjudson Keeping things in perspective by leemarks ...	Ehud Lamm	2006-04-15 01:01
Forum topic	GADT's revisited New and improved by Niels Hoogeveen Typo in section 5.1? by johan	Niels Hoogeveen	2006-04-14 11:11
Forum topic	System F with Type Equality Coercions Doh! by genneth Link to the paper by Twan van Laarhoven	genneth	2006-04-13 21:14
Story	Active Libraries and Universal Languages Thanks by Andris Birkmanis Summary by Tom Minka Confession by Paul Snively Lazy Evaluation by rossjudson For me, the answer is simple. by Achilleas Margaritis	Andris Birkmanis	2006-04-13 09:37
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