Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Dynamic Software Updating for C	4	20 years 7 weeks ago by Isaac Gouy	19 years 49 weeks ago by Isaac Gouy
	High-Level Nondeterministic Abstractions in C++	0	19 years 49 weeks ago by zayenz	n/a
	Oxymoronic? "Safety-critical development guidelines for real-time Java"	22	19 years 50 weeks ago by raould	19 years 49 weeks ago by Curtis W
	Article: Exploring Cocoa with F-Script	11	19 years 50 weeks ago by pmougin	19 years 49 weeks ago by pmougin
	Church-Turning is False?	24	20 years 2 days ago by Bryan Turner	19 years 50 weeks ago by Ronny Wichers Schreur
	The Role of Type Equality in Meta-Programming	9	20 years 31 weeks ago by Niels Hoogeveen	19 years 50 weeks ago by andrew cooke
	Rules for Developing Safety-Critical Code	45	19 years 51 weeks ago by Peter J. Wasilko	19 years 50 weeks ago by John Carter
	Ruby .NET compiler released	1	19 years 51 weeks ago by Dominic Cooney	19 years 50 weeks ago by Erik Meijer
	The OO barrier	67	19 years 51 weeks ago by snk_kid	19 years 51 weeks ago by rmalafaia
	Dataflow programming for PIC microcontrollers	13	19 years 51 weeks ago by Peter Scott	19 years 51 weeks ago by James McCartney
	ML Modules and Haskell Type Classes: A Constructive Comparison	4	20 years 2 days ago by Greg Buchholz	19 years 51 weeks ago by Chris Rathman
	Cat version 0.2	0	19 years 51 weeks ago by cdiggins	n/a
	SuperGlue	7	20 years 1 week ago by Sean McDirmid	19 years 51 weeks ago by Peter Van Roy
	A thought on the design of new low-level languages...	5	20 years 21 hours ago by snk_kid	20 years 2 hours ago by snk_kid
	Formal verification of a C-Compiler frontend.	1	20 years 2 days ago by Peter A Jonsson	20 years 22 hours ago by Ehud Lamm
	Generative and Transformational Techniques	0	20 years 1 day ago by JamesLitsios	n/a
	Relevance of Curry-Howard	113	20 years 1 week ago by Klaus Ostermann	20 years 2 days ago by Hank Thediek
	emulation for Erlang style processes	15	20 years 1 week ago by Rys McCusker	20 years 3 days ago by Rys McCusker
	A DSL based Web Framework.	2	20 years 4 days ago by Matt Estes	20 years 3 days ago by Matt Estes
	Multidimensional Virtual Classes	22	20 years 5 weeks ago by Niels Hoogeveen	20 years 4 days ago by Vesa Karvonen
	Return of the Global Variables?	36	20 years 23 weeks ago by Koray Can	20 years 6 days ago by Dave Lopez
	Buried Treasure - No Fluff Just Stuff	248	20 years 2 weeks ago by Isaac Gouy	20 years 6 days ago by Paul Snively
	Type checking and logical errors	57	20 years 1 week ago by Mike Smith	20 years 1 week ago by Ethan Aubin
	Trying to get embedded python co-routines to work	3	20 years 1 week ago by raoulvp	20 years 1 week ago by ntupel
	Timor: adding "qualifying" and "attribute" types to the OO realm.	6	20 years 2 weeks ago by raould	20 years 1 week ago by Ehud Lamm
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