Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Database programming language review	16	11 years 35 weeks ago by davidb	10 years 41 weeks ago by Ross Angle
	Unreal Blueprints Visual Scripting	11	12 years 5 weeks ago by chrisoliver	10 years 42 weeks ago by chrisoliver
	Fixed points considered harmful	625	10 years 48 weeks ago by Hewitt	10 years 42 weeks ago by Thomas Lord
	Who can make LtU2?	49	10 years 45 weeks ago by raould	10 years 42 weeks ago by mtenright
	SPLASH 2015 - Workshops Combined Call for Papers	0	10 years 42 weeks ago by craiganslow	n/a
	Recursive Descent Parser Generators	55	10 years 44 weeks ago by Alexander Morou	10 years 43 weeks ago by Alexander Morou
	Lamport: Interprocess Communication	25	10 years 44 weeks ago by Allan McInnes	10 years 44 weeks ago by Andrew Moss
	Strengthening Process Calculi	274	10 years 46 weeks ago by raould	10 years 44 weeks ago by Andrew Moss
	Compilation to C, a definitive guide?	183	16 years 31 weeks ago by naasking	10 years 44 weeks ago by johnwcowan
	Some New Directions for ACP Research	4	10 years 45 weeks ago by André van Delft	10 years 45 weeks ago by André van Delft
	"Simple Made Easy" by Rich Hickey and subsequent discussion	5	14 years 28 weeks ago by shahbaz	10 years 45 weeks ago by johnwcowan
	Who owns your research? Results of SIGPLAN Open Access survey	61	11 years 6 weeks ago by gasche	10 years 45 weeks ago by Keean Schupke
	Mathematics self-proves its own Consistency (contra Gödel et. al.)	470	12 years 41 weeks ago by Hewitt	10 years 45 weeks ago by Ross Angle
	Bi-simulation in security auditing	1	10 years 45 weeks ago by Hewitt	10 years 45 weeks ago by Hewitt
	The Page-Fault Weird Machine: Lessons in Instruction-less Computation	3	10 years 46 weeks ago by marco	10 years 45 weeks ago by raould
	Dedekind, Cantor, Conway, & Hewitt (w/ some Chomsky)	11	10 years 46 weeks ago by Thomas Lord	10 years 46 weeks ago by Hewitt
	SPLASH 2015 - 2nd Combined Call for Contributions	0	10 years 46 weeks ago by craiganslow	n/a
	The single instruction compiler	0	10 years 46 weeks ago by marco	n/a
	Good syntax for single argument methods?	18	10 years 47 weeks ago by Sean McDirmid	10 years 46 weeks ago by raould
	XKCD on type theory...	75	10 years 47 weeks ago by Ray Dillinger	10 years 47 weeks ago by Rys McCusker
	Symbol Flux: abstract visual debugging	2	10 years 47 weeks ago by Sean McDirmid	10 years 47 weeks ago by Sean McDirmid
	VISSOFT 2015 - Call for Papers: New Ideas or Emerging Results and Tool Demos	0	10 years 47 weeks ago by craiganslow	n/a
	Functors are Type Refinement Systems	4	10 years 48 weeks ago by adrieng	10 years 47 weeks ago by Ross Angle
	Structuring F# Programs with Abstract Data Types [Presentation on Vimeo]	0	10 years 48 weeks ago by bryanedds	n/a
	Live Coding at Come Alive	23	10 years 51 weeks ago by marco	10 years 48 weeks ago by Sean McDirmid
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