Lambda the Ultimate

type	title	author	last post
Story	Computer Science Education: Where Are the Software Engineers of Tomorrow? That we should be using more by naasking IMO, the only thing that by naasking On the contrary, some by naasking What you usually want is to by naasking Not really, because when the by naasking If I sell you a sat nav by naasking is to avoid "audits"--by by naasking Construction of secure by naasking	Ehud Lamm	2008-04-21 22:03
Story	Flexible types: Robust type inference for first-class polymorphism	naasking	2008-04-21 18:43
Forum topic	Fan Programming Language I don't see what you're by naasking	naasking	2008-04-16 22:07
Forum topic	Can local variables assignments be considered pure functional without monads? It is well-known that by naasking See here for a brief by naasking	cdiggins	2008-04-14 12:55
Story	Wadler's Blog: Penn, PADL, POPL, and Plan-X The two links you provided by naasking	Ehud Lamm	2008-04-09 19:45
Forum topic	Gilad Bracha: Cutting out Static My problem is that the by naasking One lingering issue is what by naasking After reading the Arrows by naasking I've given this some by naasking I plan to, just not with by naasking OTOH, your beef is probably by naasking In Haskell without by naasking Note that the issues with by naasking Without static (or global) by naasking This is what "Inversion of by naasking ...	Matt Hellige	2008-04-09 15:48
Forum topic	Extensible Pattern Matching via a Lightweight Language	naasking	2008-04-01 14:32
Story	CERT C Secure Coding Standard I will second Ada, and raise by naasking	Ehud Lamm	2008-03-31 17:49
Forum topic	too much indentation solution? Reddit's continuations by naasking	raould	2008-03-28 20:54
Forum topic	Relational rather than hierarchical OO packaging? Traits by naasking	raould	2008-03-26 22:03
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
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