Lambda the Ultimate

type	title	author	last post
Forum topic	What is computation? Concurrency versus Turing's Model If you allow NTMs which by Matt M My argument isn't mathematical by Matt M Too weak by Matt M Probability vs. probability zero by Matt M Probability measures by Matt M	Hewitt	2011-02-22 13:52
Story	The Habit Programming Language: The Revised Preliminary Report diff Haskell Habit by Matt M	James Iry	2011-02-21 01:11
Forum topic	Strongly Typed Coroutines (minor question) Typing coroutines via pipes by Matt M	scottmcl	2011-02-13 17:49
Forum topic	Points in the Pattern Matching Design Space On purpose by Matt M	Jules Jacobs	2011-01-26 21:50
Forum topic	guy steele on how (not) to think of parallel programming Less disagreement, but still some difference by Matt M Minor disagreement by Matt M	Thomas Lord	2011-01-25 05:56
Forum topic	Fast Compilers Must be eclipse by Matt M	Ed Earl Ross	2011-01-19 23:50
Forum topic	The AST Typing Problem I agree with this answer. by Matt M	shap	2011-01-19 03:15
Forum topic	Multiple Value Return - Common Lisp vs. Tuples and destructuring Difference by Matt M	scottmcl	2011-01-15 09:49
Forum topic	Runtime code generation for partial application? I had previously argued that by Matt M I read the paragraph I by Matt M I don't think it was me, by Matt M I'm with Leon by Matt M	naasking	2011-01-11 23:19
Forum topic	The Myths of Object-Orientation Well, we just had another by Matt M The reason I ask by Matt M I agree with your by Matt M Configurability isn't the by Matt M Sorry, I was using my by Matt M I don't really disagree by Matt M Modularity and Architecture by Matt M The problem with libraries by Matt M Rambling replies by Matt M Standards and cores by Matt M ...	el-vadimo	2010-12-21 17:28
Forum topic	yacc death revisited Other take aways: Don't by Matt M Actually, thinking about it by Matt M Ah you're right. Wrong by Matt M What if there is a by Matt M	Thomas Lord	2010-12-21 06:06
Story	A Preliminary Survey on Functional Programming Actually, the survey found by Matt M	Ehud Lamm	2010-12-14 05:28
Forum topic	Lambda the Ultimate seems an Overstatement (not) One clarifying remark I by Matt M Jones and Gibbons' algorithm by Matt M Is Lazy State a counterexample? by Matt M Models of computation don't implement resources by Matt M I'll direct you to a by Matt M I'm not arguing that monads by Matt M I consider calculation and by Matt M Concurrency is not computation by Matt M Mutability in an immutable world by Matt M	Ed Earl Ross	2010-12-13 19:44
Forum topic	The perfect advanced programming language for the productive industrial developer I assume he meant for Dodo... by Matt M I think this question would by Matt M	Adam C	2010-12-12 19:11
Forum topic	New Dataflow Programming Language The definition of crazy is by Matt M	ad1mt	2010-11-30 01:24
Forum topic	Clojure's Solutions to the Expression Problem Practical completeness of type systems by Matt M Half true by Matt M Trade-off between strong and flexible by Matt M	fogus	2010-11-27 07:21
Forum topic	A Self-Checking Type System What I don't like about that by Matt M Type checking quantification by Matt M	munificent	2010-11-24 02:36
Forum topic	Why are objects so unintuitive? Domain models as typing by Matt M I've never blamed the language by Matt M Sounds good by Matt M It's still not very clear by Matt M Not even Scrabble or Boggle? by Matt M Usually we have lots of by Matt M OOP by Matt M OOP languages by Matt M A likely title by Matt M What is Intuition? by Matt M	Lee Chou	2010-11-19 19:07
Forum topic	First-class environments. Discuss. ;) For sake of the margin by Matt M Stay tuned for the following post by Matt M	Manuel J. Simoni	2010-11-18 13:31
Forum topic	The barrier to take-up of language innovation Tangent by Matt M	ad1mt	2010-11-06 03:26
Story	Is Transactional Programming Actually Easier? Peeve by Matt M	Z-Bo	2010-09-10 18:31
Forum topic	Incompleteness Theorems: The Logical Necessity of Inconsistency I meant distributed by Matt M I'm assuming the same by Matt M I don't know much about by Matt M Does not by Matt M Distribution doesn't require inconsistent logics by Matt M	Hewitt	2010-08-10 14:23
Forum topic	Logic programming based GUI framework 1. I see what you meant - by Matt M Comments by Matt M	Tegiri Nenashi	2010-07-30 22:01
Forum topic	paper: "Purely Functional Structured Programming" Couldn't you move 'def' to by Matt M The confusion I have is that by Matt M I didn't really have that by Matt M Actually, comparing your by Matt M Sorry, I misread your by Matt M I understand the reason that by Matt M Comments by Matt M	Steven Obua	2010-07-28 17:53
Forum topic	A proof engine for Eiffel Fallacies by Matt M I dunno by Matt M	hbrandl	2010-07-24 21:09
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