Lambda the Ultimate

type	title	author	last post
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	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	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	Clorox - AJAX shared memory Transactions? by genneth	DanielMyers	2006-10-23 23:29
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
Forum topic	Amusing question Dear sir by genneth	Ehud Lamm	2006-07-08 19:19
Forum topic	Relevance of Curry-Howard Kolmogorov operation by genneth	Klaus Ostermann	2006-06-12 13:36
Forum topic	Question about Lazy-ness and algorithmic runtime analysis Why can't I have infinite lists? by genneth	Logan Capaldo	2006-05-22 08:48
Story	Transactional Memory with data invariants (draft sequel to the STM-Haskell paper) Heroic efforts in C by genneth I know I want more STM in my applications by genneth	shapr	2006-05-17 12:42
Forum topic	Lambda the Ultimate Set Comprehension Can't seem to work out how to comment... by genneth	xyzzy	2006-05-17 06:05
Story	E Thesis: Robust Composition HAppS by genneth	Chris Rathman	2006-04-21 07:16
Story	foldl and foldr Lazy by genneth	Noel	2006-04-20 16:34
Forum topic	System F with Type Equality Coercions Doh! by genneth	genneth	2006-04-13 21:14
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