Lambda the Ultimate

type	title	author	last post
Forum topic	Functional libraries for Java Re: O'Caml vs. Java syntax by raould	shahbaz	2006-01-19 01:19
Forum topic	Understanding the Dynamic Nature of a Program	raould	2005-12-22 23:47
Story	Back to the future... Hear hear by raould	Ehud Lamm	2005-12-14 23:58
Forum topic	The breaking point of language usability? Re: futile calisthenics by raould Re: sliced bread by raould Aside re: regular folks by raould Re: Is this a language issue by raould Yes, that much was obvious by raould Anecdote re: proofs by raould Re: GIGO by raould Search space by raould Re: strict, lazy, monads by raould More agreement? by raould ...	raould	2005-12-12 15:35
Forum topic	The Language Machine - a toolkit for language and grammar Vertical vs. Horizontal Pix by raould	Peri Hankey	2005-11-30 10:32
Story	Putting Curry-Howard to Work PDF version by raould	Andris Birkmanis	2005-11-21 18:55
Story	Battling Bugs: A Digital Quagmire Thanks by raould	Paul Snively	2005-11-16 21:30
Forum topic	Can one avoid monads? Papers found by raould	raould	2005-11-10 20:18
Forum topic	Ivory, an experimental declarative programming system Re: worth pursuing further? by raould two cents encouraging going open by raould Rationale? by raould	AlasdairScott	2005-11-10 09:49
Forum topic	Invariants/Contracts vs. types Re: P vs. P by raould Neophyte constructive question by raould	dbfaken	2005-11-08 22:31
Forum topic	Implementing Higher Order Messages Re: list comprehension by raould	ade_oshineye	2005-11-07 19:30
Forum topic	Geometric Algebra Re: Thesis by raould Don't rant against Cambridge by raould	Derek Elkins	2005-11-04 00:16
Story	Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? Re: Be Constructive by raould Easy to follow?! by raould	Ehud Lamm	2005-11-02 01:34
Forum topic	Pre-LINQ: rich object management in your PL Re: actual paper by raould	raould	2005-10-27 00:59
Forum topic	Best default sequence? Table Oriented Programing by raould Re: integral part of the language by raould Re: memory layout by raould Re: transparently "promote" by raould Re: no steekin' default sequence by raould Re: append vs. insert by raould	Greg Buchholz	2005-10-22 01:16
Forum topic	Expressions vs Statements Re: RTTI by raould Re: assign when created by raould Re: binding vs. assigning by raould Re: errors for just another function by raould Re: blocks of memory by raould Re: where to store results by raould	Sebastien Pierre	2005-10-21 14:28
Forum topic	Scalability Re: software is harder by raould	genneth	2005-10-20 15:26
Forum topic	Territorial Exception Handling	raould	2005-10-18 14:35
Forum topic	Formal methods used in developing "profitable" software Do a web search for by raould	JamesLitsios	2005-10-18 07:45
Forum topic	(from 2004) Possibly faster Haskell	raould	2005-10-14 18:13
Forum topic	"The Anatomy of a Loop" Breaking in the middle by raould	el-vadimo	2005-10-09 19:02
Forum topic	Chapel: "Solving the parallel programming problem" The *other* functional by raould Cilk == C, Cilk-NOW ?= FP by raould	Sean Leather	2005-10-09 18:53
Story	Number-Parameterized Types by Oleg Kiselyov As an aside, it is very readable by raould	shapr	2005-10-05 23:24
Story	Variables as Channels Re: oh, wait... by raould	Klaus Ostermann	2005-10-05 22:45
Forum topic	Interesting old promotional video for Intentional Programming Re: old video by raould	ruin8r	2005-10-05 19:59
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