Casey McCann | Lambda the Ultimate

Casey McCann

view
track

type	title	author	last post
Forum topic	plt vs. something else for programming in the large? Situation Normal: ... by Casey McCann Cynicism... by Casey McCann What were we talking about, anyway? by Casey McCann Informality = work by Casey McCann How many? by Casey McCann	raould	2010-06-17 01:07
Forum topic	Alan Kay's 70th Definitely a unix thing by Casey McCann New is the new old by Casey McCann Tangentially related by Casey McCann	Z-Bo	2010-05-31 21:19
Story	Algol 58/60 Proving Hoare was right by Casey McCann	bashyal	2010-05-27 03:12
Forum topic	A solution to the catcall problem in Eiffel Contravariant contractual contradictions by Casey McCann Correctness and type safety by Casey McCann Contrariwise by Casey McCann	hbrandl	2010-05-23 13:15
Story	The Right Tool The most widely-used pure functional language by Casey McCann No worries! by Casey McCann A few interesting early results by Casey McCann	James Iry	2010-05-19 13:15
Story	The War on Spam Who discusses the discusser? by Casey McCann	Ehud Lamm	2010-05-19 08:51
Forum topic	SEC interested in formalising contracts ... in Python My contract is full of eels by Casey McCann Python's "The Meaning of Code" by Casey McCann	Noel	2010-05-06 12:56
Forum topic	How can C Programs be so Reliable? Partial signatures? by Casey McCann	Manuel J. Simoni	2010-04-23 11:54
Story	Can functional programming be liberated from the von Neumann paradigm? Function application, of by Casey McCann Quibbling over semantics by Casey McCann At the Monads of Madness by Casey McCann	Charles Stewart	2010-04-14 20:25
Forum topic	Technomasochism 10 COME FROM 20 by Casey McCann	Ehud Lamm	2010-04-12 18:41
first page previous page