Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Has anyone used Datalog or RDF as a basis beyond model-driven development, like projectional editing or unikernel generation?	0	11 years 42 weeks ago by Jason Livesay	n/a
	The year that was: 1965.	26	12 years 11 weeks ago by Hank Thediek	11 years 42 weeks ago by Hank Thediek
	Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU)	0	11 years 42 weeks ago by craiganslow	n/a
	'Mindless coding': following proof steps makes algorithms easy	5	11 years 43 weeks ago by raould	11 years 42 weeks ago by Sean McDirmid
	Diseases in Code (rev. 5)	3	12 years 2 weeks ago by bryanedds	11 years 43 weeks ago by raould
	The Programming Languages Enthusiast	3	11 years 44 weeks ago by Sean McDirmid	11 years 43 weeks ago by Sam Tobin-Hochstadt
	Covariance issue when extending "enter" part in BETA?	9	11 years 45 weeks ago by Tess Foley	11 years 43 weeks ago by Tess Foley
	Is Rx FRP?	61	11 years 45 weeks ago by Sean McDirmid	11 years 44 weeks ago by lmeyerov
	Dynamic Hindley-Milner?	5	11 years 44 weeks ago by Sean McDirmid	11 years 44 weeks ago by neelk
	Gradual Instantiation	3	11 years 44 weeks ago by David Minor	11 years 44 weeks ago by David Minor
	Compositional let bindings	115	11 years 46 weeks ago by Keean Schupke	11 years 44 weeks ago by marco
	Ambiguous language namespaces	32	11 years 45 weeks ago by Sean McDirmid	11 years 44 weeks ago by mamcx
	Artificial Intelligence	34	11 years 47 weeks ago by Ivan V.	11 years 45 weeks ago by John Shutt
	Lambda: A Peek Under the Hood	8	11 years 46 weeks ago by Phil Miess	11 years 46 weeks ago by Phil Miess
	Rank-0 Intersection Type System	132	12 years 4 days ago by Keean Schupke	11 years 47 weeks ago by Keean Schupke
	2014 APL Programming Competition is Open	0	11 years 48 weeks ago by Morten Kromberg	n/a
	ICFP accepted papers	0	11 years 48 weeks ago by Sean McDirmid	n/a
	states in stateless machine	11	11 years 48 weeks ago by Ivan V.	11 years 48 weeks ago by Matt Hellige
	Notation for debugging type derivations.	14	11 years 48 weeks ago by Keean Schupke	11 years 48 weeks ago by Allan McInnes
	Self-assembling Type-directed Dataflows	11	11 years 49 weeks ago by raould	11 years 48 weeks ago by raould
	Announcing Lang.NEXT 2014 - Registration is Free and Now Open	113	12 years 2 weeks ago by Charles Torre	11 years 48 weeks ago by Charles Torre
	Project Zonnon: Oberon for distributed programming in the large	0	11 years 48 weeks ago by raould	n/a
	Symbol visibility (public, private, protected, etc.)	38	11 years 50 weeks ago by Talin	11 years 49 weeks ago by Keean Schupke
	ML-TID Type Interface Debugger	4	11 years 50 weeks ago by raould	11 years 49 weeks ago by raould
	An experiment: Refined types - a better type system for more secure software	2	11 years 49 weeks ago by Tom Primožič	11 years 49 weeks ago by Tom Primožič
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