Lambda the Ultimate

type	title	author	last post
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
Story	Programmable Concurrency in a Pure and Lazy Language Irrelevant by marco On better algorithm complexity by marco re: Better Algorithm Complexity by marco	James Iry	2008-12-31 23:41
Forum topic	Shoot-out: most annoying compiler error message Error messages which make you go umph! by marco	marco	2008-12-21 21:45
Story	Fω^C: a symmetrically classical variant of System Fω Yeah, but what is the result? by marco	Charles Stewart	2008-12-01 14:20
Forum topic	Subtyping + overloading Semantics by marco Great book, where's my towel ;-) by marco Too much machinery by marco Yeah well, we were talking intuition by marco Look at the options by marco Brain Damage by marco You're right - we're going way OT by marco Hmmm by marco Ok by marco Ok by marco ...	Alex Rubinsteyn	2008-11-24 20:24
Forum topic	Security in FP Ask Oleg by marco	Carter Cheng	2008-11-22 21:19
Forum topic	Current "hot" topics in parallel programming? Moveable code, multi-core by marco	Michael Lesniak	2008-11-21 09:00
Story	SEP entry on Combinatory Logic Small stuff by marco	Ehud Lamm	2008-11-19 19:27
Forum topic	Implementations of untyped lazy lambda calculus Sorry, I forgot by marco Uh by marco	Darren Smith	2008-11-14 19:44
Story	BEE3: Putting the Buzz Back into Computer Architecture Elaborate by marco	Luke Gorrie	2008-10-30 17:47
Forum topic	Object Oriented Programming + Referential Transparency True, but ... by marco	mjstahl	2008-10-30 17:40
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