Lambda the Ultimate

type	title	author	last post
Story	Putting Curry-Howard to Work Or TWO specifications by Allan McInnes	Andris Birkmanis	2005-11-21 18:55
Forum topic	Elegant Method of binding a function variable Pointer to INT? by Allan McInnes	StuartBruff	2005-11-07 15:18
Forum topic	Slashdot asks: "how would you improve SQL?"	Allan McInnes	2005-11-07 06:51
Forum topic	Would LISP/FP help here? Strafunski by Allan McInnes Wasn't this in Koen Claessen' by Allan McInnes Lava by Allan McInnes	Laurent Bruter	2005-11-02 14:44
Forum topic	Why Lists? Sets in CSPm by Allan McInnes	David B. Held	2005-11-01 21:15
Forum topic	Scalability Abstractions by Allan McInnes Engineering complex systems by Allan McInnes Complexity by Allan McInnes	genneth	2005-10-20 15:26
Forum topic	"The Anatomy of a Loop" Lifting expressiveness by Allan McInnes "Expressive"? by Allan McInnes	el-vadimo	2005-10-09 19:02
Forum topic	Chapel: "Solving the parallel programming problem" π-calculus by Allan McInnes	Sean Leather	2005-10-09 18:53
Forum topic	Abstractions considered harmful? Praxis by Allan McInnes My program didn't do what I expected? Inconceivable! by Allan McInnes Debugging relies on reasoning by Allan McInnes Choosing abstractions by Allan McInnes	raould	2005-10-03 19:09
Forum topic	From Perl Monks: "pissed off about functional programming" dynamic scoping by Allan McInnes	tmoertel	2005-10-03 13:04
Forum topic	Active Objects with Syntax Directed Dialogs Details are sparse by Allan McInnes Interesting and occam-like by Allan McInnes	Isaac Gouy	2005-09-30 18:12
Forum topic	Non-Lisp, natively extensible? Thanks for the clarification. by Allan McInnes Logix by Allan McInnes	Nathan Sobo	2005-09-30 08:29
Story	LtU: Style and Focus Why bother? by Allan McInnes Please, no by Allan McInnes	Ehud Lamm	2005-09-29 22:03
Forum topic	Most Productive FP Lang? OCaml and Eclipse by Allan McInnes	David B. Held	2005-09-26 03:14
Forum topic	Logix: Multi-Language Programming Oops by Allan McInnes	Allan McInnes	2005-09-23 06:08
Story	Dynamic typing in OCaml Evidence (of bugs and cost reductions) by Allan McInnes	Matt Hellige	2005-09-22 23:22
Forum topic	Building Compilers by Combining Algebras	Allan McInnes	2005-09-15 18:29
Story	Should Computer Science Get Rid of Protocols? Of course there are other problems... by Allan McInnes Small changes in design by Allan McInnes	Klaus Ostermann	2005-08-25 10:11
Forum topic	Objective scientific proof of OOP's validity? Don't need no stinkun' proof. I wasn't claiming that it was by Allan McInnes FP performance by Allan McInnes	Riaan Moll	2005-08-21 18:49
Forum topic	Syntax Design That was kind of my point by Allan McInnes Language for HCI by Allan McInnes	C G	2005-08-19 14:11
Forum topic	On the Revival of Dynamic Languages You tell me by Allan McInnes Thanks! by Allan McInnes A question by Allan McInnes	Isaac Gouy	2005-08-03 18:41
Story	A Case for Formal Specification Good story by Allan McInnes	Frank Atanassow	2005-08-02 14:46
Story	Happy Birthday, dear Lambda I'll second that by Allan McInnes	Ehud Lamm	2005-07-29 16:18
Forum topic	Why type systems are interesting - part III: latent types Type vs Subtype by Allan McInnes Ada? by Allan McInnes	Anton van Straaten	2005-07-14 01:39
Forum topic	Martin Fowler on Language Workbenches and DSLs Text != Graphics? by Allan McInnes An analogy to physics by Allan McInnes	marco	2005-07-10 18:30
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