Lambda the Ultimate

type	title	author	last post
Forum topic	Connecting the first steps Study the lambda calculus. by Philippa Cowderoy	rmlinden	2007-12-06 13:08
Forum topic	Monadic and Substructural Type Systems for Region-Based Memory Management Hacking ahoy! by Philippa Cowderoy I think it's a bit premature by Philippa Cowderoy Straight away this lets us by Philippa Cowderoy	naasking	2007-12-05 17:38
Forum topic	On the Importance of Purity *cough* by Philippa Cowderoy Argumentum ad contradictio by Philippa Cowderoy What part of "that is not a by Philippa Cowderoy They effectively are. We're by Philippa Cowderoy If you view objects as by Philippa Cowderoy Refuting nihilism by Philippa Cowderoy That's why we don't have by Philippa Cowderoy Maps ain't RT 'cos the map ain't the road by Philippa Cowderoy I'll emphasise point 5 a by Philippa Cowderoy Changing a value to a by Philippa Cowderoy ...	naasking	2007-12-02 14:53
Story	Project Oberon By which you mean "modern PC by Philippa Cowderoy	Luke Gorrie	2007-11-29 12:49
Forum topic	A survey and discussion of taming effects It should be noted that by Philippa Cowderoy	naasking	2007-11-28 19:24
Story	Samurai - Protecting Critical Data in Unsafe Languages Later feature after feature by Philippa Cowderoy (FWIW, I loved Haskell when by Philippa Cowderoy	Ehud Lamm	2007-11-27 16:54
Forum topic	OMeta: an Object-Oriented Language for Pattern Matching There are no ambiguous PEGs by Philippa Cowderoy PEGs have a "left-biased by Philippa Cowderoy	Manuel J. Simoni	2007-11-26 11:19
Story	Witnessing Side-Effects There's still a design issue by Philippa Cowderoy That said, an example of by Philippa Cowderoy I agree re Ehud's comment. by Philippa Cowderoy	neelk	2007-11-25 07:58
Story	Dependent Classes Even without reading the by Philippa Cowderoy The Other DLL Hell by Philippa Cowderoy Getting JITery by Philippa Cowderoy Access control is nothing new by Philippa Cowderoy You can have a little bit of by Philippa Cowderoy	Matt Hellige	2007-11-25 05:26
Forum topic	Universal Type System Not quite by Philippa Cowderoy	Akhilesh Mritunjai	2007-11-24 18:01
Story	Gödel, Nagel, minds and machines I'll second that this seems by Philippa Cowderoy No magic mirror by Philippa Cowderoy	Ehud Lamm	2007-11-22 08:09
Story	ECMAScript 4 overview paper From a basic user's point of by Philippa Cowderoy No, the other problem is by Philippa Cowderoy You know you're an architecture astronaut when... by Philippa Cowderoy Waaah, pie! by Philippa Cowderoy	doublec	2007-11-07 04:52
Forum topic	grammars as a shared executable specification for language processing tools There're definite tradeoffs by Philippa Cowderoy It should definitely be by Philippa Cowderoy Describing parsers written by Philippa Cowderoy	Isaac Gouy	2007-10-21 13:15
Story	It's Time to Stop Calling Circuits "Hardware" Languages with higher-order by Philippa Cowderoy It's probably not totally by Philippa Cowderoy The obvious questions by Philippa Cowderoy	Allan McInnes	2007-10-17 18:49
Forum topic	Uniqueness Types Instead STM The obvious scalability by Philippa Cowderoy	kaveh.shahbazian	2007-10-12 22:59
Story	An Overview of the Singularity Project And low-overhead, secure conc by Philippa Cowderoy	Ehud Lamm	2007-10-12 19:45
Forum topic	IM IN UR COMPUTER, HAXIN UR CODE You may find Ook useful? by Philippa Cowderoy	Alan Eliasen	2007-10-09 20:58
Forum topic	Question about the Monad associativity law Yes. Those monads by Philippa Cowderoy Okay, I'm going to use by Philippa Cowderoy No, in monads that can't be by Philippa Cowderoy	sciomako	2007-10-09 20:57
Story	Binary Lambda Calculus and Combinatory Logic Contemplating the nature of by Philippa Cowderoy Sure, I'm discussing in the by Philippa Cowderoy ANF's just the extreme form by Philippa Cowderoy So would you go to the other by Philippa Cowderoy I'd say that Combinator by Philippa Cowderoy	Chris Rathman	2007-09-28 23:59
Forum topic	Generating useful errors in a functional stream parser Out of interest, would you by Philippa Cowderoy	Alex Rubinsteyn	2007-09-13 16:14
Forum topic	What is a state? Shifting goalposts by Philippa Cowderoy In practice there's by Philippa Cowderoy Yeah, I find the distinction by Philippa Cowderoy Note also that one of the by Philippa Cowderoy	Hank Thediek	2007-09-07 13:41
Forum topic	Comprehensions with ‘Order by’ and ‘Group by’ There's another middle by Philippa Cowderoy	Isaac Gouy	2007-08-28 10:31
Story	AngloHaskell 2007 - date and venue confirmed Interesting, will read more by Philippa Cowderoy We've now got slides by Philippa Cowderoy I'm pretty wiped after the by Philippa Cowderoy Not "we're all so geeky by Philippa Cowderoy	Philippa Cowderoy	2007-08-25 14:58
Forum topic	Monad Description For Imperative Programmer The combination of both a by Philippa Cowderoy Identity is a rather by Philippa Cowderoy The categorical definition by Philippa Cowderoy It's worth bearing in mind by Philippa Cowderoy There is (except perhaps in by Philippa Cowderoy Actually functions and by Philippa Cowderoy I think most of the other by Philippa Cowderoy I'd say that the structure's by Philippa Cowderoy Apparently a reading error by Philippa Cowderoy One that can return multiple by Philippa Cowderoy	kaveh.shahbazian	2007-08-22 18:10
Story	Metaprogramming with Traits You don't even need JIT - by Philippa Cowderoy Most databases are strongly by Philippa Cowderoy	neelk	2007-08-21 10:01
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