Lambda the Ultimate

type	title	author	last post
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
Forum topic	Should let be generalized? GADTs are bizzare, type classes arent relations, and Tim's right by Matt M None of the above by Matt M	Douglas McClean	2010-03-12 21:18
Forum topic	LISP basis for computable functions on S-Expressions. Church encoding by Matt M No problem by Matt M	Dr.GEorGE	2010-03-10 11:29
Forum topic	Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" Really? by Matt M Sample value of arbitrary type by Matt M You've applied his quote to by Matt M	raould	2010-03-05 22:19
Story	Extending the Scope of Syntactic Abstraction I just meant macros are able by Matt M True by Matt M Is binding special? by Matt M	Manuel J. Simoni	2010-03-05 04:14
Forum topic	Testing release of a platform for hosting pure functional web applications :) by Matt M Still no sale by Matt M Extremely fine grained composition by Matt M Still no counter-example by Matt M What is a UI? by Matt M A machine may have more than by Matt M Screenshots by Matt M Trusted applications by Matt M User vs. applications by Matt M Don't really follow by Matt M ...	Adam Chlipala	2010-02-26 23:30
Story	Reminder: OOPSLA is now SPLASH More than web hosting by Matt M	neelk	2010-02-22 23:35
Forum topic	Alternatives to parentheses for grouping Oh by Matt M Might be nice by Matt M	jason stumpf	2010-02-10 13:28
Forum topic	Rapid Prototyping tools & environments from academia Just that most of the ways by Matt M Thanks by Matt M	Z-Bo	2010-02-09 23:45
Story	Continuity Analysis of Programs My mistake by Matt M The original by Matt M Properties of reals by Matt M No implementation has every desireable property by Matt M Impredicitivity by Matt M So what are these computable reals? by Matt M Thus, any input for which I by Matt M RE: computable on all computable real numbers by Matt M Not that complicated by Matt M Not totally computable by Matt M ...	neelk	2010-02-09 04:12
Forum topic	Claiming Infinity Understanding the author's point of view by Matt M Woolly mammoth by Matt M Crank by Matt M Pretty silly by Matt M	Julian Rohrhuber	2010-02-03 12:53
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