Lambda the Ultimate

type	title	author	last post
Story	Dynamic typing in OCaml QuickCheck by shapr	Matt Hellige	2005-09-22 23:22
Forum topic	Garbage Collection as a Lazy Algorithm Henry Baker by shapr	Greg Buchholz	2005-09-19 23:23
Forum topic	Big O complexity for abstractions?	shapr	2005-08-30 01:38
Forum topic	Does Abstraction add Fuzziness? Temporary hiding of extraneous information. by shapr	mansu	2005-08-29 20:17
Forum topic	CTM The Need for Abstraction by shapr	rumplestiltkin	2005-07-11 15:37
Forum topic	Dynamic Languages Journal? Sure, but? by shapr	Ovid	2005-07-07 12:48
Story	Why Dependent Types Matter I've tried to teach people autodidactism ... by shapr	Ehud Lamm	2005-07-05 08:34
Forum topic	The long tail of programming languages Power Law comparisons? by shapr .postfix dislike might you why idea no have I by shapr	Allan McInnes	2005-07-01 10:42
Forum topic	Short examples of complex use of state? Possibly DaCapo benchmarks? by shapr	neelk	2005-06-01 19:44
Story	Two Thank Yous for Peter van Roy Haskell is not lazy, only non-strict. by shapr	Philip Wadler	2005-05-29 05:41
Story	Parameterized Unit Tests Testing is automated, informal, proof of functionality. by shapr QuickCheck : The Test of a New Generation by shapr	Ehud Lamm	2005-05-27 01:31
Forum topic	Call for Papers: ACM Symposium on Dynamic Languages Spiffy, thanks. by shapr Snake, It's a Snake! (Badger, badger, badger) by shapr Zope has more production errors. by shapr Different Towers? by shapr Soft/Firm Typing by shapr	rwuyts	2005-05-17 17:28
Story	subtext: Uncovering the simplicity of programming See your code executing live... by shapr	Ehud Lamm	2005-05-12 20:49
Forum topic	Links Debian packages for MetaEnvironment by shapr The truth is out there. by shapr	Philip Wadler	2005-05-07 10:23
Forum topic	mechanics of designing and implementing a language Supercombinators by shapr	shahbaz	2005-05-02 09:36
Story	Fortress focuses on the needs of scientists Links to ... by shapr	Ehud Lamm	2005-05-01 20:15
Story	Computer generates verifiable mathematics proof CPAN, obviously. by shapr	Ehud Lamm	2005-04-27 10:44
Forum topic	Chemistry, Graph Tranformation and Programming Languages Bah, Humility! by shapr	gmol	2005-04-25 18:22
Forum topic	House , hOp - the Haskell Operating System House is Wired. by shapr House Source released by shapr	shapr	2005-04-21 11:32
Forum topic	According to Allen Holub programming is now a liberal art. When did this happen? QuickCheck! by shapr hIp hOp, House by shapr	ade_oshineye	2005-04-16 22:46
Story	The Glasgow Haskell Compiler Survey - GHC needs your feedback!	shapr	2005-04-15 16:49
Story	Chris Coyne's Context Free Design Grammar, and SCIgen - Randomly generated CS papers.	shapr	2005-04-14 20:51
Forum topic	Links Slides Re: QuickCheck in Xavier Leroy's slides by shapr	Ethan Aubin	2005-04-12 14:55
Forum topic	Why is erlang.org down Network problems in Sweden? by shapr	santoemma	2005-04-12 08:20
Story	Recovering resources in the pi-calculus Computational Shape? FISh Pi? by shapr	Andris Birkmanis	2005-04-05 21:54
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