Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	GPU for GC	2	14 hours 20 min ago by raould	5 hours 2 min ago by Keean Schupke
	Annual Peter Landin Semantics Seminar: On correspondences between programming languages & semantic notations: 8th Dec 2014	0	19 hours 20 min ago by paulboca	n/a
	Declarative Interaction Design for Data Visualization	3	1 day 9 hours ago by lmeyerov	1 day 5 hours ago by Sean McDirmid
	InterState: A Language and Environment for Expressing Interface Behavior	0	1 day 10 hours ago by Sean McDirmid	n/a
	Do Logic Languages Need Negation?	74	1 week 2 days ago by Keean Schupke	1 day 20 hours ago by Keean Schupke
	wither formal methods?	1	2 days 14 hours ago by raould	2 days 4 hours ago by Dave
	What's in a name?	63	6 days 13 hours ago by Sean McDirmid	2 days 11 hours ago by Rys McCusker
	Synth Specification Overview	3	2 weeks 4 days ago by ivanvodisek	2 days 16 hours ago by ivanvodisek
	Slots as reifications of OOP method names	36	5 days 4 hours ago by Joaquín M López Muñoz	2 days 16 hours ago by Sean McDirmid
	request for namespace binding service terminology	44	2 weeks 2 days ago by Rys McCusker	2 days 19 hours ago by dmbarbour
	Depth-first search in APL	0	3 days 57 min ago by ngn	n/a
	Parser error handling without exceptions	4	4 days 16 hours ago by andrewzboard	3 days 11 hours ago by andrewzboard
	Testing first year programming students	12	6 years 51 weeks ago by Peter A Jonsson	3 days 17 hours ago by Jeremy
	Has anyone used Datalog or RDF as a basis beyond model-driven development, like projectional editing or unikernel generation?	0	3 days 19 hours ago by Jason Livesay	n/a
	The year that was: 1965.	26	22 weeks 1 day ago by Hank Thediek	5 days 1 hour ago by Hank Thediek
	Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU)	0	6 days 16 hours ago by craiganslow	n/a
	'Mindless coding': following proof steps makes algorithms easy	5	1 week 2 days ago by raould	1 week 1 day ago by Sean McDirmid
	Diseases in Code (rev. 5)	3	13 weeks 1 day ago by bryanedds	1 week 2 days ago by raould
	The Programming Languages Enthusiast	3	2 weeks 5 days ago by Sean McDirmid	1 week 3 days ago by Sam Tobin-Hochstadt
	Covariance issue when extending "enter" part in BETA?	9	3 weeks 1 day ago by Tim Foley	1 week 3 days ago by Tim Foley
	The broad ML Family workshop	8	15 weeks 7 hours ago by Oleg	1 week 4 days ago by gasche
	Is Rx FRP?	61	3 weeks 2 days ago by Sean McDirmid	2 weeks 1 day ago by lmeyerov
	Dynamic Hindley-Milner?	5	2 weeks 2 days ago by Sean McDirmid	2 weeks 2 days ago by neelk
	Gradual Instantiation	3	3 weeks 1 day ago by David Minor	2 weeks 3 days ago by David Minor
	Compositional let bindings	115	5 weeks 1 day ago by Keean Schupke	2 weeks 4 days ago by marco
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