Lambda the Ultimate

type	title	author	last post
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
Forum topic	The Meta-LtU Thread ... by marco It could become a Christmas Tree by marco E7-E5 by marco You got the gist by marco Probably too early by marco Water under the Bridge by marco Some Incoherent Random Thoughts by marco I take that as a no by marco Looking for the the Mouse by marco A Silly Idea by marco ...	Leon P Smith	2009-06-14 13:43
Forum topic	WolframAlpha Attribute Grammars (maybe on Finite Lattices) by marco tanh(0.1x) | tanh(0.2x) by marco Hmpf by marco	Srikumar Subramanian	2009-05-21 21:16
Forum topic	Extension Methods versus Structural Typing of Traits for solving the expression problem I find this... by marco	cdiggins	2009-05-20 10:47
Forum topic	dealing with spam? Spam, Akismet, Captcha by marco	Basile STARYNKEVITCH	2009-05-05 07:56
Forum topic	The deBrujin Criterion and the "LCF Approach". Ah... by marco Substitution by marco Shield by marco	Jason Dusek	2009-04-29 22:57
Forum topic	Algebra Of Programming (Bird, De Moor) Finite Sets by marco	shahbaz	2009-04-27 20:22
Story	A Computer-Generated Proof that P=NP Not even that bad an idea by marco	Leon P Smith	2009-04-20 19:18
Story	Elephant 2000: A Programming Language for the year 2015 Based on Speech Acts My comment on Spinoza by marco Ascribing Machine-LIke Qualities to Man by marco	Ehud Lamm	2009-04-20 07:43
Story	AMS: A Special Issue on Formal Proof Four Color Theorem by marco	Chris Rathman	2009-04-02 07:49
Forum topic	Influence of cognitive models on programming language design You do understand by marco Love the Semantic Domain Models by marco Setting aside all the usual by marco	Srikumar Subramanian	2009-03-26 21:04
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