Lambda the Ultimate

type	title	author	last post
Story	Ian Bicking: The challenge of metaprogramming Recursion is an unusual control structure by Ronny Wichers Schreur The scorn of LtU by Ronny Wichers Schreur	Ehud Lamm	2006-03-06 17:42
Forum topic	Type theory question... Online PostScript file by Ronny Wichers Schreur	Matt Hellige	2006-02-23 22:07
Forum topic	Is STL algorithms doing damage to the cause? Easy (well, in two lines) by Ronny Wichers Schreur -O by Ronny Wichers Schreur	Koray Can	2006-02-13 15:17
Story	Infrastructure Announcement Name truncation regression by Ronny Wichers Schreur Comment links in tracker by Ronny Wichers Schreur	Ehud Lamm	2006-01-23 06:49
Forum topic	Bruce Tate: Technologies that may challenge Java Humane interface on top of orthogonal interface by Ronny Wichers Schreur	shahbaz	2006-01-12 06:01
Forum topic	Countering Trusting Trust through Diverse Double-Compiling ... but can be made to work by Ronny Wichers Schreur	Curt Sampson	2005-12-28 22:50
Story	adbmaL Ambdal indeed by Ronny Wichers Schreur	Andris Birkmanis	2005-12-20 04:49
Forum topic	The breaking point of language usability? Thanks for the clarification by Ronny Wichers Schreur Elitist recursionist by Ronny Wichers Schreur	raould	2005-12-12 15:35
Story	Dynamic typing in OCaml World peace by Ronny Wichers Schreur	Matt Hellige	2005-09-22 23:22
Story	Distributive laws for the Coinductive Solution of Recursive Equations Fixed by Ronny Wichers Schreur Example by Ronny Wichers Schreur	Ehud Lamm	2005-09-14 02:56
Story	Spec# JML by Ronny Wichers Schreur	Ehud Lamm	2005-07-25 18:11
Forum topic	Why type systems are interesting - part III: latent types Run-time checks by Ronny Wichers Schreur	Anton van Straaten	2005-07-14 01:39
Forum topic	What will Apple's move to Intel mean for Alternative Language Communities? IA-32 by Ronny Wichers Schreur	Peter J. Wasilko	2005-06-10 21:13
Story	Computer generates verifiable mathematics proof MS MapColor 1.0 by Ronny Wichers Schreur	Ehud Lamm	2005-04-27 10:44
Forum topic	House , hOp - the Haskell Operating System Another project by Ronny Wichers Schreur	shapr	2005-04-21 11:32
Forum topic	History: Array languages SAC by Ronny Wichers Schreur	James Hague	2005-02-17 12:06
Forum topic	Langauges and Hardware... ... or low bits by Ronny Wichers Schreur	Matt Estes	2005-02-15 17:11
Forum topic	"Popular vs. Good" in Programming Languages Maintenance mode by Ronny Wichers Schreur	Kevin Greer	2005-01-30 01:03
Story	Release of Python 2.4, release candidate 1 Documentation mistake by Ronny Wichers Schreur	Ehud Lamm	2004-11-27 23:03
Forum topic	Succ Zeroth International Obfuscated Haskell Code Contest Results ICFP has tight time constraints by Ronny Wichers Schreur	shapr	2004-10-13 21:44
Forum topic	New CLR Language: Boo Re: Clean Object I/O library by Ronny Wichers Schreur Re: Optional dynamic ("duck") typing by Ronny Wichers Schreur	lennon	2004-10-01 16:38
Story	Implementing Declarative Parallel Bottom-Avoiding Choice Jan Kuper's thesis by Ronny Wichers Schreur	Ehud Lamm	2004-08-26 16:29
Forum topic	Tail of Nil and Its Type Same source by Ronny Wichers Schreur Not necessarily undecidable by Ronny Wichers Schreur Nowhere by Ronny Wichers Schreur	Andris Birkmanis	2004-08-08 23:21
Forum topic	The site discussions forum Thanks by Ronny Wichers Schreur Display longer user names by Ronny Wichers Schreur	Ehud Lamm	2004-07-29 12:48
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