Lambda the Ultimate

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

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