Lambda the Ultimate

type	title	author	last post
Story	Inform 7: A relational DSL for interactive fiction with natural language syntax Guess the syntax by sigfpe	Frank Atanassow	2006-06-12 07:49
Forum topic	Lambda the Ultimate Set Comprehension My side by sigfpe Cat vs Set by sigfpe Equality is a problem? by sigfpe Apparently, it's not so easy by sigfpe That won't do at all by sigfpe Why is everyone avoiding the issue? by sigfpe Yes, of course by sigfpe Mathematicians don't care? by sigfpe Recursive closure? by sigfpe We could try taking baby steps... by sigfpe ...	xyzzy	2006-05-17 06:05
Story	MathLang J is great but... by sigfpe	Jim Apple	2006-05-14 11:00
Story	foldl and foldr ∞ is a synonym for N by sigfpe Or... by sigfpe it would be non-standard notation. by sigfpe Are we talking at cross purposes by sigfpe I'm suggesting that... by sigfpe It kind of makes sense... by sigfpe What is the problem with = ∞ ? by sigfpe	Noel	2006-04-20 16:34
Forum topic	Purity in PLT No... by sigfpe	Jim Apple	2006-04-08 10:56
Forum topic	Programming: 50, 100 years from now Code duplication is an intermediate step... by sigfpe Copy-and-paste programming by sigfpe	shahbaz	2006-04-03 17:51
Forum topic	McBride Derivative paper Note that the derivative is by sigfpe When you've read both of those papers... by sigfpe	keithb	2006-02-28 23:33
Forum topic	Interval Datatype Can these be related in any useful way to error intervals? by sigfpe	Derek Elkins	2006-02-26 19:28
Story	Interval Computations A general comment on PLs and interval arithmetic by sigfpe You've shown why interval arithmetic... by sigfpe Yes, it's much the same thing by sigfpe Different applications by sigfpe Same thing by sigfpe A related method is... by sigfpe	Ehud Lamm	2006-02-22 21:34
Forum topic	Accidental Syntax Never understood why that has a special name by sigfpe Does ^infix^ notation in C++ count? by sigfpe	Doug Orleans	2006-02-20 16:10
Forum topic	Is STL algorithms doing damage to the cause? Thanks, that makes perfect sense. by sigfpe The goal here is to solve difficult problems. by sigfpe Simple solution by sigfpe I don't think it's bad PR by sigfpe	Koray Can	2006-02-13 15:17
Forum topic	What is a Proposition? Counterexample by sigfpe	andrew cooke	2006-02-03 17:04
Forum topic	What is a monad, why should I use it, and when is it appropriate? It's not just for Maybes by sigfpe	Jonathan Allen	2006-02-03 10:54
Story	Djinn, a theorem prover in Haskell, for Haskell. The main result isn't that deep by sigfpe Could this be adapted to find isomorphisms... by sigfpe	shapr	2006-01-24 18:58
Forum topic	What is considered source code? Why be tied to a definition? by sigfpe	Jonathan Allen	2006-01-17 09:26
Forum topic	The breaking point of language usability? As a programmer... by sigfpe	raould	2005-12-12 15:35
Forum topic	Expressivity ...a field/idea originating from Gregory Chaitin... by sigfpe	David B. Held	2005-08-11 17:17
Forum topic	Language support for generating functions? Reading most of generatingfunctionology... by sigfpe What support do you need? by sigfpe	Greg Buchholz	2005-07-29 21:08
Forum topic	Why recursing is better than looping This isn't really addressing my point... by sigfpe See my comments on the Tower of Hanoi. by sigfpe where you won't find iteration at all by sigfpe The recursive function for by sigfpe You took the words out of my mouth! by sigfpe	johnnyb	2005-06-29 20:27
Story	Differentiating Data Structures An informal explanation... by sigfpe	Ehud Lamm	2005-05-28 15:17
Forum topic	Competitive Collaborative Specification of GUI Applications through User Test Cases and Merit-Based Conflict Resolution You can already see what happens... by sigfpe	Amir Michail	2005-05-27 06:17
Forum topic	Cyc Knowledge Server Cyc was the baby of Doug Lenat by sigfpe	marco	2005-05-19 12:23
Story	Computer generates verifiable mathematics proof Perhaps they should care... by sigfpe Interesting claim by sigfpe Structure and Interpretation... by sigfpe It's a little behind the leading edge... by sigfpe More shortcut than assumption by sigfpe What mathematicians really do is different by sigfpe Minor matter by sigfpe	Ehud Lamm	2005-04-27 10:44
Story	On the Unusual Effectiveness of Logic in Computer Science Exactly what did we gain? by sigfpe And I disagree too! by sigfpe I'm more amazed by the unreasonable... by sigfpe	Charles A Stewart	2005-04-21 11:14
Forum topic	Journals and papers? Tip by sigfpe	BigZaphod	2005-03-22 17:56
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