Lambda the Ultimate

type	title	author	last post
Forum topic	the Chinese natual language About those Eskimos ... by fruehr	Zhu Chongkai	2008-08-19 08:55
Forum topic	help with understanding combinatory logic Scheme-based exposition on combinators by fruehr	happycow	2008-06-10 08:13
Forum topic	succinctness The eye of the beholder by fruehr	Curtis W	2008-05-28 19:57
Forum topic	programming languages and facial hair Cardinality issues by fruehr	J Storrs Hall	2008-05-07 17:50
Forum topic	Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) And the direction is already in the list by fruehr	cdiggins	2008-04-22 17:11
Forum topic	Learning language design Design versus implementation by fruehr	vishal	2008-03-05 17:28
Forum topic	Please help find a paper/tutorial Wouter Swierstra's "Data Types á là Carte"? by fruehr	roy_hu	2008-02-25 05:00
Forum topic	foundations for J, APL etc Link to Trenchard More Array Theory paper posted by fruehr A better example? (and Trenchard More's Array Theory) by fruehr	shoe	2008-01-27 19:55
Forum topic	Induction of variadic functions, functions over tuples, etc. Minor typo in the first bit of code by fruehr	shoe	2008-01-23 08:03
Story	S has a left inverse Statman's results on combinator bases by fruehr	Charles Stewart	2007-12-12 16:25
Forum topic	PL research & grad schools? Don't second-guess yourself ... by fruehr	dataangel	2007-11-20 22:47
Forum topic	The simplest mechanism with Turing-equivalent power to date ... Gurevich on limits of TMs (and the genesis of the ASM project) by fruehr An aside on TMs versus "GPCs" by fruehr	Mario B.	2007-11-18 21:05
Forum topic	Computing is a Natural Science Yes, CS is not just mathematics, but ... by fruehr Maybe to a Platonist ... by fruehr	Hank Thediek	2007-10-15 20:49
Forum topic	Lectures on the Curry-Howard Isomorphism Strange to see this at Walmart ... by fruehr	Ehud Lamm	2007-08-28 17:18
Forum topic	Whoever does not understand LISP, is doomed to reinvent it. Still something there by fruehr	kaveh.shahbazian	2007-07-22 19:46
Story	HOPL-III: Statecharts in the Making [OT cont.] Fant's reputation / patent connection? by fruehr	Chris Rathman	2007-07-11 16:56
Story	50 years of “Syntactic Structures” Chomsky's influence on CS, the general academic perspective by fruehr	Ehud Lamm	2007-02-13 03:31
Forum topic	Want to do undergraduate research, but CS dept is weak... Books, summer schools, study abroad? by fruehr	MTaylor	2007-02-02 14:39
Forum topic	Why Johnny can't code Book = "Flash Math Creativity"? by fruehr	citylight	2007-01-04 22:54
Forum topic	Why type systems are interesting - part II Incompleteness of typing (plus Zelazny, Egyptian gods) by fruehr	Ehud Lamm	2006-12-08 01:38
Forum topic	Gamma formalism Another reference to related work ... by fruehr	Kay Schluehr	2006-07-28 22:35
Forum topic	First Class Values, Types as values within a Programming Language Stoy, not Scott? by fruehr	Bruce Rennie	2006-07-20 00:50
Story	Gottfried Wilhelm Leibniz And he came up with the idea of a Monad by fruehr	Niels Hoogeveen	2006-07-01 15:34
Forum topic	The Role of Type Equality in Meta-Programming Giving Dr. Pasalic his due by fruehr	Niels Hoogeveen	2006-06-26 15:49
Forum topic	Relevance of Curry-Howard Limit of FSMs does not equal TMs by fruehr Now see ... by fruehr	Klaus Ostermann	2006-06-12 13:36
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