Lambda the Ultimate

type	title	author	last post
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
Forum topic	splitting the program into formalizable vs. non-formalizable parts? Testing many universes by Matt M Minor point by Matt M Further reading leads to further incredulity by Matt M Question by Matt M Confusing by Matt M	raould	2010-04-17 03:48
Forum topic	Combinators for contracts A rather different reading by Matt M	Charles Stewart	2010-04-16 14:45
Forum topic	Specifying Solvers? Depends on the logic by Matt M P vs. NP by Matt M	shap	2010-04-15 14:08
Forum topic	Higher order functions vs. function arity and calling conventions The flip side by Matt M # let multiply x y = x * by Matt M Missing it by Matt M Mind explaning what's going on with the syntax? by Matt M	scottmcl	2010-04-12 17:08
Story	A Formal System For Euclid's Elements Not the same by Matt M Is it a diagrammatic language? by Matt M	neelk	2010-04-08 16:57
Story	Objects to Unify Type Classes and GADTs Link broken by Matt M	naasking	2010-03-26 20:36
Forum topic	Advantages of Purity Needs subtyping by Matt M Apples and oranges by Matt M Don't blame purity by Matt M How can a pure function not have the advantages of purity? by Matt M	giuseppemag	2010-03-24 17:11
Forum topic	Types vs classes: what is the difference? Re: Re: Fwd: Re: Types as sets by Matt M Oops by Matt M Types as sets by Matt M I assumed the statement by Matt M Types are not sets? by Matt M	caustic	2010-03-18 19:39
Forum topic	functional equivalance? Does "the cited paper" refer by Matt M One time, at band camp by Matt M Ramblings by Matt M Provable vs. Auditable by Matt M Abstract of the paper Frank cites by Matt M	raould	2010-03-17 18:59
Forum topic	Urbit: Functional programming from scratch Not to knock nock by Matt M	Matt Brubeck	2010-03-14 05:25
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