Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	SelfType and MyType	2	16 years 23 weeks ago by Mokua Richard	16 years 23 weeks ago by Sean McDirmid
	Metrics or formailizations of "local reasoning"?	1	16 years 23 weeks ago by dataangel	16 years 23 weeks ago by lmeyerov
	Is (probabilistic) non-determinism pure ?	22	16 years 23 weeks ago by Steven Obua	16 years 23 weeks ago by marco
	Exploration of Program as Language	5	16 years 23 weeks ago by Sean McDirmid	16 years 23 weeks ago by naasking
	Need volunteer help/feedback from stronger academic/competent profiles (on testing T-diags expressiveness with semantics, etc)	2	16 years 24 weeks ago by Cyril	16 years 24 weeks ago by Cyril
	Lazy Christmas Gift	0	16 years 24 weeks ago by marco	n/a
	Programming Language transformation?	16	20 years 19 weeks ago by raould	16 years 24 weeks ago by Z-Bo
	Chunked sequences: Lookahead laziness	10	16 years 25 weeks ago by L Spice	16 years 24 weeks ago by Denis Bredelet -jido
	ChucK : A Strongly timed language	5	16 years 26 weeks ago by Martin Watson	16 years 25 weeks ago by Martin Watson
	Question: Graceful error recovery during parsing	13	20 years 36 weeks ago by Nathan Sobo	16 years 25 weeks ago by justncase80
	Metaprogramming and Heron : Five Years Later	13	16 years 26 weeks ago by cdiggins	16 years 25 weeks ago by cdiggins
	Implementation of Cardelli and Daan Leijen Style Record Systems?	33	16 years 26 weeks ago by scottmcl	16 years 25 weeks ago by Wouter Swierstra
	Using a single stack in the presence of continuations	2	16 years 26 weeks ago by Denis Bredelet -jido	16 years 25 weeks ago by scottmcl
	embedding forth	0	16 years 26 weeks ago by phbf	n/a
	Lagoona, component-orientation	1	16 years 26 weeks ago by raould	16 years 26 weeks ago by Mike G.
	Program Visualization: Flowchart Layout Algorithms?	5	17 years 51 weeks ago by markt	16 years 26 weeks ago by lmeyerov
	how to resolve the compatibility issues of libraries.	2	16 years 27 weeks ago by zero	16 years 27 weeks ago by Tim Band
	Go Interfaces	2	16 years 27 weeks ago by Manuel J. Simoni	16 years 27 weeks ago by scottmcl
	How to learn about formal top-down approach to software architecture?	5	16 years 28 weeks ago by Obscure Hipster	16 years 27 weeks ago by Z-Bo
	PiSigma, a dependently typed core language	0	16 years 28 weeks ago by Serguey Zefirov	n/a
	Seeking reference for citation in article.	2	16 years 29 weeks ago by Harold Levin	16 years 28 weeks ago by fadrian
	The Memory Pool System: Thirty person-years of memory management development goes Open Source	11	21 years 25 weeks ago by tonyg	16 years 29 weeks ago by hannes
	Seeking broad survey of wide range of concurrency idioms	108	16 years 34 weeks ago by scottmcl	16 years 31 weeks ago by lmeyerov
	Eiffel Studio adds GPL version	14	20 years 9 weeks ago by John Eikenberry	16 years 31 weeks ago by Dave Lopez
	Gilad Bracha on "Atomic Install"	2	16 years 31 weeks ago by Matt Hellige	16 years 31 weeks ago by Kay Schluehr
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