Lambda the Ultimate

type	title	author	last post
Story	Eriskay: a Programming Language Based on Game Semantics Oh, thanks! That's a really by naasking By broken, I mean it returns by naasking Link is broken. I couldn't by naasking	neelk	2008-03-26 16:54
Forum topic	Role of Types in Evaluation Strategy It's because I am very green by naasking	cdiggins	2008-03-22 12:39
Story	Applied Metamodelling: A Foundation for Language Driven Development There is no link for BNF by naasking	cdiggins	2008-03-20 21:35
Forum topic	Confused Deputies in Programming Languages My bad! by naasking Some "application code" with by naasking Forgot something: Hopefully by naasking All the authority necessary by naasking You can handle dynamic by naasking Anywhere in your approach by naasking In order to run this by naasking The top-level main program by naasking I do think there are a by naasking I'm not (yet) convinced it's by naasking ...	naasking	2008-03-18 02:47
Forum topic	C - header files Very interesting! The CMod by naasking	bieberbrueder	2008-03-16 13:50
Forum topic	Variation of C's inline conditional This expression form would by naasking	derekp	2008-03-14 12:18
Story	Data Types a la Carte I agree! This paper does by naasking	Matt Hellige	2008-03-12 23:21
Forum topic	Writing practical memory management code with a strictly typed assembly language	naasking	2008-03-12 00:29
Forum topic	Educational environments to learn programming GNU Smalltalk by naasking	chihiro	2008-03-11 22:55
Forum topic	"Practical" advantages of lazy evaluation It's hard to reason about by naasking Now if only I could figure by naasking Shriram Krishnamurthi's by naasking	chinu	2008-03-11 11:16
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
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