Lambda the Ultimate

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

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