Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	A theory of data parallel computing	26	11 years 39 weeks ago by Victor Eijkhout	11 years 38 weeks ago by Victor Eijkhout
	Call by Meaning	7	11 years 39 weeks ago by Sean McDirmid	11 years 38 weeks ago by Joshua Taylor
	Stream Processing with a Spreadsheet	0	11 years 38 weeks ago by Sean McDirmid	n/a
	Cross-platform idiomatic code generation	1	11 years 40 weeks ago by raould	11 years 39 weeks ago by johnwcowan
	SLE 2014 - Call for Participation	0	11 years 39 weeks ago by craiganslow	n/a
	Expressing Natural Deduction in Logic Languages	2	11 years 40 weeks ago by Keean Schupke	11 years 39 weeks ago by Keean Schupke
	Reactive Programming	107	19 years 13 weeks ago by J Storrs Hall	11 years 39 weeks ago by dmbarbour
	GPU for GC	28	11 years 41 weeks ago by raould	11 years 39 weeks ago by dmbarbour
	q-Derivatives of datatypes	0	11 years 40 weeks ago by mikestay	n/a
	The broad ML Family workshop	9	12 years 4 weeks ago by Oleg	11 years 40 weeks ago by Oleg
	InterState: A Language and Environment for Expressing Interface Behavior	11	11 years 41 weeks ago by Sean McDirmid	11 years 40 weeks ago by Sean McDirmid
	Generational Real-Time Garbage Collection	3	11 years 41 weeks ago by raould	11 years 41 weeks ago by Jules Jacobs
	No Instruction Set Computer NISC	0	11 years 41 weeks ago by raould	n/a
	Real time GC for FPGAs	0	11 years 41 weeks ago by raould	n/a
	Annual Peter Landin Semantics Seminar: On correspondences between programming languages & semantic notations: 8th Dec 2014	1	11 years 41 weeks ago by paulboca	11 years 41 weeks ago by Jason Livesay
	Declarative Interaction Design for Data Visualization	3	11 years 41 weeks ago by lmeyerov	11 years 41 weeks ago by Sean McDirmid
	Do Logic Languages Need Negation?	74	11 years 43 weeks ago by Keean Schupke	11 years 42 weeks ago by Keean Schupke
	wither formal methods?	1	11 years 42 weeks ago by raould	11 years 42 weeks ago by Dave
	What's in a name?	63	11 years 42 weeks ago by Sean McDirmid	11 years 42 weeks ago by Rys McCusker
	Synth Specification Overview	3	11 years 44 weeks ago by Ivan V.	11 years 42 weeks ago by Ivan V.
	Slots as reifications of OOP method names	36	11 years 42 weeks ago by Joaquín M López Muñoz	11 years 42 weeks ago by Sean McDirmid
	request for namespace binding service terminology	44	11 years 44 weeks ago by Rys McCusker	11 years 42 weeks ago by dmbarbour
	Depth-first search in APL	0	11 years 42 weeks ago by ngn	n/a
	Parser error handling without exceptions	4	11 years 42 weeks ago by andrewzboard	11 years 42 weeks ago by andrewzboard
	Testing first year programming students	12	18 years 41 weeks ago by Peter A Jonsson	11 years 42 weeks ago by Jeremy
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