Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Logic programming based GUI framework	48	15 years 49 weeks ago by Tegiri Nenashi	15 years 45 weeks ago by naasking
	blast from the past	1	15 years 45 weeks ago by raould	15 years 45 weeks ago by raould
	Android languages	1	15 years 45 weeks ago by Ehud Lamm	15 years 45 weeks ago by Leon P Smith
	Containers and Inheritance	9	15 years 46 weeks ago by bfraser	15 years 45 weeks ago by Wolf Logan
	paper: "Purely Functional Structured Programming"	26	15 years 46 weeks ago by Steven Obua	15 years 45 weeks ago by Matt M
	The Mirah Language	10	15 years 46 weeks ago by Noel	15 years 45 weeks ago by bashyal
	The Rust Language	56	15 years 48 weeks ago by Noel	15 years 45 weeks ago by Z-Bo
	The Clay language	1	15 years 45 weeks ago by Vilya Harvey	15 years 45 weeks ago by dmbarbour
	History: CPL, the great-grandfather of C	5	15 years 46 weeks ago by AlexB	15 years 45 weeks ago by Boyko Bantchev
	A proof engine for Eiffel	13	15 years 48 weeks ago by hbrandl	15 years 46 weeks ago by hbrandl
	A simple class of Kripke-style models in which logic and computation have equal standing	3	15 years 47 weeks ago by dpmulligan	15 years 46 weeks ago by Gabbay
	Is lambda calculus a logic?	8	15 years 47 weeks ago by Patrick Browne	15 years 46 weeks ago by raould
	IBM Programming Languages Day 2010 - Program Now Online	0	15 years 46 weeks ago by Peter J. Wasilko	n/a
	Is mathematics invention or discovery?	16	15 years 47 weeks ago by Justin Johansson	15 years 46 weeks ago by David Broderick
	App Inventor: Programming for non-programmers... again	16	15 years 47 weeks ago by fogus	15 years 47 weeks ago by raould
	Questions about Semantics.	19	21 years 37 weeks ago by Matt Estes	15 years 47 weeks ago by Matt Estes
	How important is language support for namespace management?	27	15 years 50 weeks ago by Manuel J. Simoni	15 years 47 weeks ago by dmbarbour
	Evocative metaphor	11	15 years 49 weeks ago by Ehud Lamm	15 years 47 weeks ago by Hank Thediek
	Seeking nearly anything re: so called language "bootstrapping" process	22	16 years 30 weeks ago by scottmcl	15 years 48 weeks ago by Boyko Bantchev
	DbC for distributed multiparty interactions	0	15 years 48 weeks ago by raould	n/a
	Uncle Bob's talk at RailsConf 2010	25	15 years 48 weeks ago by Marc Hamann	15 years 48 weeks ago by dmbarbour
	Simulation language ideas?	4	15 years 49 weeks ago by James W Hofmann	15 years 48 weeks ago by Bakul Shah
	What's the type of an optional parameter?	3	15 years 49 weeks ago by Manuel J. Simoni	15 years 49 weeks ago by mdw
	Denotational semantics with other notions of convergence	3	15 years 49 weeks ago by Neil Toronto	15 years 49 weeks ago by Ohad Kammar
	Traceable Data Types for Self-Adjusting Computation	1	15 years 49 weeks ago by lmeyerov	15 years 49 weeks ago by Jules Jacobs
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