Lambda the Ultimate

type	title	author	last post
Forum topic	Specifying Solvers? To Clarify by marco	shap	2010-04-15 14:08
Story	Can functional programming be liberated from the von Neumann paradigm? As a side note... by marco Hmpf by marco yeah well by marco Yeah by marco Don't assume too much... by marco i'll bite once again. by marco unsafePerformIO != Imperative. Monad == Imperative. by marco	Charles Stewart	2010-04-14 20:25
Story	Objects to Unify Type Classes and GADTs Right.. by marco I admit I didn't totally get that by marco class Set (S a)? by marco	naasking	2010-03-26 20:36
Forum topic	Advantages of Purity At some point... by marco	giuseppemag	2010-03-24 17:11
Forum topic	Small PL Thought Experiment Uh by marco Well.... by marco Cool, I got that under 12 seconds! by marco Great Feedback by marco Great, thanks! by marco Didn't you get the memo? by marco	scottmcl	2010-03-11 18:11
Story	Reminder: OOPSLA is now SPLASH I second this! by marco	neelk	2010-02-22 23:35
Forum topic	Genericity over tuples Generic Haskell and Template Meta Programming by marco	Alex Rubinsteyn	2010-02-03 21:04
Forum topic	Declarative binding vs. composition CS is a science by marco	Sean McDirmid	2010-02-02 15:30
Forum topic	see history of things i started (vs. commented on)? uh by marco	raould	2010-01-26 19:11
Forum topic	Quantum Lambda Calculus (forget it) by marco Btw by marco Duh by marco Oh great, I am confused. by marco Ah well, okay. by marco As far as I can see... by marco Thomas: Then reread them yourself before you claim anything! by marco Twister by marco Oh golly, dropping the M&Ms by marco Is Not by marco ...	Wolf Logan	2010-01-24 22:41
Forum topic	The Next Mainstream Programming Languages Wasn't by marco Some languages solve all problems by marco	Per Vognsen	2010-01-24 13:32
Forum topic	most water-tight real-world language implementation? I am trying this by marco	raould	2010-01-15 23:08
Forum topic	wondering why C is the language of compilers- when a Scheme subset would seem to be a better fit? If I remember correctly by marco	spdegabrielle	2010-01-07 02:11
Forum topic	Is (probabilistic) non-determinism pure ? These are just definitions by marco Non-determinism != Probabilistic by marco	Steven Obua	2009-12-30 21:38
Story	Objects as Modules in Newspeak Naive approximation by marco	James Iry	2009-12-27 23:52
Forum topic	Lazy Christmas Gift	marco	2009-12-25 11:08
Forum topic	Review NP-complete Library Versioning Problem Remarks (overdue) by marco	Jaroslav Tulach	2009-11-30 17:55
Story	Scratch: Programming for All Comes with spots too by marco	Allan McInnes	2009-11-29 19:03
Forum topic	The Memory Pool System: Thirty person-years of memory management development goes Open Source True by marco I agree by marco Is there anything wrong with the GC package? by marco	tonyg	2009-11-18 22:12
Forum topic	I Seek a Reasonable Survey on the Concept of "Module System" Overloading by marco	scottmcl	2009-11-18 15:51
Story	Branching Time vs. Linear Time: Semantical Perspective IO automata vs CSP by marco Enabledness by marco Uh, so what? by marco Buy Lynch? by marco Starting to see the argument by marco Recondite arguments by marco	Allan McInnes	2009-10-02 06:02
Forum topic	The Church-Turing Thesis: Breaking the Myth [OT] Feasibility of Quantum Computing? by marco No, no, no! It's a lambda... by marco	naasking	2009-07-18 00:45
Forum topic	Total functional language self interpreter? Question by marco Bull by marco Misread your post by marco Nitpicking your statements by marco ... (and ...) by marco Uh, proof by contradiction by marco Nono by marco Doubt it by marco Problems reading his post by marco	jason stumpf	2009-06-27 13:57
Forum topic	Right on! More concrete by marco Solid at times by marco Daydreaming by marco Jot by marco Ha! by marco Or stepping off? by marco Hardyhar... by marco Works well by marco More seriously by marco Though the bad thing about mathematical formalisms by marco ...	Ehud Lamm	2009-06-27 03:44
Story	Computer music: a bastion of interactive visual dataflow languages HCI: Reactable by marco	Peter Van Roy	2009-06-19 03:30
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