Lambda the Ultimate

type	title	author	last post
Forum topic	Beyond FRP: physics-inspired programming abstractions? Starting points by Philippa Cowderoy Not even that far off-topic by Philippa Cowderoy	Sean McDirmid	2013-08-22 19:13
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future OO and simulation by Philippa Cowderoy	Ehud Lamm	2013-07-28 20:42
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	2013-03-31 00:40
Story	The YNot Project Nothing's stopping you from by Philippa Cowderoy A lot can be done with a by Philippa Cowderoy	Paul Snively	2012-08-17 23:32
Forum topic	Open data types and open functions This suggests to me the need by Philippa Cowderoy No, implementing Collection by Philippa Cowderoy There's one significant by Philippa Cowderoy Termination isn't guaranteed by Philippa Cowderoy That fundamentally messes up by Philippa Cowderoy	Jeremy	2012-06-22 02:53
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	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	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
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