Lambda the Ultimate

type	title	author	last post
Story	John Hughes on Erlang and Haskell Not a question of bad by Marc Hamann M's paradox by Marc Hamann Looping proofs by Marc Hamann Sunshine Sketch of a Big Equivalence by Marc Hamann A Type System by any other name... by Marc Hamann Curry-Howard-Gödel-Turing by Marc Hamann Curry-Howard ain't so common by Marc Hamann Slippery slope by Marc Hamann	James Iry	2009-12-02 10:16
Story	Lambda, the Ultimate TA New presentation and new book by Marc Hamann	Ehud Lamm	2009-11-05 17:26
Forum topic	What is a Type? Types are second order by Marc Hamann What is a value? by Marc Hamann	andrew johnson	2009-10-28 20:53
Story	Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson A rhetorical answer by Marc Hamann Un chien adalou by Marc Hamann Can't decode the paradigm by Marc Hamann A Moving Target by Marc Hamann	Z-Bo	2009-10-26 23:13
Story	Patrick Logan on Software Transaction Memory Shared Context by Marc Hamann Eat your dinner before you reach for dessert by Marc Hamann A sympathetic take by Marc Hamann	Ehud Lamm	2009-10-26 21:48
Story	A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions Adequate modesty by Marc Hamann Expected outcome by Marc Hamann Adequacy for which problem? by Marc Hamann	cdiggins	2009-10-23 11:46
Forum topic	Why Pseudo-Code? Algorithmic complexity by Marc Hamann The Myth of DWIM by Marc Hamann	Kay Schluehr	2009-10-05 18:49
Forum topic	Definition of Functional Programming Language Extremely understated by Marc Hamann Deja snooze by Marc Hamann	vag	2009-08-07 22:39
Forum topic	Most powerful terminating semantics? CS is not (all of) mathematics by Marc Hamann Open hand by Marc Hamann All f:N->N are total and O(1) with infinite memory by Marc Hamann Manifesto by Marc Hamann At infinity, everything is possible by Marc Hamann Call the men in white by Marc Hamann Simplicity out the window ;-) by Marc Hamann Live beginning by Marc Hamann Finite recognition by Marc Hamann For the record... by Marc Hamann ...	dataangel	2009-07-15 16:49
Forum topic	Trade-offs with abstraction The problem is king by Marc Hamann Two software designers go into a bar... by Marc Hamann Abstract Silver Bullet Factory by Marc Hamann Don't lock security away by Marc Hamann Slithy toves by Marc Hamann Woulda coulda shoulda by Marc Hamann The "Leaky Abstraction" Abstraction Leaks by Marc Hamann	Charles Stewart	2009-07-15 00:32
Forum topic	Semantics: Logic vs. PL Computational Epistemology by Marc Hamann A difference of scope by Marc Hamann A Brief History of Time by Marc Hamann	Ohad Kammar	2009-06-27 14:17
Forum topic	Right on! Turn, turn, turn by Marc Hamann I'll second that by Marc Hamann	Ehud Lamm	2009-06-27 03:44
Forum topic	Stupid Question. Break down by Marc Hamann Rule of Thumb by Marc Hamann	Matt Estes	2009-06-26 20:47
Story	Why a diagram is (sometimes) worth ten thousand words I know what you mean by Marc Hamann	Ehud Lamm	2009-06-18 20:33
Story	How Does Our Language Shape The Way We Think? "Share nothing" sophistry by Marc Hamann Priming prime by Marc Hamann Theorists of the world unite! by Marc Hamann The Clouds by Marc Hamann The only way by Marc Hamann Philosophy by Marc Hamann Priming writ large by Marc Hamann A commonplace of commonplaces by Marc Hamann .. the pump by Marc Hamann Obligatory Follow-up ;-) by Marc Hamann ...	Chris Rathman	2009-06-18 18:47
Forum topic	Job trends Virtual community service by Marc Hamann	Ehud Lamm	2009-06-15 09:31
Forum topic	The Meta-LtU Thread It's all dark, really... by Marc Hamann The Charge of the LtU Brigade by Marc Hamann Not to flog a dead horse... by Marc Hamann But there is an "i" in unverified... by Marc Hamann A word means just what I want it to mean... by Marc Hamann Sure, blame the old guy who isn't here much anymore... by Marc Hamann A geezer's story by Marc Hamann	Leon P Smith	2009-06-14 13:43
Story	Questions Five Ways Music can be recognized by its... by Marc Hamann PL vs application by Marc Hamann Aggregation for the masses by Marc Hamann Shine on, you crazy Ruby by Marc Hamann The present's so bright, I gotta wear shades by Marc Hamann Deep tools by Marc Hamann Tasty! by Marc Hamann Kids these days... by Marc Hamann What's next? by Marc Hamann	Ehud Lamm	2009-06-02 20:24
Forum topic	Social science research about programming language adoption? Stop in the name of linguistics! by Marc Hamann	Tim Chevalier	2009-06-02 15:05
Forum topic	the Chinese natual language Li and Thompson by Marc Hamann LtU should stick to PLs... by Marc Hamann	Zhu Chongkai	2009-06-01 13:06
Story	Forth Dimensions Makes me wonder... by Marc Hamann	Luke Gorrie	2009-05-28 19:58
Story	Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time Thanks! by Marc Hamann Source Code? by Marc Hamann	neelk	2009-05-04 19:29
Forum topic	The deBrujin Criterion and the "LCF Approach". References? by Marc Hamann	Jason Dusek	2009-04-29 22:57
Forum topic	Twitter and Scala Programming Linguisitically Interesting by Marc Hamann	snedunuri	2009-04-08 19:30
Forum topic	Influence of cognitive models on programming language design May I humbly suggest.... by Marc Hamann Not so sure... by Marc Hamann	Srikumar Subramanian	2009-03-26 21:04
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