Lambda the Ultimate

type	title	author	last post
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