Lambda the Ultimate

type	title	author	last post
Forum topic	Alexander Bumstead learns the Lambda Calculus Probably heard, not read; also Y combinator joke? by fruehr	tim finin	2013-11-05 07:12
Forum topic	Bob Harper of CMU is blogging about programming languages and introductory CS education Sorry to worry you by fruehr Or "abstract syntax" by fruehr Going further with functions by fruehr	vrijz	2012-06-30 00:11
Forum topic	Stupid Question. What Scott actually said by fruehr Re: papers by fruehr Lots of variation in usage by fruehr	Matt Estes	2009-06-26 20:47
Forum topic	the Chinese natual language About those Eskimos ... by fruehr	Zhu Chongkai	2009-06-01 13:06
Story	Joshua Bloch: "Nearly All Binary Searches Broken" Response on a different issue? by fruehr	Ehud Lamm	2009-05-15 15:20
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	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
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