Lambda the Ultimate

type	title	author	last post
Forum topic	Human Factors Research On Programming Language Syntax On a conceptual level, by Philippa Cowderoy	Peter J. Wasilko	2009-07-20 12:13
Forum topic	The Church-Turing Thesis: Breaking the Myth It'll work, it'll still be ru by Philippa Cowderoy Take a UTM, add a couple of s by Philippa Cowderoy Or perhaps it's fatally flawe by Philippa Cowderoy	naasking	2009-07-18 00:45
Forum topic	Total functional language self interpreter? A matter of perspective? by Philippa Cowderoy	jason stumpf	2009-06-27 13:57
Forum topic	The Meta-LtU Thread Many of these I'm fine with. by Philippa Cowderoy I get the gist, but there is by Philippa Cowderoy Commiserations by Philippa Cowderoy Pretty Lossy Term? by Philippa Cowderoy Assuming blogosphere = by Philippa Cowderoy Partial miss? by Philippa Cowderoy comp.unqualified.dolescum? by Philippa Cowderoy	Leon P Smith	2009-06-14 13:43
Forum topic	the Chinese natual language I actually visualise monads i by Philippa Cowderoy	Zhu Chongkai	2009-06-01 13:06
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? "How about just putting the by Philippa Cowderoy There's a Flash plugin for by Philippa Cowderoy	John Carter	2009-05-23 23:23
Story	LtU: Forum not blog And so the joke's on them - by Philippa Cowderoy Feeling foolish by Philippa Cowderoy	Ehud Lamm	2009-04-13 00:34
Forum topic	Influence of cognitive models on programming language design Incidentally, this is not by Philippa Cowderoy The notation really does by Philippa Cowderoy	Srikumar Subramanian	2009-03-26 21:04
Story	D is for Domain and Declarative Declarative metaprogramming hurts sometimes by Philippa Cowderoy	Chung-chieh Shan	2009-03-25 16:51
Story	Parameterized Notions of Computation Warning flags by Philippa Cowderoy	neelk	2009-02-17 19:38
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
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