Lambda the Ultimate

type	title	author	last post
Story	More Haskell in Java 7 or 8? Quark by raould	Ehud Lamm	2007-01-06 16:45
Forum topic	hypothetical question Language is irrelevant by raould	Jeff Cutsinger	2007-01-02 07:14
Forum topic	Virtual Machines, Language Runtimes, and the Future of Objective C True by raould	akopa	2007-01-01 19:47
Forum topic	Commercial Users of Functional Programming 2006 I like static typing, I guess. by raould	Isaac Gouy	2006-12-29 14:46
Forum topic	A Usability question: Too much typing? Agreed by raould Formalism vs. UI by raould	raould	2006-12-23 17:24
Story	Java Open Review Project OO immutability types? by raould	Ehud Lamm	2006-12-16 11:29
Story	Modular Type Classes [OTing] SML + ? by raould	Jim Apple	2006-12-04 21:42
Story	OOPSLA 2005: Io, a small programming language Re: 6 of one, 1/2 dozen of the other by raould Advanced Programming Language Design by raould	Ehud Lamm	2006-11-21 23:09
Forum topic	Random "if it bends it is funny, if it breaks it isn't funny" line of thought Either way by raould	raould	2006-11-15 21:08
Story	Practical OCaml why not a wiki or something? by raould	Matt Hellige	2006-11-14 13:41
Forum topic	Static type inference & late binding? Not grounded in current reality by raould Re: Alice by raould Re: Haskell by raould Re: 'main stream' by raould I found a reference to MrFlow by raould	raould	2006-11-13 16:16
Story	A rationale for semantically enhanced library languages "nor trivial but it doesn't matter" by raould	Ehud Lamm	2006-11-06 07:50
Forum topic	Code generation vs. dynamic/introspective languages Peace, man. by raould	raould	2006-11-05 21:03
Story	"Proof-Directed Debugging" Revisited Less hard-core proofs, but perhaps similar... by raould	Ehud Lamm	2006-11-04 01:11
Forum topic	FP vs. JSP	raould	2006-10-19 12:06
Forum topic	Business Objects Quark - Haskell meets Java purity, or lack thereof by raould a blog about it by raould	BenMoseley	2006-10-19 07:20
Forum topic	Modified javac That Processes Annotations on Local Variables upcoming Java feature by raould	mgricken	2006-10-11 20:31
Forum topic	call by ? and mental models clarity -> verbosity? by raould	David N. Welton	2006-10-05 21:49
Story	A type-correct, stack-safe, provably correct, expression compiler in Epigram "incremental type inference and separate compilation" by raould	Niels Hoogeveen	2006-10-02 18:13
Forum topic	ICFP proceedings / Scheme workshop ...and Erlang by raould	dbfaken	2006-09-27 01:34
Forum topic	Closures for Java or money back the tooling by raould [OT'ing] I want to like Scala by raould	el-vadimo	2006-09-23 19:16
Forum topic	online literature on CPL? which CPL do you mean? by raould	Boyko Bantchev	2006-09-21 19:04
Story	Dynamic Languages Symposium Program Online Agreed by raould My current hobby horse by raould	Erik Meijer	2006-09-20 17:21
Story	Lang .NET 2006 yes! by raould	Erik Meijer	2006-09-18 18:32
Forum topic	"Language Oriented Programming" Meta Programming System Re: IDEs by raould already discussed by raould	raould	2006-09-18 15:28
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