Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Dr. Kenneth Iverson Passes Away	13	21 years 33 weeks ago by shrogers	17 years 31 weeks ago by Charles Stewart
	Oz/K: A kernel language for component-based open programming	4	17 years 31 weeks ago by Isaac Gouy	17 years 31 weeks ago by Charles Stewart
	Liquid Metal project, Lime language: Java for FPGA co-processors	4	17 years 31 weeks ago by raould	17 years 31 weeks ago by raould
	Reflection, Attributes and Parameterization	0	17 years 31 weeks ago by naasking	n/a
	Garbage Collection Representations	13	17 years 45 weeks ago by naasking	17 years 31 weeks ago by naasking
	Why do OOPLs type objects as classes?	12	17 years 33 weeks ago by robmeyers	17 years 32 weeks ago by raould
	Object Oriented Programming + Referential Transparency	80	20 years 34 weeks ago by mjstahl	17 years 32 weeks ago by raould
	Currying != Generalized Partial Application?!	9	19 years 2 weeks ago by cdiggins	17 years 32 weeks ago by Amar Nath Satrawala
	Call for Submissions, for the International Lisp Conference 2009	0	17 years 32 weeks ago by Daniel Weinreb	n/a
	ANN: Ur/Web: Statically-typed metaprogramming for the web	7	17 years 32 weeks ago by Adam Chlipala	17 years 32 weeks ago by Sean Leather
	On the (perceived) equivalence of static and dynamically typed reflective programming languages	78	17 years 34 weeks ago by Ran	17 years 32 weeks ago by Ben L. Titzer
	Summary of Dependently Typed Systems?	15	17 years 33 weeks ago by jim burton	17 years 32 weeks ago by jim burton
	Constructor classes	12	17 years 34 weeks ago by jdgallag	17 years 32 weeks ago by shap
	[ANN] Call for Speakers - Code Generation 2009	0	17 years 32 weeks ago by Mark Dalgarno	n/a
	Multiple Dispatch in Practice	30	17 years 33 weeks ago by Isaac Gouy	17 years 32 weeks ago by dmbarbour
	Review of Practical API Design by Jaroslav Tulach	5	17 years 33 weeks ago by Tim Band	17 years 33 weeks ago by Tim Band
	Course on Interactive Computer Theorem Proving Based on Coq	18	19 years 8 weeks ago by Paul Snively	17 years 33 weeks ago by Yves Bertot
	A Modular, Verifiable Exception-Handling Mechanism	13	17 years 33 weeks ago by dmbarbour	17 years 33 weeks ago by naasking
	CFP: Language Descriptions Tools and Applications (LDTA 2009)	0	17 years 33 weeks ago by jurgenv	n/a
	Choice of OS of LtU readers	78	20 years 20 weeks ago by marco	17 years 33 weeks ago by Jules Jacobs
	F in System F	8	17 years 33 weeks ago by christopher	17 years 33 weeks ago by christopher
	Common Lisp Exception Handling	25	20 years 1 week ago by SamK	17 years 33 weeks ago by dmbarbour
	Programmer book club	0	17 years 33 weeks ago by Ehud Lamm	n/a
	OOPSLA 08	2	17 years 34 weeks ago by levalex	17 years 34 weeks ago by levalex
	Syntactic/Semantic Control in MDA Framework	3	17 years 35 weeks ago by Zizek	17 years 34 weeks ago by Zizek
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