Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Combining Theorem Proving and Programming	10	20 years 40 weeks ago by carter	20 years 39 weeks ago by neelk
	More forum spam	0	20 years 39 weeks ago by Ehud Lamm	n/a
	Etech 2006 CFP	0	20 years 40 weeks ago by Ehud Lamm	n/a
	Calling imperative code from declarative?	1	20 years 40 weeks ago by akallio	20 years 40 weeks ago by Dominic Fox
	Ivory Towers and Gelfand's Principle	48	20 years 42 weeks ago by Leon P Smith	20 years 40 weeks ago by Daniel Yokomizo
	A section on Books	6	20 years 41 weeks ago by senthil	20 years 40 weeks ago by Frank Atanassow
	Real-life use case - which PLs support it nicely?	7	20 years 41 weeks ago by Andris Birkmanis	20 years 41 weeks ago by pantagruel
	Learning to Program with Alice (not Mozart/Oz ML)	2	20 years 41 weeks ago by Isaac Gouy	20 years 41 weeks ago by andrew cooke
	Deikto user interface in Erasmatron storytelling engine	6	20 years 41 weeks ago by Neil Madden	20 years 41 weeks ago by Ehud Lamm
	Big O complexity for abstractions?	2	20 years 41 weeks ago by shapr	20 years 41 weeks ago by Brian T Rice
	Does Abstraction add Fuzziness?	25	20 years 41 weeks ago by mansu	20 years 41 weeks ago by mansu
	Scalable Component Abstractions	4	20 years 42 weeks ago by Matt Hellige	20 years 42 weeks ago by Ehud Lamm
	Neko 1.0	18	20 years 42 weeks ago by Nicolas Cannasse	20 years 42 weeks ago by Derek Elkins
	large imperative code --> functional	6	20 years 43 weeks ago by dbfaken	20 years 42 weeks ago by dbfaken
	Formal semantics for working programmers	6	20 years 42 weeks ago by C G	20 years 42 weeks ago by Marcin Tustin
	MetaPlatform 0.0.1	0	20 years 42 weeks ago by vsl	n/a
	Objective scientific proof of OOP's validity? Don't need no stinkun' proof.	219	20 years 44 weeks ago by Riaan Moll	20 years 42 weeks ago by Jonathan Tang
	Syntax Design	30	20 years 43 weeks ago by C G	20 years 42 weeks ago by Matt Hellige
	Amber: Eiffel/Ruby inspired language for the Parrot VM	0	20 years 42 weeks ago by meltsner	n/a
	ObjectiveCLIPS Released	1	20 years 42 weeks ago by pmougin	20 years 42 weeks ago by David B. Held
	Larger Subroutines == Fewer Defects	11	20 years 43 weeks ago by Greg Buchholz	20 years 42 weeks ago by Andrae Muys
	please help add entries to FreeTechBooks.com	1	20 years 43 weeks ago by el-vadimo	20 years 43 weeks ago by dhopwood
	simpler representation of operational semantics?	8	20 years 44 weeks ago by shahbaz	20 years 43 weeks ago by shahbaz
	Expressivity	22	20 years 44 weeks ago by David B. Held	20 years 43 weeks ago by David B. Held
	JavaMonads	0	20 years 43 weeks ago by Andris Birkmanis	n/a
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