Lambda the Ultimate

type	title	author	last post
Forum topic	The Monad.Reader I haven't read the code by Philippa Cowderoy	Wouter Swierstra	2012-04-11 12:54
Story	Social Processes and Proofs of Theorems and Programs It's perhaps worth by Philippa Cowderoy Definitely. The main problem by Philippa Cowderoy The right tools can by Philippa Cowderoy	Luke Gorrie	2012-03-19 13:02
Story	Diagram showing all programming paradigms and their relationships Monads via interpreters by Philippa Cowderoy Misleading summary by Philippa Cowderoy	Peter Van Roy	2012-01-13 17:06
Story	A Language-Based Approach to Unifying Events and Threads Starting with purity and by Philippa Cowderoy	shapr	2011-11-21 12:53
Story	Dennis Ritchie passed away I'm a little late to the by Philippa Cowderoy	Ehud Lamm	2011-10-29 02:45
Forum topic	An Accidental Simula User, Luca Cardelli I'd want control over the by Philippa Cowderoy Taken from GHCI just by Philippa Cowderoy If we had IDEs, one of the by Philippa Cowderoy	Isaac Gouy	2011-09-15 12:44
Story	Haskell for C Programmers It seems to me one way to do by Philippa Cowderoy Personally I've actively enjo by Philippa Cowderoy The sorting almost certainly by Philippa Cowderoy Haskell programs aimed at rep by Philippa Cowderoy	Mark Evans	2011-09-12 18:37
Forum topic	A Brief History of Scala This isn't quite true if you by Philippa Cowderoy	Isaac Gouy	2011-01-17 05:41
Story	Good Ideas, Through the Looking Glass The verifier is likely a by Philippa Cowderoy It would certainly be by Philippa Cowderoy	Ehud Lamm	2011-01-15 17:04
Story	Guido: Language Design Is Not Just Solving Puzzles And everyone with any sense by Philippa Cowderoy	Ehud Lamm	2011-01-05 17:06
Story	Pico Lisp: A Case for Minimalist Interpreters? Try building yourself a tiny by Philippa Cowderoy Why would you want an by Philippa Cowderoy	James Hague	2010-12-19 01:55
Story	If Programming Languages were <T> ...Girlfriends on your Foot? by Philippa Cowderoy Changing user requirements, by Philippa Cowderoy	Chris Rathman	2010-11-30 14:05
Forum topic	expressivity of "idiomatic C++" I'd be surprised if it happen by Philippa Cowderoy	el-vadimo	2010-11-10 22:56
Forum topic	Beyond FRP: physics-inspired programming abstractions? Starting points by Philippa Cowderoy Not even that far off-topic by Philippa Cowderoy	Sean McDirmid	2010-11-03 04:06
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) The example you give with by Philippa Cowderoy	Greg Buchholz	2010-10-22 21:48
Forum topic	What are the properties of "Functional Programming Languages"? Fooled by the language? by Philippa Cowderoy ANF et al, anyone? by Philippa Cowderoy In particular, viewing by Philippa Cowderoy Pedantry by Philippa Cowderoy The obvious rule of thumb is by Philippa Cowderoy Agreed. That said, I'd be by Philippa Cowderoy They're not first class (or by Philippa Cowderoy Lambdas are insufficiently necessary by Philippa Cowderoy	kaveh.shahbazian	2010-09-13 17:38
Forum topic	The Rust Language Is it HM if you don't generalise? by Philippa Cowderoy	Noel	2010-07-27 23:17
Forum topic	Seeking thoughtful criticisms of functional programming and languages Hiding stacks by Philippa Cowderoy Monads and Reasoning by Philippa Cowderoy Monad transformers considered unavoidable? by Philippa Cowderoy Monad transformers still by Philippa Cowderoy I am pointing out weaknesses by Philippa Cowderoy Asking why monads don't by Philippa Cowderoy Monads certainly do not by Philippa Cowderoy I'm pointing out the by Philippa Cowderoy Non-OO UI by Philippa Cowderoy Funnily enough you're by Philippa Cowderoy ...	scottmcl	2010-06-12 03:39
Forum topic	SEC interested in formalising contracts ... in Python Given the amount of by Philippa Cowderoy	Noel	2010-05-06 12:56
Forum topic	Typed Lambda Calculus Does your intuition by Philippa Cowderoy I'm not aware of any by Philippa Cowderoy With the benefit of the by Philippa Cowderoy	marcosag	2010-05-05 21:11
Story	The Monad Zipper Challenge for bonus points by Philippa Cowderoy	Philippa Cowderoy	2010-05-05 15:27
Story	LtU turns 7: The year of spam Did the early posts about by Philippa Cowderoy Perhaps naasking is your real name? by Philippa Cowderoy Perhaps if we just solve the by Philippa Cowderoy I'm not convinced this is by Philippa Cowderoy	Ehud Lamm	2010-04-29 05:51
Forum topic	Static Typing Where Possible, Dynamic Typing When Needed I really wouldn't call basic by Philippa Cowderoy	Isaac Gouy	2010-04-20 22:32
Story	Tagless Staged Interpreters for Simpler Typed Languages Explicit "forall" is a by Philippa Cowderoy	Ehud Lamm	2010-04-06 00:28
Forum topic	Why type systems are interesting Confirming what we know by Philippa Cowderoy there is still knowledge by Philippa Cowderoy State does strike me as a by Philippa Cowderoy I figure any 'catchable' by Philippa Cowderoy	Anton van Straaten	2010-03-08 19:47
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