Lambda the Ultimate

type	title	author	last post
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
Story	Linear Logic and Permutation Stacks--The Forth Shall Be First Stack-based by Nature by marco Not much by marco Ah well by marco ? by marco No by marco I think... by marco It works well in Clean by marco Why didn't it work out? by marco	Luke Gorrie	2009-03-14 06:49
Story	From shift and reset to polarized linear logic I think by marco Consider Yourself Lucky by marco	Andris Birkmanis	2009-03-10 08:47
Forum topic	Using coalgebraic structures for traversing ADTs lazily Yeah, saw that by marco Master Theorem by marco Wrapping it up: Samefringe Problem by marco God, now I am interested by marco Nope by marco Thanks by marco Evaluate by Need by marco In the eye of the beholder? by marco Solution by marco Same solution? by marco ...	marco	2009-03-10 01:49
Story	LtU: blog not forum! Mod parent up by marco	Ehud Lamm	2009-02-14 14:11
Forum topic	Looking for papers describing advanced language topics in terms of C programming Did you... by marco	derekp	2009-02-12 06:39
Story	PL Grand Challenges Maybe a little better than semicolons by marco Multi-disciplinary development by marco Need not be that complex by marco Understanding why we should obtain by marco And neurolinguistics is the by marco Lala-land ain't that bad by marco . by marco Whatever by marco Apples and Oranges by marco Do you mean five apples by marco ...	Ehud Lamm	2009-02-10 16:09
Forum topic	Ruling out nonsensical data type definitions Well-foundedness by marco Why would you reject it? by marco Small remark by marco	Douglas McClean	2009-02-03 22:54
Forum topic	Explaining monads Enough arrows by marco Good, HOCs then by marco Not supporting HOFs by marco Well... by marco Aesthetics by marco Alternatives by marco Dissecting dissections by marco Dissecting monads by marco I didn't read it as such, that's true by marco Monads do not model IO by marco ...	Ehud Lamm	2009-01-30 11:43
Forum topic	The Origins of the BitC Programming Language The implementation for by marco	Isaac Gouy	2009-01-30 00:38
Story	2008 In Review - What Happened with Programming Languages? Ok by marco On die memory by marco Sidenote on Boehm by marco SKI by marco O(size of the term) by marco	James Iry	2009-01-28 12: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