Lambda the Ultimate

type	title	author	last post
Forum topic	functions vs procedures.. Different issue by sigfpe	ceti331	2009-08-20 18:05
Story	Computer music: a bastion of interactive visual dataflow languages Visual Dataflow is Commonplace in Graphics by sigfpe	Peter Van Roy	2009-06-19 03:30
Forum topic	the Chinese natual language I always thought Chinese was a bit like Forth... by sigfpe	Zhu Chongkai	2009-06-01 13:06
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	2009-05-23 23:23
Story	Parameterized Notions of Computation Depends on how you represent... by sigfpe	neelk	2009-02-17 19:38
Forum topic	Explaining monads groups have nothing to do with the integers by sigfpe	Ehud Lamm	2009-01-30 11:43
Forum topic	Lambda Calculus Notation Colour by sigfpe	Peter Michaux	2009-01-21 22:36
Forum topic	Irresistible programs I don't get this one by sigfpe	Ehud Lamm	2008-12-03 21:21
Forum topic	Currying != Generalized Partial Application?! What's the difference? by sigfpe Not guilty, your honour. by sigfpe	cdiggins	2008-10-29 20:58
Forum topic	Effectiveness of C++ for scientific computing? A general point by sigfpe	msid	2008-07-19 09:36
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
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