Lambda the Ultimate

type	title	author	last post
Forum topic	help with understanding combinatory logic Two sources by sigfpe	happycow	2008-06-10 08:13
Forum topic	Understanding category theory and its practical applications It wasn't much of an exercize -- am I missing something? by sigfpe Look closely at the definition by sigfpe	Winheim Raulsh	2008-05-26 05:25
Forum topic	Is Halting Problem Valid for P? Don't forget to check out the classic paper by sigfpe	ajgargand	2008-05-04 23:24
Forum topic	Static Typing and Expressivity I don't understand why this is tangential by sigfpe	nobodysbusiness	2008-05-02 15:58
Forum topic	Languages best suited for scientific computing? Haskell not the best choice here by sigfpe	JustinTrellis	2008-04-24 18:59
Story	Derivatives and dissections of data types McBride uses mu by sigfpe There's no problem with limits... by sigfpe Take a list and make a hole in it by sigfpe Pushing things a bit further... by sigfpe I think a good place to look... by sigfpe	Andris Birkmanis	2008-04-23 00:45
Forum topic	Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) But the APL operation... by sigfpe	cdiggins	2008-04-22 17:11
Forum topic	"Practical" advantages of lazy evaluation Suppose you want to perform a number of... by sigfpe	chinu	2008-03-11 11:16
Story	Project LambdaCan I tried something along those lines... by sigfpe	Ehud Lamm	2008-02-07 22:37
Forum topic	foundations for J, APL etc Generics by sigfpe	shoe	2008-01-27 19:55
Forum topic	poll: syntax "Just to conform" by sigfpe The most readable language I know is... by sigfpe	Givas	2008-01-25 02:00
Story	How to write your next POPL paper in Coq Can someone say something about the prerequisites? by sigfpe	Ehud Lamm	2008-01-13 18:01
Forum topic	functions, statements, expressions Can be done, or can be done reasonably? by sigfpe	Jason Dusek	2007-12-25 10:52
Story	Gödel, Nagel, minds and machines One that keeps reading inputs... by sigfpe	Ehud Lamm	2007-11-22 08:09
Forum topic	Petition for adding garbage collection to C++. Graphics by sigfpe	Achilleas Margaritis	2007-11-20 16:24
Story	Idioms for Composing Games with Etoys Simple by sigfpe	Luke Gorrie	2007-11-08 02:13
Forum topic	Computing is a Natural Science Irrelevant by sigfpe	Hank Thediek	2007-10-15 20:49
Forum topic	Question about the Monad associativity law Associativity isn't about order by sigfpe	sciomako	2007-10-09 20:57
Story	Binary Lambda Calculus and Combinatory Logic Chris Okasaki on minimal combinators. by sigfpe	Chris Rathman	2007-09-28 23:59
Forum topic	Online video course on monads My favourite example of a natural transformation is from CS by sigfpe Why a monoid is a one object category by sigfpe	renaud	2007-09-20 22:37
Forum topic	What is a state? Recommended reading by sigfpe	Hank Thediek	2007-09-07 13:41
Forum topic	Fogotten Book Title The funny thing about google... by sigfpe	olwe	2007-08-31 07:12
Forum topic	Comprehensions with ‘Order by’ and ‘Group by’ I was secretly hoping monad comprehensions would... by sigfpe	Isaac Gouy	2007-08-28 10:31
Forum topic	Monad Description For Imperative Programmer ...we) would like to know a bit more about them, too. by sigfpe Sort of... by sigfpe Shells and Monads by sigfpe I'm not sure I see what you mean... by sigfpe Monads and mutable state by sigfpe	kaveh.shahbazian	2007-08-22 18:10
Forum topic	creating my own programming language You might also want to consider... by sigfpe	javiadip	2007-08-19 19:10
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