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