Lambda the Ultimate

type	title	author	last post
Forum topic	Bell-LaPadula and type safety How about safety? by naasking You seem to be asking if we by naasking	johnwcowan	2008-03-06 15:04
Story	Uniqueness Typing Simplified Still, at least the by naasking	naasking	2008-03-05 14:34
Forum topic	Type-safe solution to the expression problem in C#? Expression Problem Solved in C# by naasking	David Cuccia	2008-03-03 14:19
Forum topic	exceptions again I think that Coq satisfies by naasking I don't immediately see how by naasking Using error code for every by naasking I think efficient exceptions by naasking I'm curious: in which by naasking I don't think I would object by naasking My view - feedback appreciated! by naasking	raould	2008-02-28 18:08
Forum topic	Chris Okasaki on Indentation Syntax	naasking	2008-02-27 15:43
Forum topic	Uniform naming For example, in C++/Java/C#, by naasking	George Morrison	2008-02-20 22:21
Forum topic	time as a first class value? A Timed Semantics of Orc by naasking	shahbaz	2008-02-20 01:48
Forum topic	Recursive Algorithms that cannot be expresses with Tail-Recursion? This is the interesting by naasking	Anon Adderlan	2008-02-19 15:09
Forum topic	Languages and data conversions. Generally my view is that by naasking What about overloading / by naasking Hmm, that's a good one, but by naasking Excellent! Thanks for the by naasking I think this is stated too by naasking No, all new for me. My by naasking By implicit parameters, I by naasking I am now of the opinion that by naasking	David Ryan	2008-02-14 21:32
Forum topic	Latest usability for polymorphism? These are the kinds of tools by naasking If the "pattern"... ...is by naasking However, what does it mean by naasking Programmers build their own tools by naasking I think people are reading by naasking I agree that HCI can offer a by naasking	raould	2008-02-12 15:34
Forum topic	Impact of OO language style on code I don't get the complexity by naasking	raould	2008-02-08 21:15
Forum topic	Jura, a OOMP language and potential DBMS I agree that dealing with by naasking	Winheim Raulsh	2008-02-08 18:44
Story	The Design and Implementation of Typed Scheme The plus function reminds me by naasking	Ehud Lamm	2008-02-08 03:56
Forum topic	Adding Concurrent Constructs to a Language with State My 3 favourites by naasking	Ben L. Titzer	2008-02-05 01:51
Forum topic	Interesting old gem: Prop does pattern matching in C++ Or Felix. by naasking	Tim Daly Jr.	2008-02-01 05:10
Forum topic	Embedded concurrent FPish languages? Some of the low-level by naasking	raould	2008-01-31 19:51
Forum topic	How useful is reflection, anyway? Thanks for the pointer. I am by naasking With polytypic programming, by naasking I gave an intro here. by naasking Re: confidence vs certainty, by naasking Erlang doesn't have a type by naasking Paul already gave the right by naasking Yes, I realize this, which by naasking A rule of thumb I use is by naasking True, but when talking about by naasking Abstractions are based upon by naasking ...	Scott Johnson	2008-01-31 18:41
Forum topic	VM's... What's the best? To be fair, we're talking by naasking Scheme isn't used on the JVM by naasking Or you could just develop by naasking Portability of CLR by naasking In particular, if you have by naasking I like LLVM, but it's a bit by naasking Or look at Neko: by naasking	diegoeche	2008-01-30 11:52
Story	Logic for Philosophy Link broken by naasking	Ehud Lamm	2008-01-28 09:20
Forum topic	foundations for J, APL etc That survey is exactly what by naasking	shoe	2008-01-27 19:55
Forum topic	poll: syntax When I was looking into by naasking Programming Language by naasking People reuse concepts more by naasking I agree that Python is very by naasking Now, if I only could by naasking So you're saying that a by naasking Your examples are no more by naasking I meant that Smalltalk got by naasking Exactly. I think contorting by naasking I don't know... most people by naasking	Givas	2008-01-25 02:00
Forum topic	The Worst Monad Tutorial... Except For All Those Others. I believe you can encode by naasking Type-safe general monad interface in C# by naasking	naasking	2008-01-23 17:23
Forum topic	Ruby vs. Smalltalk programmers working on the E by naasking	Jack Waugh	2008-01-23 17:23
Forum topic	Compile-Time Execution in an Object Oriented Language I think the Meta-Compilation by naasking Virgil was discussed on LTU by naasking Active Libraries, which is by naasking	cdiggins	2008-01-22 21:31
Forum topic	Trickles: A Stateless Network Stack for Improved Scalability, Resilience and Flexibility The routers themselves then by naasking	Derek Elkins	2008-01-22 19:01
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