Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Static typing and direct AST manipulation	12	12 years 28 weeks ago by tkirchner	12 years 25 weeks ago by Rys McCusker
	Why is Static Typing Hard?	58	12 years 26 weeks ago by Jon Purdy	12 years 25 weeks ago by gremnebulin
	Interactive Parsing Theory	30	12 years 29 weeks ago by Alexander Morou	12 years 26 weeks ago by David Piepgrass
	xkcd: Functional	14	12 years 32 weeks ago by Sean McDirmid	12 years 26 weeks ago by Matt M
	Alexander Bumstead learns the Lambda Calculus	5	12 years 31 weeks ago by tim finin	12 years 26 weeks ago by Ehud Lamm
	Prototypal inheritance misunderstood	7	12 years 29 weeks ago by SimonM	12 years 27 weeks ago by Brian T Rice
	Continuation of Discussion: "Mathematics self-proves its own Consistency (contra Gödel et. al.)"	27	12 years 29 weeks ago by Hewitt	12 years 28 weeks ago by Hewitt
	Write tracking for Nimrod	7	12 years 29 weeks ago by Araq	12 years 28 weeks ago by Matt M
	Usable Live Programming	108	13 years 5 weeks ago by Sean McDirmid	12 years 29 weeks ago by Sean McDirmid
	List of ICFP2013 papers with preprints	16	12 years 31 weeks ago by vieiro	12 years 29 weeks ago by gasche
	An "adaptive" LALR(1) parser I've been toying with	0	12 years 30 weeks ago by Kalani	n/a
	Trip Reports on Dagstuhl Live Coding seminar	46	12 years 32 weeks ago by yaxu	12 years 31 weeks ago by Sean McDirmid
	concurrency app examples for cooperative multi-tasking docs?	3	12 years 31 weeks ago by Rys McCusker	12 years 31 weeks ago by Rys McCusker
	Annual Peter Landin Semantics Seminar: Rationalism v Hardware, Prof Richard Bornat, 2 December 2013, 6pm, London	2	12 years 32 weeks ago by paulboca	12 years 31 weeks ago by Hank Thediek
	GADTs meet subtyping	3	12 years 32 weeks ago by Matt M	12 years 32 weeks ago by Matt M
	A little insight on iterators/accumulators	1	12 years 32 weeks ago by nadhamid	12 years 32 weeks ago by Bruce Rennie
	ANN: Bipedal, a new, untyped, stack-based HLL	0	12 years 32 weeks ago by claytonkb	n/a
	just a funny rant re: cpu design history	0	12 years 32 weeks ago by raould	n/a
	Glitch: A Live Programming Model	10	12 years 39 weeks ago by Sean McDirmid	12 years 34 weeks ago by Sean McDirmid
	Coroutines as a Basis for UI Programming	8	12 years 35 weeks ago by Jason Priestley	12 years 34 weeks ago by André van Delft
	Proving running times of algorithms	11	16 years 36 weeks ago by jason stumpf	12 years 34 weeks ago by naasking
	Proving the correctness of reactive systems using sized types	4	19 years 13 weeks ago by Daniel Yokomizo	12 years 34 weeks ago by naasking
	questions re common lisp readtable hacks	2	12 years 35 weeks ago by Thomas Lord	12 years 34 weeks ago by Kalani
	New programming language Ya	3	12 years 36 weeks ago by Pavel Senatorov	12 years 34 weeks ago by meltsner
	Total Self Compiler via Superstitious Logics	11	12 years 41 weeks ago by Matt M	12 years 35 weeks ago by naasking
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