Lambda the Ultimate

type	title	author	last post
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	Parsing: The Solved Problem That Isn't I understand you to be by Matt M Still skeptical by Matt M OK by Matt M A puddle in a small room in an IMAX movie theatre in Reading, MA by Matt M A distinction by Matt M Well, there's that state -- by Matt M I'm Skeptical by Matt M Nonetheless, if I can obtain by Matt M Right, I do that too, except by Matt M Right, that's basically what by Matt M ...	James Iry	2012-05-24 14:39
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-21 20:33
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	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-04-26 21:34
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	Escaping the Maze of Twisty Classes You could do this by Matt M	Sean McDirmid	2012-04-14 23:04
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	Informed dissent: William Cook contra Bob Harper on OOP The One True Way by Matt M I disgree that subtyping is complexifying by Matt M I agree by Matt M Sub-typing vs. type systems that track sub-types by Matt M Subtyping is intuitive and mathematically simple by Matt M Compared to what? by Matt M	Ehud Lamm	2012-03-23 09:22
Story	Foundations of Inference I'm not up to date on the by Matt M	Paul Snively	2012-03-17 16:47
Forum topic	Google's Dart announced Predicate subtypes by Matt M I didn't say that by Matt M I'm really not schizophrenic by Matt M What are you getting at? by Matt M It also depends on other choices Scala has made by Matt M Wouldn't the Haskell type be more like... by Matt M We're not too far apart, I think by Matt M Powerful type systems should be unsound by Matt M	vieiro	2012-03-12 04:21
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
Story	Computing Needs Time Mostly I agree with you by Matt M Turing-completeness by Matt M	Allan McInnes	2012-03-05 19:35
Story	A Concept Design for C++ Concept maps by Matt M Let me guess... by Matt M	James Iry	2012-03-04 21:35
Story	Programming as collaborative reference Hiding information by Matt M Asynchronous by Matt M Mostly agree by Matt M	Manuel J. Simoni	2012-02-08 23:28
Forum topic	Evolution of mainstream programming language paradigms Mmmm curry by Matt M Makes sense by Matt M I agree by Matt M log n by Matt M	const	2012-02-08 02:01
Forum topic	Small is Beautiful: the design of Lua Non-Inductive datatypes by Matt M	bashyal	2012-02-07 14:33
Forum topic	Peak Abstraction Natural for the solution, not the problem by Matt M I'd say that it's not that by Matt M Support for future abstraction by Matt M A thoughtful craftsman blames his tools by Matt M	Sean McDirmid	2012-02-06 17:19
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