Lambda the Ultimate

type	title	author	last post
Forum topic	Alternatives to parentheses for grouping Your example might need fixing as it doesn't mention A by sigfpe If A=B... by sigfpe	jason stumpf	2010-02-10 13:28
Forum topic	Extreme non-choosiness In Haskell, say, it's not just the product by sigfpe	L Spice	2010-02-04 22:23
Forum topic	Claiming Infinity Yes by sigfpe There's nothing going on here by sigfpe Games are more general than surreal numbers by sigfpe	Julian Rohrhuber	2010-02-03 12:53
Forum topic	Quantum Lambda Calculus Entanglement by sigfpe	Wolf Logan	2010-01-24 22:41
Forum topic	Academic advice: Mathematics or Computer Science? Nice interpretation by sigfpe MVT and Parallel Postulate by sigfpe Java vs. Calculus? No contest. by sigfpe	guerrilla_thought	2010-01-23 19:57
Story	Causal Commutative Arrows and Their Optimization One of my favourite ICFP '09 papers by sigfpe	neelk	2009-11-05 02:42
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	2009-11-03 02:39
Story	The End of the GPU Roadmap In fact, I think you can make Delayed a comonad by sigfpe	Noel	2009-10-23 10:03
Forum topic	Programming (language) puzzles Use loeb by sigfpe	Chung-chieh Shan	2009-10-02 17:42
Forum topic	Best Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!! Unpacking declarations by sigfpe	kaveh.shahbazian	2009-09-25 08:54
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
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