Lambda the Ultimate

• Active forum discussions.
• Login to post a new forum topic.

	Topic	Replies	Created	Last reply
	"Inconsistency Robustness" now available	6	9 years 33 weeks ago by Hewitt	9 years 32 weeks ago by Hewitt
	"Language Oriented Programming" Meta Programming System	20	18 years 31 weeks ago by raould	18 years 27 weeks ago by nat
	"Limits to implicit parallelism in functional application"	6	18 years 12 weeks ago by John DeTreville	18 years 12 weeks ago by Serguey Zefirov
	"null" is to tagged unions as ???? is to records	10	11 years 1 week ago by Kannan Goundan	11 years 1 week ago by Jules Jacobs
	"Partially evaluating" fexprs?	3	13 years 29 weeks ago by Manuel J. Simoni	13 years 29 weeks ago by John Shutt
	"Popular vs. Good" in Programming Languages	86	20 years 9 weeks ago by Kevin Greer	20 years 8 weeks ago by Luke Gorrie
	"Practical" advantages of lazy evaluation	100	17 years 43 weeks ago by chinu	17 years 2 weeks ago by Peter Van Roy
	"Prep" in programming languages	145	9 years 35 weeks ago by Hewitt	9 years 35 weeks ago by Ross Angle
	"Relational Model Outgrown" CACM May 2013	83	11 years 48 weeks ago by Hewitt	11 years 46 weeks ago by Douglas McClean
	"Semi-complete" Boolean Evaluation?	21	19 years 3 days ago by Riaan Moll	19 years 2 days ago by Nuno Cruces
	"Simple Made Easy" by Rich Hickey and subsequent discussion	5	13 years 22 weeks ago by shahbaz	9 years 39 weeks ago by johnwcowan
	"Stretch" languages	0	18 years 51 weeks ago by Isaac Gouy	n/a
	"The Anatomy of a Loop"	72	19 years 26 weeks ago by el-vadimo	19 years 24 weeks ago by Allan McInnes
	"typed" files OR xml OR meta information for delim. files.	6	19 years 39 weeks ago by shahbaz	19 years 38 weeks ago by kenhirsch
	"Very linear" lambda calculus	1	16 years 27 weeks ago by mikestay	16 years 27 weeks ago by neelk
	"We Really Don't Know How to Compute!" by Gerald Sussman	178	13 years 22 weeks ago by puredanger	13 years 18 weeks ago by Sean McDirmid
	''The Paradigms of Programming'' online	0	18 years 9 weeks ago by Boyko Bantchev	n/a
	'FeML: a skeleton of a femto-ML with nothing but polymorphic variants and functions	3	12 years 41 weeks ago by spdegabrielle	12 years 40 weeks ago by tonyg
	'Mindless coding': following proof steps makes algorithms easy	5	10 years 36 weeks ago by raould	10 years 36 weeks ago by Sean McDirmid
	(Alice ML + monads - value cells) > Haskell?	1	17 years 32 weeks ago by Manuel J. Simoni	17 years 32 weeks ago by Andreas Rossberg
	(Even more) theorems for free?	20	18 years 14 weeks ago by Andris Birkmanis	18 years 12 weeks ago by sigfpe
	(from 2004) Possibly faster Haskell	0	19 years 24 weeks ago by raould	n/a
	(newbie question) Covariance and contravariance	7	17 years 12 weeks ago by chihiro	17 years 10 weeks ago by James Iry
	(noob question) method parameters in co-and-contravariance issue	4	17 years 8 weeks ago by chihiro	17 years 8 weeks ago by James Iry
	(Very) Simpleminded kind question	9	15 years 35 weeks ago by jimdesu	15 years 35 weeks ago by Adam Chlipala
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