Lambda the Ultimate

type	title	author	last post
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
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
Forum topic	Operator precedence I suspect 1 == 2 != 3 == 4 by Philippa Cowderoy	andrewzboard	2010-01-27 16:21
Forum topic	The Next Mainstream Programming Languages The average project by Philippa Cowderoy I can easily see any game by Philippa Cowderoy	Per Vognsen	2010-01-24 13:32
Forum topic	Parser that allow syntax extensions They just don't mean being by Philippa Cowderoy Which languages do you know by Philippa Cowderoy	serras	2010-01-24 03:08
Forum topic	Naive Question? Definition of "Higher Order" Most of it's fairly by Philippa Cowderoy	scottmcl	2009-12-16 11:56
Story	John Hughes on Erlang and Haskell The Problem with Custom Type Systems by Philippa Cowderoy	James Iry	2009-12-02 10:16
Story	Minimal FORTH compiler and tutorial I think the comment was by Philippa Cowderoy	Ehud Lamm	2009-11-03 02:39
Story	Patrick Logan on Software Transaction Memory Doesn't work the way you've by Philippa Cowderoy	Ehud Lamm	2009-10-26 21:48
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