Lambda the Ultimate

type	title	author	last post
Forum topic	Rules for Developing Safety-Critical Code You realise Moe'll keep by Philippa Cowderoy	Peter J. Wasilko	2006-06-25 21:26
Forum topic	How are GADTs useful in practical programming? I don't know if this counts by Philippa Cowderoy	Klaus Ostermann	2006-06-21 13:31
Forum topic	Why only 'minimal' languages IME, it does pretty well at by Philippa Cowderoy One advantage of macros that by Philippa Cowderoy But those features are only by Philippa Cowderoy We do all these things in by Philippa Cowderoy Almost everything Jeff lists by Philippa Cowderoy I've not yet talked about by Philippa Cowderoy [1,2,3] vs 1:2:3:[] is by Philippa Cowderoy Sufficiently good purist by Philippa Cowderoy It's exponentially more by Philippa Cowderoy Bloat in the standard libs by Philippa Cowderoy	Karsten Wagner	2006-06-19 15:33
Forum topic	Dataflow programming for PIC microcontrollers I had that in mind for by Philippa Cowderoy These are now issues in your by Philippa Cowderoy For typechecking: are you by Philippa Cowderoy	Peter Scott	2006-06-18 19:46
Forum topic	Relevance of Curry-Howard Congratulations, you just by Philippa Cowderoy Thanks, I should've seen by Philippa Cowderoy And now I'm wondering if by Philippa Cowderoy My gut instinct is yes, so by Philippa Cowderoy Not in the CIC, but in the by Philippa Cowderoy I'm not sure I see (for by Philippa Cowderoy I'm not sure I see a by Philippa Cowderoy I'm not trying to. I do by Philippa Cowderoy There's an argument for by Philippa Cowderoy There's been some talk of by Philippa Cowderoy	Klaus Ostermann	2006-06-12 13:36
Forum topic	Multidimensional Virtual Classes I'd been about to link to by Philippa Cowderoy One thing I do believe is by Philippa Cowderoy	Niels Hoogeveen	2006-06-10 06:39
Forum topic	Buried Treasure - No Fluff Just Stuff If the array in question's by Philippa Cowderoy Can you correctly type "list by Philippa Cowderoy Have you dealt with variance by Philippa Cowderoy You might not have the by Philippa Cowderoy It is, though. All too often by Philippa Cowderoy For certain values of formal by Philippa Cowderoy You might like to post by Philippa Cowderoy And it shows intent by Philippa Cowderoy It's not an entirely by Philippa Cowderoy I had a "fun" case with page by Philippa Cowderoy ...	Isaac Gouy	2006-06-08 03:44
Forum topic	Type checking and logical errors It's not possible to by Philippa Cowderoy While there's no value of by Philippa Cowderoy You can't return an STRef by Philippa Cowderoy	Mike Smith	2006-06-05 21:16
Forum topic	Javascript department I actually think of Haskell by Philippa Cowderoy	Ehud Lamm	2006-06-04 18:54
Story	Narrative Javascript Application-Embedded by Philippa Cowderoy	andrew cooke	2006-06-04 15:08
Story	ACM Queue: A Conversation with Steve Ross-Talbot When I'm reading blurb, by Philippa Cowderoy	Ehud Lamm	2006-06-02 15:13
Forum topic	Ethnographic Study of Copy and Paste Programming Practices in OOPL It seems to me that rather by Philippa Cowderoy So "where for binding by Philippa Cowderoy Does local-in-end differ by Philippa Cowderoy I guess my point is that let by Philippa Cowderoy I find a good binding by Philippa Cowderoy	Vesa Karvonen	2006-05-26 19:13
Story	Paul Vick: BASIC principles If I've understood by Philippa Cowderoy Unless "most" QB code uses by Philippa Cowderoy I think the scary thing by Philippa Cowderoy	Ehud Lamm	2006-05-20 18:34
Forum topic	The Nature of Lisp (a tutorial) Scheme vs C is hardly fair by Philippa Cowderoy Java was initially being by Philippa Cowderoy	coffeemug	2006-05-18 23:38
Forum topic	The Cat Programming Language Other optimisations may well by Philippa Cowderoy	cdiggins	2006-05-18 16:17
Forum topic	Forum usability The *s is searchable, boldnes by Philippa Cowderoy	andnaess	2006-05-05 21:16
Forum topic	any functional language without GC? For certain values of by Philippa Cowderoy	ninegua	2006-04-08 20:09
Forum topic	Programming: 50, 100 years from now For most users voice has by Philippa Cowderoy	shahbaz	2006-04-03 17:51
Forum topic	ACM Queue: On Usability of Programming Languages There are many, many ways to by Philippa Cowderoy The ST monad will likely by Philippa Cowderoy You have a tendency to ask by Philippa Cowderoy	raould	2006-03-20 14:59
Story	When is one thing equal to some other thing? Reading off the categorical by Philippa Cowderoy	Ehud Lamm	2006-03-16 14:55
Forum topic	Rich resource site for the programming language "K" It takes a matter of minutes by Philippa Cowderoy	Todd Coram	2006-03-14 23:42
Forum topic	Signature Based Polymorphism, Structural Subtyping and Duck Typing Within Haskell98, no. As by Philippa Cowderoy Yeah. No mandatory by Philippa Cowderoy For certain exceedingly by Philippa Cowderoy	cdiggins	2006-03-02 16:04
Story	Leak Free Javascript Closures Yes, as anyone who codes in by Philippa Cowderoy	Ehud Lamm	2006-03-01 07:45
Story	Specifying C++ Concepts So wrap the primitives once by Philippa Cowderoy We're talking about 20-odd by Philippa Cowderoy	Ehud Lamm	2006-02-28 16:06
Story	Programming Languages: Application and Interpretation It is when there's more by Philippa Cowderoy	Ehud Lamm	2006-02-15 20:58
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