Lambda the Ultimate

type	title	author	last post
Forum topic	Q: Modularizing SQL? HApps has a mini relational algebra by genneth	sciomako	2008-11-15 13:40
Story	Grady Booch: Software Engineering Grand Challenges What counts as generation? by genneth	Ehud Lamm	2008-04-27 18:35
Story	Derivatives and dissections of data types Zeilberger by genneth 1 + X + X^2 + X^3 + ... == by genneth	Andris Birkmanis	2008-04-23 00:45
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Ahh... by genneth	John Carter	2008-03-09 17:31
Forum topic	expressivity of "idiomatic C++" Templates to the rescue! by genneth	el-vadimo	2007-12-28 14:25
Forum topic	What are the properties of "Functional Programming Languages"? Style by genneth	kaveh.shahbazian	2007-11-25 20:23
Forum topic	Petition for adding garbage collection to C++. Exactly by genneth And that's why... by genneth	Achilleas Margaritis	2007-11-20 16:24
Forum topic	Uniqueness Types Instead STM The value of STM... by genneth	kaveh.shahbazian	2007-10-12 22:59
Forum topic	Formal methods for O/R mapping Better data types by genneth Let me feed this back to you by genneth A symptom? by genneth Something that bothers me about OR mappings by genneth	Andris Birkmanis	2007-08-19 00:29
Forum topic	Wrapping the Cloud with .NET Stateful into stateless by genneth	Isaac Gouy	2007-07-30 01:35
Story	Interactivity considered harmful Did anyone notice... by genneth The usual caveats apply by genneth	Jacques Carette	2007-05-21 20:15
Forum topic	Why is there not a PL with a mathematical type system? But we don't need it by genneth Finding the right level [OT: uses physics to make a point] by genneth	gueven	2007-04-25 14:14
Story	The design of C++0x Not in this case by genneth	Ehud Lamm	2007-04-20 16:08
Story	Yesno Any universally powerful programming language must either offer by genneth	Jim Apple	2007-04-10 13:36
Forum topic	LALR grammar of C++ C++ parsing is always going to involve evaluation by genneth C++ parsing is *hard* by genneth	chinu	2007-03-30 20:23
Forum topic	Why do they program in C++? Preprocessor by genneth	David Waern	2007-02-19 12:09
Forum topic	(Even more) theorems for free? Djinn by genneth	Andris Birkmanis	2007-01-03 21:55
Story	Misc items Interesting... by genneth	Ehud Lamm	2006-12-23 10:11
Story	Linear types for aliased resources Why sed? by genneth	Ehud Lamm	2006-12-07 16:10
Forum topic	Proofs that do things Yoneda lemma by genneth	genneth	2006-11-28 11:36
Forum topic	Best Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!! Not just sequencing... by genneth	kaveh.shahbazian	2006-11-08 17:16
Forum topic	Clorox - AJAX shared memory Transactions? by genneth	DanielMyers	2006-10-23 23:29
Story	Good Ideas, Through the Looking Glass One more thing... by genneth	Ehud Lamm	2006-10-23 21:48
Forum topic	Tradeoffs between Unique Types and Monads But they're not... by genneth	mjstahl	2006-10-13 12:47
Forum topic	Small Value Set Types Yes... by genneth	cdiggins	2006-09-06 02:05
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