Lambda the Ultimate

type	title	author	last post
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
Forum topic	any functional language without GC? ST monad in Haskell by genneth	ninegua	2006-04-08 20:09
Forum topic	Purity in PLT Or... by genneth	Jim Apple	2006-04-08 10:56
Forum topic	Google Reader and "continuations" A Contination in name only... by genneth	Ehud Lamm	2006-03-29 08:58
Story	Lock-Free Data Structures using STMs in Haskell Why is this not more wide spread? by genneth	Ehud Lamm	2006-03-20 19:36
Forum topic	Joel Spolsky views on CS education Gotta pick topics so people can understand by genneth	Andrei Formiga	2006-01-20 20:55
Forum topic	Bruce Tate: Technologies that may challenge Java Eightball says... by genneth	shahbaz	2006-01-12 06:01
Story	Accelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelism What about both? by genneth	Ehud Lamm	2006-01-11 18:17
Story	Battling Bugs: A Digital Quagmire Java's types aren't even close to real types by genneth	Paul Snively	2005-11-16 21:30
Forum topic	Geometric Algebra Been there... by genneth OMG by genneth	Derek Elkins	2005-11-04 00:16
Forum topic	Scalability Absolutely not by genneth I think I missed my own point... by genneth My personal reasons by genneth Mongolian Hordes by genneth I *heart* HaskellDB by genneth I like it too by genneth	genneth	2005-10-20 15:26
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