Lambda the Ultimate

type	title	author	last post
Forum topic	Effectiveness of C++ for scientific computing? A general point by sigfpe	msid	2008-07-19 09:36
Story	Minimal FORTH compiler and tutorial Nowadays there are a few concatenative languages... by sigfpe What's interesting specifically about Forth... by sigfpe	Ehud Lamm	2008-07-14 23:16
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	Programming (language) puzzles Use loeb by sigfpe	Chung-chieh Shan	2008-05-17 14: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
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? There is no future in natural language programming. by sigfpe	John Carter	2008-03-09 17:31
Story	When Is A Functional Program Not A Functional Program? Compare with Escardo by sigfpe	neelk	2008-03-09 14:31
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
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