Lambda the Ultimate

type	title	author	last post
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	Matthew Willson	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
Forum topic	Purity in PLT Small intersection by fruehr Everything in APL ... by fruehr	Jim Apple	2006-04-08 10:56
Forum topic	Programming: 50, 100 years from now Contacting Tony Hoare by fruehr Asimov's story "The Feeling of Power" by fruehr Hoare's anecdote re long division by fruehr	shahbaz	2006-04-03 17:51
Story	Spring School on Datatype-Generic Programming 2006 One more time, with pith by fruehr Polymorphism versus polytypism by fruehr	Ehud Lamm	2006-01-24 19:14
Forum topic	According to Allen Holub programming is now a liberal art. When did this happen? Post-modernists co-opting Gödel? by fruehr By the way ... by fruehr The classical liberal arts are ... by fruehr	ade_oshineye	2005-04-16 22:46
Story	The DSL, MDA, UML thing again... Slight mis-reading by fruehr	Ehud Lamm	2005-02-04 10:08
Forum topic	Old computer science and technical books worth searching for Another "arithmetic & types" idea (but remember Burge!) by fruehr OK, then ... by fruehr Recursive Programming Techniques by W. H. Burge by fruehr	James Hague	2004-07-23 18:01
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