Lambda the Ultimate

type	title	author	last post
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
Story	Python: Generator methods Yeah what he said... by shapr	Ehud Lamm	2005-03-25 06:14
Story	UCPy: Reverse Engineering Python Performance of Region Allocation on NUMA architecture. by shapr	Dominic Fox	2005-03-24 15:19
Story	μABC: A Minimal Aspect Calculus Execution Monad in Scheme by Wand-Kiczales-Dutchyn by shapr Looks like a monad to me. by shapr	Andris Birkmanis	2005-03-22 22:02
Forum topic	Journals and papers? Building a bridge between cultures? by shapr scholar.google.com feature request, free articles only by shapr	BigZaphod	2005-03-22 17:56
Story	Reproducing Programs implement Lazy Lists	shapr	2005-03-21 19:29
Story	OCaml vs. C++ for Dynamic Programming Excellent, thanks! by shapr Do you have a reference for this? by shapr	Ehud Lamm	2005-03-21 14:06
Forum topic	Designing and Implementing DSL languages: recommended reading? Check out Paul Hudak's writings. by shapr	ydewit	2005-03-21 11:40
Forum topic	Another minor usability gripe... Looks like spam? by shapr	Matt Hellige	2005-03-11 02:26
Story	Adobe Releases Adam and Eve Google says... by shapr	Brent Fulgham	2005-03-08 14:22
Forum topic	A New Series of Books and Software for Scientists, Experts, Teachers and Students Does this really deal with programming language theory? by shapr	Haritonov	2005-02-23 21:15
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