Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Can javascript concurrency be expressed as a monad?	5	13 years 45 weeks ago by mmaroti	13 years 45 weeks ago by Chris Warburton
	The verified heap sort algorithm	0	13 years 45 weeks ago by hbrandl	n/a
	Is this region typing, dependent types or something else? What do I need to be able to express this constraint?	8	13 years 46 weeks ago by Logan Capaldo	13 years 45 weeks ago by Jules Jacobs
	7 Languages built with Xtext	1	13 years 48 weeks ago by efftinge	13 years 46 weeks ago by Z-Bo
	Immediate mode GUIs	51	13 years 49 weeks ago by Sean McDirmid	13 years 46 weeks ago by naasking
	How to respect language styles while translating?	12	16 years 37 weeks ago by raould	13 years 46 weeks ago by John Nagle
	OO type systems and BNFs	12	13 years 47 weeks ago by Sean McDirmid	13 years 47 weeks ago by Cyril
	Lattices - Partial orders with infimum and supremum	5	13 years 47 weeks ago by hbrandl	13 years 47 weeks ago by hbrandl
	Pythonect 0.3.1 released	0	13 years 48 weeks ago by ikotler	n/a
	Evolved Turing neural networks - Unorganized machines and the brain	16	13 years 51 weeks ago by Cyril	13 years 48 weeks ago by Andrew Moss
	Why languages and not systems?	17	13 years 49 weeks ago by giuseppemag	13 years 48 weeks ago by Barry Watson
	Erik Meijer started a discussion on Domain Specific Languages	21	13 years 49 weeks ago by w7cook	13 years 48 weeks ago by dmbarbour
	Why are exceptions not described as 'purely functional'?	56	14 years 2 days ago by bryanedds	13 years 48 weeks ago by Mattias Engdeg
	Conversations with the Creators of Major Programming Languages	15	17 years 6 weeks ago by Isaac Gouy	13 years 48 weeks ago by Jason Grossman
	Emerging Languages Camp at Strange Loop	2	13 years 49 weeks ago by puredanger	13 years 49 weeks ago by marco
	Ela, dynamic functional language	4	15 years 17 weeks ago by vorov2	13 years 49 weeks ago by vorov2
	JavaScript in the browser : (yet another) bigint calculator toy language	2	14 years 6 days ago by Cyril	13 years 49 weeks ago by Cyril
	ParaSail, a new language oriented toward parallelism and verification	6	16 years 23 weeks ago by sttaft	13 years 49 weeks ago by sttaft
	The verified insertion sort algorithm	0	13 years 50 weeks ago by hbrandl	n/a
	Bob Harper of CMU is blogging about programming languages and introductory CS education	156	15 years 12 weeks ago by vrijz	13 years 50 weeks ago by Cyril
	DSL for Streaming Network Traffic Analysis	2	13 years 50 weeks ago by True Konrads	13 years 50 weeks ago by Sean McDirmid
	DSL for Streaming Network Traffic Analysis	2	13 years 50 weeks ago by True Konrads	13 years 50 weeks ago by RM Schellhas
	Announcement: Compiler/PLT discussion group in Berlin	1	13 years 50 weeks ago by Marijn Haverbeke	13 years 50 weeks ago by Cyril
	Null, bottom, etc.?	131	13 years 51 weeks ago by oconnor0	13 years 50 weeks ago by Cyril
	Functional Relational Programming: Out of the tar pit	18	20 years 6 weeks ago by abayley	13 years 51 weeks ago by gremnebulin
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