Lambda the Ultimate

type	title	author	last post
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
Forum topic	Neophyte question: detecting deadlock, livelock, races etc. Thanks for the news by raould	raould	2006-09-15 16:26
Forum topic	Strongtalk goes open source Gilad is humorous by raould	grant	2006-09-13 21:13
Forum topic	Back button & scroll position	raould	2006-09-11 14:46
Forum topic	Overloading : Why do some languages leave it out? For every advanced feature... by raould	cdiggins	2006-08-08 21:28
Forum topic	Managing missing information through Condition Propagation Interesting by raould	n8allan	2006-08-03 16:31
Forum topic	First Class Values, Types as values within a Programming Language Even then it seems complicated by raould	Bruce Rennie	2006-07-20 00:50
Forum topic	How do Java generics correspond to System F-(omega)? Re: list.add(37.62) by raould Ah, right you are! by raould What does sub-type do for you? by raould Clearer?! by raould Funny you should mention that by raould Thanks by raould Transitivities of evil. by raould I'm still (easily) confused by raould	Chung-chieh Shan	2006-07-12 22:39
Forum topic	The World's Most Maintainable Programming Language Re: Reliability via standard libraries by raould No code is better by raould Avril fool's by raould	raould	2006-07-11 22:20
Forum topic	Oxymoronic? "Safety-critical development guidelines for real-time Java" Re: oxymoron by raould becomes a chance to plug Scala by raould	raould	2006-07-01 15:52
Forum topic	Rules for Developing Safety-Critical Code And, when do you know it is/not tail-recursive? by raould	Peter J. Wasilko	2006-06-25 21:26
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