Lambda the Ultimate

type	title	author	last post
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
Forum topic	Detailed discussion forum and/or IRC channel? Sister-site by marco Don't change a winning team by marco	strog	2009-01-28 05:29
Forum topic	Functional anti-memoization Programmer's Choice by marco Evaluation Strategy of a GRS? by marco Nice Technique by marco	Greg Buchholz	2009-01-26 17:46
Forum topic	Non-standard type theories for FP Only implications by marco Yeah by marco I understood that by marco Not rank-2 by marco Great by marco Skolem Types by marco HMF, HML by marco Going higher-rank by marco I think I already got it to work by marco Argument by Pierce? by marco ...	marco	2009-01-25 03:59
Forum topic	Lambda Calculus Notation Read it as a postfix function/operator by marco	Peter Michaux	2009-01-21 22:36
Forum topic	Compilation/method resolution with structural subtyping Not sure? by marco	scottmcl	2009-01-20 19:33
Forum topic	Fundamental Flaws in Current Programming Language Type Systems No real thoughts by marco Power is not absolute by marco Types as values by marco Yeah, well by marco Requirements & Design by marco	Bruce Rennie	2009-01-16 16:42
Forum topic	New Programming Language Idea Yeah by marco Me bad by marco Even selecting a function... by marco Planning? Constraint Propagation by marco Nope by marco Impossible by marco BDDs by marco	Lee Chou	2009-01-14 09:06
Forum topic	Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) Aaaaaahaaaaaaaaaaah! by marco I think... by marco	scottmcl	2009-01-11 22:50
Forum topic	"Determinism" of types? Depends by marco	ellisk	2009-01-06 17:36
Forum topic	Learning Pragmatics of Implementing a "Modern" Type Systems Use your head by marco Hmmm.... by marco	scottmcl	2009-01-02 22:51
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