Lambda the Ultimate

type	title	author	last post
Story	Computing Needs Time Computing needs time travel by Marc Hamann	Allan McInnes	2012-03-05 19:35
Forum topic	Go's proposed panic/recover exception-like mechanism Black hat, white hat by Marc Hamann Design for what? by Marc Hamann	pgregory	2012-01-07 01:57
Story	Why Object-Oriented Languages Need Tail Calls Scope adjustment by Marc Hamann LtU's Most Wanted by Marc Hamann Yet more pluralism by Marc Hamann Semantic TCO FTW by Marc Hamann	Leon P Smith	2011-10-01 21:58
Story	Haskell for C Programmers De Do Do Do, De Da Da Da by Marc Hamann Implementation is under the hood by Marc Hamann Premature optimization is the root of all evil by Marc Hamann My name is legion... by Marc Hamann Not so far apart as it might seem by Marc Hamann Divide the world and conquer by Marc Hamann Good fences make good neighbours by Marc Hamann The Way of Ways by Marc Hamann Traduttore, traditore by Marc Hamann	Mark Evans	2011-09-12 18:37
Forum topic	Literate Programming: Retrospect and Prospects Pseudo-prose's equally evil twin by Marc Hamann Code is Language by Marc Hamann Choose your literacy by Marc Hamann	el-vadimo	2011-07-20 21:10
Forum topic	Generative Grammar-based Computation The language that can tell no lies by Marc Hamann To what end? by Marc Hamann	dmbarbour	2011-05-08 06:50
Forum topic	What is a "fully featured closure"? Request for comments. Object-oriented style by Marc Hamann	Pavel Minaev	2011-04-10 18:34
Story	Good Ideas, Through the Looking Glass X is just Y with Z by Marc Hamann	Ehud Lamm	2011-01-15 17:04
Story	Guido: Language Design Is Not Just Solving Puzzles Design Focus by Marc Hamann	Ehud Lamm	2011-01-05 17:06
Story	Why Did M.I.T. Switch from Scheme to Python? A young field? by Marc Hamann Plumbing is a skilled (and lucrative) trade by Marc Hamann Plumbing geeks by Marc Hamann Such a bad thing? by Marc Hamann	Leon P Smith	2010-12-30 20:10
Story	Sapir-Whorf 70 years on Dyspepsia by Marc Hamann Argumentum ad verecundiam by Marc Hamann Example language? by Marc Hamann The imperatives of functional by Marc Hamann The conjugation of OT by Marc Hamann	bashyal	2010-12-20 12:25
Forum topic	On the (Alleged) Value of Proof for Assurance Girard, mon semblable, mon frere by Marc Hamann Once more with feeling... by Marc Hamann Oh what a feeling! by Marc Hamann Label Anxiety by Marc Hamann Huh? by Marc Hamann Adios by Marc Hamann Usenet 1995 by Marc Hamann Yes/No/Maybe by Marc Hamann Types and logic by Marc Hamann Names are not definitions by Marc Hamann ...	shap	2010-12-15 14:59
Story	seL4: Formal Verification of an Operating-System Kernel Amicus curiae by Marc Hamann Just really difficult by Marc Hamann A specification of a unicorn by Marc Hamann More terminology by Marc Hamann Two notions of specification by Marc Hamann	James Iry	2010-12-15 14:54
Forum topic	expressivity of "idiomatic C++" Back to drawing board by Marc Hamann Number signs? by Marc Hamann Pragmatism by Marc Hamann Unilingual Perquisites by Marc Hamann Dodo-egg Omelette by Marc Hamann FP as a second language by Marc Hamann	el-vadimo	2010-11-10 22:56
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) It seems easy... by Marc Hamann The types depend on values by Marc Hamann We lived in a lake... by Marc Hamann The same can of worms? by Marc Hamann Can of non-terminating worms by Marc Hamann	Greg Buchholz	2010-10-22 21:48
Forum topic	Computational equivalent of incompleteness theorems? What more do you want? by Marc Hamann	naasking	2010-09-21 06:55
Forum topic	What are the properties of "Functional Programming Languages"? To boldly go... where? by Marc Hamann What about your contribution? by Marc Hamann Let there be a translation by Marc Hamann	kaveh.shahbazian	2010-09-13 17:38
Story	What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common A course in the making? by Marc Hamann Nicer to come? by Marc Hamann	neelk	2010-09-09 13:41
Forum topic	Incompleteness Theorems: The Logical Necessity of Inconsistency Proof? by Marc Hamann Pop goes the weasel by Marc Hamann Round and round the mulberry bush... by Marc Hamann From theory to practice by Marc Hamann Baby and Bathwater by Marc Hamann ...so why not make the whole system undecidable? by Marc Hamann And then? by Marc Hamann Baseline by Marc Hamann Bad hair day by Marc Hamann Benign sophistry by Marc Hamann ...	Hewitt	2010-08-10 14:23
Forum topic	CUFP 2010 Double standard? by Marc Hamann	yminsky	2010-08-04 21:03
Forum topic	Is lambda calculus a logic? Recently on LtU by Marc Hamann	Patrick Browne	2010-07-23 21:42
Forum topic	Is mathematics invention or discovery? The perils of Plato by Marc Hamann Wrong venue by Marc Hamann	Justin Johansson	2010-07-20 08:14
Story	Why Undergraduates Should Learn the Principles of Programming Languages Shot by one's own can(n)on by Marc Hamann	Z-Bo	2010-07-15 09:08
Forum topic	Questions about Semantics. Two-level grammar and Chomsky Hierarchy by Marc Hamann Free the contexts! by Marc Hamann	Matt Estes	2010-07-15 05:47
Forum topic	Uncle Bob's talk at RailsConf 2010 Dispassionate analysis by Marc Hamann Sociological subtext by Marc Hamann Rough calculation by Marc Hamann	Marc Hamann	2010-07-07 20:43
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