Lambda the Ultimate

type	title	author	last post
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
Story	Why Undergraduates Should Learn the Principles of Programming Languages There are manifold by Matt M	Z-Bo	2010-07-15 09:08
Story	Functional Pearl: Species and Functors and Types, Oh My! What does this simplify? by Matt M	Matt Hellige	2010-07-05 09:38
Forum topic	happy rebirth day, LtU NG! And when you didn't include by Matt M	el-vadimo	2010-06-25 17:55
Story	The A-Z of Programming Languages It's a reasonable analogy, by Matt M	Chris Rathman	2010-06-23 02:55
Forum topic	plt vs. something else for programming in the large? Folks, this paper is 8 pages long and easy to read. by Matt M	raould	2010-06-17 01:07
Story	Adding Type Constructor Parameterization to Java Ok, maybe vacuous by Matt M Not vacuous by Matt M What for... by Matt M "Parametricity" theorem by Matt M Parametricity in general by Matt M Standard typing vs. tagging caveats apply by Matt M Parametricity? by Matt M	Manuel J. Simoni	2010-06-08 21:53
Story	The War on Spam Why block login of new by Matt M	Ehud Lamm	2010-05-19 08:51
Forum topic	What's the name for this model of computation? Bohm-like trees by Matt M I'm familiar with de Bruijn by Matt M Thank you by Matt M	Matt M	2010-05-17 18:55
Story	The Monad Zipper There would need to some way to pick by Matt M Will send soon by Matt M An edit and a comment by Matt M Does this not work? by Matt M Elaboration by Matt M Pearls are simple, elegant, and beautiful by Matt M	Philippa Cowderoy	2010-05-05 15:27
Forum topic	How can C Programs be so Reliable? Memory failure and multi-processing by Matt M I guess I'll do both by Matt M There ya go by Matt M Well clearly by Matt M	Manuel J. Simoni	2010-04-23 11:54
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