Lambda the Ultimate

type	title	author	last post
Story	LtU: blog not forum! I did try to address part of by Philippa Cowderoy Your phrasing in your first by Philippa Cowderoy	Ehud Lamm	2009-02-14 14:11
Story	PL Grand Challenges I think you're both actually trying to make the same point by Philippa Cowderoy	Ehud Lamm	2009-02-10 16:09
Forum topic	Explaining monads Monads describe higher-order by Philippa Cowderoy I was discussing arrows in by Philippa Cowderoy The dangers of abusing terminology by Philippa Cowderoy Of what? Arrows not by Philippa Cowderoy Of what? The first example by Philippa Cowderoy Actual design decisions by Philippa Cowderoy On the other hand, it may by Philippa Cowderoy Do notation is closely by Philippa Cowderoy Not quite true - monads by Philippa Cowderoy It's special in the sense by Philippa Cowderoy	Ehud Lamm	2009-01-30 11:43
Forum topic	Non-standard type theories for FP That's just an evaluated by Philippa Cowderoy rank-2 ala Hugs? by Philippa Cowderoy Note that our simple by Philippa Cowderoy Yes there is - it's (forall by Philippa Cowderoy	marco	2009-01-25 03:59
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	2009-01-23 19:27
Forum topic	Monads = lazy, effect types = strict? I've gone with monadic IO in by Philippa Cowderoy Lazy languages have an by Philippa Cowderoy	dpmulligan	2009-01-13 02:20
Forum topic	Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) The obvious thing in my case by Philippa Cowderoy Yep, that's one possible by Philippa Cowderoy Suppose we have a Map by Philippa Cowderoy That's not actually allowed by Philippa Cowderoy Instance selection by Philippa Cowderoy	scottmcl	2009-01-11 22:50
Story	Python 3000 Status Update While I understand the by Philippa Cowderoy I think the point was by Philippa Cowderoy At risk of descending into by Philippa Cowderoy	Mark Evans	2009-01-03 03:49
Forum topic	Learning Pragmatics of Implementing a "Modern" Type Systems I personally understand most by Philippa Cowderoy It'd be easier if you didn't ignore me! by Philippa Cowderoy Implementation approaches by Philippa Cowderoy	scottmcl	2009-01-02 22:51
Story	Programmable Concurrency in a Pure and Lazy Language Variable lookup in such an by Philippa Cowderoy	James Iry	2008-12-31 23:41
Story	ACM Classic Books Series My own experience of being by Philippa Cowderoy	Ehud Lamm	2008-12-31 23:05
Story	Prediction for 2008 I don't think most Haskell by Philippa Cowderoy	Ehud Lamm	2008-12-29 15:56
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	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	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	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
Story	Programming Language Beauty: Look Closure Proof by monad? by Philippa Cowderoy	Erik Meijer	2008-09-10 04:01
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	Balancing the tension of dev vs. debug? GHC's debugger is worth by Philippa Cowderoy	raould	2008-08-16 01:04
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
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