Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	JetBrains Nitra goes Open Source	1	11 years 50 weeks ago by vieiro	11 years 49 weeks ago by raould
	Those pesky higher-rank types. Or how to type \f x y. (f x, f y)	89	11 years 51 weeks ago by marco	11 years 50 weeks ago by marco
	Removing User Interface Complexity, or Why React is Awesome	69	11 years 51 weeks ago by Sean McDirmid	11 years 50 weeks ago by neelk
	Executable comments	21	11 years 51 weeks ago by Sean McDirmid	11 years 50 weeks ago by Sean McDirmid
	CfP for ACM High Integrity Language Technology conference (HILT 2014) -- due June 7th, co-located with SPLASH/OOPSLA	1	12 years 1 week ago by sttaft	11 years 50 weeks ago by sttaft
	type theory about programming language?	106	11 years 52 weeks ago by Rys McCusker	11 years 50 weeks ago by natecull
	Safe interior references in the presence of mutation	4	11 years 51 weeks ago by Jules Jacobs	11 years 51 weeks ago by Keean Schupke
	Facebook Flux: simplify the dataflow	0	11 years 51 weeks ago by raould	n/a
	Using real arithmetic to eliminate bounds checking?	13	11 years 52 weeks ago by Vladimir Slepnev	11 years 51 weeks ago by Tom Primožič
	Explicit renaming of bound variables	2	11 years 52 weeks ago by George Cherevichenko	11 years 52 weeks ago by johnwcowan
	Sectioning a chain of operators and dot as reverse application	14	12 years 5 days ago by Matt M	12 years 4 hours ago by marco
	Value-level programming	76	12 years 6 days ago by Vladimir Slepnev	12 years 4 days ago by Keean Schupke
	The Mezzo programming language	1	12 years 6 days ago by hellertime	12 years 4 days ago by gasche
	Currying in non-curried languages	0	12 years 4 days ago by Chris Warburton	n/a
	Policy as Types	0	12 years 5 days ago by mikestay	n/a
	The TechEmpower Web Framework Benchmarks	0	12 years 6 days ago by Adam Chlipala	n/a
	Moony Parser 2.3 is out	0	12 years 1 week ago by Ivan V.	n/a
	Addressing Misconceptions About Code with Always-On Programming Visualizations	1	12 years 1 week ago by Sean McDirmid	12 years 1 week ago by raould
	The Avail programming language	38	12 years 1 week ago by Robbert van Dalen	12 years 1 week ago by RM Schellhas
	A Theory of Changes for Higher-Order Languages: Incrementalizing Lambda by Static Differentiation	0	12 years 1 week ago by Sean McDirmid	n/a
	Alternatives to ADL?	8	12 years 1 week ago by Talin	12 years 1 week ago by dmbarbour
	Giant list of visual PLs	18	12 years 2 weeks ago by Manuel J. Simoni	12 years 1 week ago by vrijz
	Call for talk proposals: HOPE'14 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'14)	0	12 years 1 week ago by neelk	n/a
	Introduction to processes (Tony Hoare's CSP processes)	25	13 years 11 weeks ago by hbrandl	12 years 1 week ago by Allan McInnes
	Aha moment	22	12 years 2 weeks ago by Ehud Lamm	12 years 1 week ago by Ehud Lamm
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