Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	PL vs. PX	185	10 years 35 weeks ago by Sean McDirmid	10 years 28 weeks ago by raould
	On type safety for core Scala: "From F to DOT: Type Soundness Proofs with Definitional Interpreters"	1	10 years 28 weeks ago by Blaisorblade	10 years 28 weeks ago by Blaisorblade
	Free JFP papers	3	10 years 29 weeks ago by Ehud Lamm	10 years 28 weeks ago by Blaisorblade
	Socializing in the Real World?	0	10 years 28 weeks ago by raould	n/a
	Halide: a language for image processing and computational photography	13	10 years 30 weeks ago by Thomas Lord	10 years 29 weeks ago by Rys McCusker
	The future of live programming	8	10 years 30 weeks ago by Sean McDirmid	10 years 29 weeks ago by Sean McDirmid
	alternate basic models of framing code behavior and purpose?	39	10 years 31 weeks ago by Rys McCusker	10 years 29 weeks ago by Sean McDirmid
	OcaPic: Programming PIC microcontrollers in OCaml	18	10 years 37 weeks ago by Allan McInnes	10 years 30 weeks ago by Sean McDirmid
	Optimal efficiency	28	10 years 31 weeks ago by Keean Schupke	10 years 30 weeks ago by Keean Schupke
	Joining Forces: LVars & CvRDTs	1	10 years 35 weeks ago by raould	10 years 31 weeks ago by naasking
	Live programming in APX, an early peek	72	10 years 46 weeks ago by Sean McDirmid	10 years 31 weeks ago by Sean McDirmid
	Subclass, superclass, or siblings under an abstract superclass?	96	10 years 34 weeks ago by Ray Dillinger	10 years 32 weeks ago by Keean Schupke
	SPLASH Call for Participation	0	10 years 32 weeks ago by tvdstorm	n/a
	Implementing "Elements of Programming" in Actor Script	121	10 years 35 weeks ago by Keean Schupke	10 years 32 weeks ago by Keean Schupke
	LMNtal	3	10 years 33 weeks ago by Keean Schupke	10 years 33 weeks ago by Rys McCusker
	meta: September "propose a post" post (proposal)	16	10 years 35 weeks ago by Thomas Lord	10 years 34 weeks ago by Jules Jacobs
	After over two years and 1700 commits, the Nu Game Engine (the world's first practical pure functional game engine) reaches v1.0	11	10 years 35 weeks ago by bryanedds	10 years 34 weeks ago by neelk
	F* (FStar) reworked and released as v0.9.0	1	10 years 36 weeks ago by raould	10 years 34 weeks ago by Catalin Hritcu
	word2vec	39	10 years 37 weeks ago by Sean McDirmid	10 years 35 weeks ago by mtenright
	Moderation on LtU	101	10 years 42 weeks ago by gasche	10 years 35 weeks ago by Ehud Lamm
	Nullable type is needed to fix Tony Hoare's "billion dollar mistake".	383	10 years 37 weeks ago by Hewitt	10 years 35 weeks ago by Keean Schupke
	Another "big" question	124	10 years 37 weeks ago by Ehud Lamm	10 years 35 weeks ago by Matt M
	The most obsolete infrastructure money could buy - my worst job ever	0	10 years 35 weeks ago by Manuel J. Simoni	n/a
	Big questions	242	10 years 38 weeks ago by Ehud Lamm	10 years 36 weeks ago by Bruce Rennie
	verified ML	1	10 years 36 weeks ago by raould	10 years 36 weeks ago by johnwcowan
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