Lambda the Ultimate

type	title	author	last post
Forum topic	Immediate mode GUIs Widget identity by Matt M	Sean McDirmid	2012-07-27 04:18
Forum topic	Why are exceptions not described as 'purely functional'? That sounds a lot like Aha!, by Matt M	bryanedds	2012-07-11 15:05
Forum topic	Bob Harper of CMU is blogging about programming languages and introductory CS education The definition of concurrency and parallelism by Matt M Let's think about this... by Matt M Gradients of the form David by Matt M There's a required runtime by Matt M I still don't see the by Matt M I don't understand by Matt M I agree with you that's by Matt M Can you elaborate / specify by Matt M It's mainly that I prefer by Matt M My sense/cents by Matt M	vrijz	2012-06-30 00:11
Story	On Understanding Data Abstraction, Revisited Internal vs. External by Matt M What is internal composition? by Matt M I didn't really follow this by Matt M The Composite Pattern by Matt M You can construct new ones by Matt M Composite pattern by Matt M As a library writer, I by Matt M Same facts, different conclusion by Matt M	Z-Bo	2012-06-28 01:36
Story	ACM A.M. Turing Centenary Celebration Google sucks at email search by Matt M	Luke Gorrie	2012-06-26 15:40
Forum topic	Null, bottom, etc.? I agree with some of the by Matt M Odd terminology by Matt M OK by Matt M Did you see my point? by Matt M So consider the functions by Matt M This is a terrible conversation :) by Matt M Isn't this just a trivial argument over what "value" means? by Matt M Justification? by Matt M Sounds like an interesting place to visit by Matt M	oconnor0	2012-06-25 23:41
Forum topic	Quantitative comparison of unit testing vs. static typing? Live programming is hard by Matt M Thanks by Matt M Good example by Matt M I think Newspeak's approach by Matt M No smoking gun by Matt M Examples and what 'dynamic' means by Matt M Types carry propositions by Matt M Dynamic languages maximize by Matt M Sort of agree, but not really by Matt M Combination of things by Matt M ...	lmeyerov	2012-06-22 02:59
Forum topic	Why Do Some Programming Languages Live and Others Die? I see by Matt M Maybe we're not so close by Matt M Maybe not too far apart by Matt M Apologies in advance for the sarcasm by Matt M Programming in the matrix by Matt M Category error by Matt M I don't see why would you by Matt M Red Herring by Matt M	Sean McDirmid	2012-06-18 23:33
Forum topic	Type classes in a dynamic language More information by Matt M I have some other ideas and by Matt M One rationale for doing by Matt M Type class instance selection is static by Matt M We had an exchange along those lines by Matt M	vorov2	2012-06-17 11:05
Forum topic	Finally a reason to get an iPad? You should make the link by Matt M	Ehud Lamm	2012-06-09 20:15
Forum topic	Languages & Niches Has someone verified that by Matt M	Mike Abolazemi	2012-06-07 08:22
Forum topic	Languages with 'unique' programs I can imagine the FAQ for this language by Matt M	dataangel	2012-06-04 11:11
Forum topic	Proofs as programs Sorry by Matt M RE: Your idea for using actual procedures to prove things by Matt M Can be the same structure by Matt M	hbrandl	2012-05-29 09:43
Forum topic	Encoding System Fw in predicative dependent type theory Dup by Matt M Thanks by Matt M Partial model by Matt M Modularity of the encoding by Matt M auto by Matt M Thanks by Matt M	Matt M	2012-05-24 22:00
Story	Common Lisp: The Untold Story Photoshop by Matt M Not programming by Matt M	Manuel J. Simoni	2012-05-20 23:46
Forum topic	Higher order versus Object order Yes by Matt M I didn't word that well by Matt M Not true by Matt M Closed systems by Matt M I agree with you that we by Matt M We probably don't disagree on much by Matt M Some differences by Matt M	Francis McCabe	2012-05-17 17:45
Forum topic	Certified Programming with Dependent Types: home stretch! What's a tautology? by Matt M	Adam Chlipala	2012-04-22 22:31
Forum topic	Retrospective Thoughts on BitC Good point by Matt M So what happens when you by Matt M Garbage collection by Matt M	raould	2012-04-18 16:43
Forum topic	Symmetry in type systems Look over there... by Matt M	Jules Jacobs	2012-04-17 22:15
Forum topic	Disruptive PLT Revisited I suspect Jules had by Matt M Disruptive generality by Matt M	Sean McDirmid	2012-03-31 13:27
Forum topic	References about the importance of formalism in programming language design Now you've got me curious... by Matt M	giuseppemag	2012-03-30 05:42
Forum topic	Coding at the Speed of Touch It's the mobile site by Matt M Requires a windows live account by Matt M	Sean McDirmid	2012-03-27 18:25
Forum topic	crazy PL idea: prescriptive trait inference Right by Matt M Maybe other issues? by Matt M Fair enough by Matt M Right by Matt M Well by Matt M I need to think ... by Matt M Oh yeah by Matt M Still a few questions by Matt M Do you have in mind a way to by Matt M Modularity by Matt M ...	Sean McDirmid	2012-03-26 23:20
Story	What does focusing tell us about language design? Type directed evaluation order by Matt M I'm saying I want values to by Matt M Example by Matt M I should have said "even CPBV" by Matt M I'm not sure whether this answers your question, but ... by Matt M What's the appropriate formalism? by Matt M Maybe I did misread you. I by Matt M Total pain by Matt M Data and computation are not distinct by Matt M	Manuel J. Simoni	2012-03-07 19:07
Forum topic	Wittgenstein versus Turing on Inconsistency Robustness Is it this season again? by Matt M	Hewitt	2012-03-05 22:15
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