Lambda the Ultimate

type	title	author	last post
Forum topic	Non-standard type theories for FP Note that our simple by Philippa Cowderoy Yes there is - it's (forall by Philippa Cowderoy	marco	2008-12-02 00:50
Forum topic	Subtyping + overloading Since when does Haskell98 have existentials? by Philippa Cowderoy Don't panic by Philippa Cowderoy Object vs meta by Philippa Cowderoy As far as I can tell, Num by Philippa Cowderoy Less to bug you than you might think by Philippa Cowderoy	Alex Rubinsteyn	2008-11-24 20:24
Forum topic	Total functional language self interpreter? A matter of perspective? by Philippa Cowderoy	jason stumpf	2008-11-24 15:43
Forum topic	Q: Modularizing SQL? Wrong value of "function" :-) by Philippa Cowderoy "Computation performed by by Philippa Cowderoy	sciomako	2008-11-15 13:40
Forum topic	Implementations of untyped lazy lambda calculus Separate syntax and semantics by Philippa Cowderoy Recursive types are needed by Philippa Cowderoy	Darren Smith	2008-11-14 19:44
Forum topic	Question concerning parameterization over literals Apparently I just wasn't clear enough :-) by Philippa Cowderoy We can probably summarise by Philippa Cowderoy	shap	2008-11-10 22:40
Story	Programming Language Beauty: Look Closure Proof by monad? by Philippa Cowderoy	Erik Meijer	2008-11-10 21:09
Forum topic	Object Oriented Programming + Referential Transparency Yampa's a somewhat odd by Philippa Cowderoy Sure, production behaviour by Philippa Cowderoy My intuition tells me that a by Philippa Cowderoy	mjstahl	2008-10-30 17:40
Forum topic	Help with Mixfix in Bison? Take a pass? by Philippa Cowderoy	shap	2008-10-09 16:00
Forum topic	The Next Mainstream Programming Languages The average project by Philippa Cowderoy I can easily see any game by Philippa Cowderoy	Per Vognsen	2008-09-23 10:16
Story	Prediction for 2008 I don't think most Haskell by Philippa Cowderoy	Ehud Lamm	2008-09-21 05:30
Forum topic	Let's make a programming language! Regarding an interpreter, by Philippa Cowderoy Visible for purposes of by Philippa Cowderoy Could you explain to me how by Philippa Cowderoy Your idea of "99% of the by Philippa Cowderoy You might think so. by Philippa Cowderoy Lisp-style macros are by Philippa Cowderoy So you end up with users by Philippa Cowderoy	Achilleas Margaritis	2008-09-12 09:21
Forum topic	Review of a potential pramming language: Lima I think the obvious idea by Philippa Cowderoy	frencheneesz	2008-09-10 07:58
Forum topic	What makes backreferences impossible in a DFA regular expressions evaluator? Chrome's a "tech adoption" by Philippa Cowderoy In reply to Ehud, I don't by Philippa Cowderoy	Brandon Niemczyk	2008-09-04 11:52
Forum topic	the Chinese natual language I actually visualise monads i by Philippa Cowderoy	Zhu Chongkai	2008-08-19 08:55
Forum topic	Balancing the tension of dev vs. debug? GHC's debugger is worth by Philippa Cowderoy	raould	2008-08-16 01:04
Story	Patrick Logan on Software Transaction Memory Doesn't work the way you've by Philippa Cowderoy	Ehud Lamm	2008-08-13 17:20
Forum topic	Patrick Logan on patterns Why would you write a fold by Philippa Cowderoy	Ehud Lamm	2008-08-13 15:29
Forum topic	Two Computers & An Ethernet Cable -- Also A Computer? The network computer is a by Philippa Cowderoy	Jason Dusek	2008-08-06 21:31
Story	Gilad Bracha: Will Continuations continue? The UI has plenty to do with by Philippa Cowderoy	Ehud Lamm	2008-08-01 02:47
Forum topic	Type classes and type generator restrictions No new constraints by Philippa Cowderoy In theory you just need to by Philippa Cowderoy	Douglas McClean	2008-07-28 09:02
Forum topic	FP in D 2.0 Giving the programmer the by Philippa Cowderoy To individual monads, yes. by Philippa Cowderoy Fundamentally, monads just aren't about linearisation by Philippa Cowderoy Solving the wrong problem by Philippa Cowderoy Pure Functions and Metaprogramming by Philippa Cowderoy Logging the Haskell Way by Philippa Cowderoy	raould	2008-07-25 20:49
Forum topic	Dodo In short, yes - it loses far by Philippa Cowderoy Concatenation's actually by Philippa Cowderoy	Denis Bredelet -jido	2008-07-20 16:36
Forum topic	Functional Programming in the ACM CS Curriculum That's not entirely fair by Philippa Cowderoy Simula didn't define OO, it just gave birth to it by Philippa Cowderoy There have been flamewars by Philippa Cowderoy	mwand	2008-07-19 22:42
Story	Minimal FORTH compiler and tutorial I think the comment was by Philippa Cowderoy	Ehud Lamm	2008-07-14 23:16
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