Lambda the Ultimate

type	title	author	last post
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
Forum topic	Discoverability, Language Features, and the First Step Toward Composition Sounds cool by Matt M	scottmcl	2010-02-01 20:19
Forum topic	Declarative reactive tables Problem with that argument by Matt M	Sean McDirmid	2010-01-31 23:52
Forum topic	The Theory and Calculus of Aliasing Typo? by Matt M	Bertrand_Meyer	2010-01-27 01:40
Forum topic	Quantum Lambda Calculus None by Matt M Is that true? by Matt M The transcendental constant by Matt M Trancendental constant? by Matt M sure by Matt M The objection that naasking linked to by Matt M Still seem to be missing the point by Matt M Has something like that ever been observed? by Matt M A better analogy by Matt M	Wolf Logan	2010-01-24 22:41
Forum topic	The Next Mainstream Programming Languages I would hope not by Matt M Since Andreas didn't mention it... by Matt M I'm thinking of going into by Matt M I figured... by Matt M It's worse than that... by Matt M Workarounds by Matt M What if Actor isn't a leaf class? by Matt M	Per Vognsen	2010-01-24 13:32
Forum topic	Academic advice: Mathematics or Computer Science? I had a similar reaction, by Matt M Analysis I is usually rigorous calculus. by Matt M	guerrilla_thought	2010-01-23 19:57
Forum topic	Parameterized Modules Not really by Matt M	cdiggins	2010-01-09 20:50
Forum topic	Explanation of Computer Theory for Lawyers Physical bits by Matt M Clearly crazy by Matt M	Scott Johnson	2010-01-05 19:12
Forum topic	Is (probabilistic) non-determinism pure ? I should have noticed... by Matt M It is what it is by Matt M	Steven Obua	2009-12-30 21:38
Story	Objects as Modules in Newspeak Right, but I didn't reply to by Matt M Buzzword involution interjection by Matt M	James Iry	2009-12-27 23:52
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