Lambda the Ultimate

type	title	author	last post
Forum topic	Advantages of pointfree? A matter of interpretation by Marc Hamann Point-free: does it really mean stateless? by Marc Hamann	John Nowak	2023-02-19 16:24
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	2016-11-24 01:04
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	2014-07-29 07:19
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	2013-09-12 17:06
Forum topic	SF-calculus Macro macros, not micro macros by Marc Hamann No surprise by Marc Hamann A different approach by Marc Hamann Non-deterministically deterministic by Marc Hamann The wrong game by Marc Hamann Crossed parallels by Marc Hamann	Barry Jay	2013-08-30 18:42
Forum topic	Seeking thoughtful criticisms of functional programming and languages Please back away from the lexical item, sir by Marc Hamann Panglossian Programming by Marc Hamann Pudding to be eaten? by Marc Hamann Not a bang but a whimper by Marc Hamann	scottmcl	2013-03-31 00:40
Story	Interactive Programming Re:TDD by Marc Hamann	Luke Gorrie	2013-03-25 05:32
Story	On Understanding Data Abstraction, Revisited Unclear distinction? by Marc Hamann A lesson for practitioners? by Marc Hamann	Z-Bo	2012-06-28 01:36
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	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	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
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