Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Obscure question about a remark in "A Tutorial on (Co)Algebras and (Co)Induction".	4	16 years 46 weeks ago by Jason Dusek	16 years 46 weeks ago by Jason Dusek
	latest on linear/uniqueness typing?	3	16 years 47 weeks ago by raould	16 years 47 weeks ago by raould
	Static typing may require runtime type checking?	26	16 years 48 weeks ago by sidhu	16 years 47 weeks ago by neelk
	COMPOSITA - another ETH language	0	16 years 47 weeks ago by Isaac Gouy	n/a
	YAPL - yet another programming language	13	16 years 48 weeks ago by arnaud_d	16 years 47 weeks ago by Srikumar Subramanian
	Any tips (Logo)?	8	16 years 48 weeks ago by Ehud Lamm	16 years 48 weeks ago by Ehud Lamm
	Looking for list of programming problems to thoroughly test a language	8	16 years 48 weeks ago by derekp	16 years 48 weeks ago by Kay Schluehr
	source code conversion	19	20 years 6 weeks ago by bokel	16 years 48 weeks ago by Alex1
	The deBrujin Criterion and the "LCF Approach".	12	16 years 49 weeks ago by Jason Dusek	16 years 48 weeks ago by marco
	:r4 The colorless colorforth language	0	16 years 48 weeks ago by phreda	n/a
	muSE - an embeddable scheme dialect	15	19 years 29 weeks ago by Srikumar Subramanian	16 years 48 weeks ago by Srikumar Subramanian
	Writing an interpreter, targeting a VM or writing from scratch?	33	19 years 38 weeks ago by Johan Tibell	16 years 48 weeks ago by shap
	Butcher, Baker or CandlestickMaker	2	16 years 49 weeks ago by Justin Johansson	16 years 49 weeks ago by shap
	Algebra Of Programming (Bird, De Moor)	29	20 years 20 weeks ago by shahbaz	16 years 49 weeks ago by Bryan Turner
	Andrej Bauer on PLD	8	16 years 49 weeks ago by Charles Stewart	16 years 49 weeks ago by Charles Stewart
	Viable System Architecture	0	16 years 49 weeks ago by Hank Thediek	n/a
	What if Smalltalk were invented today?	0	16 years 49 weeks ago by Sean McDirmid	n/a
	Coherent Reaction	1	16 years 49 weeks ago by Greg Buchholz	16 years 49 weeks ago by lmeyerov
	new list about PL design	1	16 years 49 weeks ago by spir	16 years 49 weeks ago by Ehud Lamm
	Languages ready for API Evolution	34	17 years 32 weeks ago by Jaroslav Tulach	16 years 49 weeks ago by Z-Bo
	How to ensure safety when millions of users inject scripts into a running system?	10	16 years 50 weeks ago by shahbaz	16 years 50 weeks ago by Rahul Gopinath
	multidimensional abstraction?	15	16 years 50 weeks ago by raould	16 years 50 weeks ago by Z-Bo
	Challenges	0	16 years 50 weeks ago by Hank Thediek	n/a
	New EcmaScript/Javascript specification	1	16 years 51 weeks ago by natecain	16 years 50 weeks ago by shap
	FringeDC Formal Meeting- April 18th 12PM Noon- Advanced Common Lisp Features	0	16 years 50 weeks ago by drcode	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