David Wagner

type	title	author	last post
Forum topic	On the (Alleged) Value of Proof for Assurance "automatic" is important by David Wagner	shap	2016-11-24 01:04
Forum topic	Seeking thoughtful criticisms of functional programming and languages There are plenty of by David Wagner	scottmcl	2013-03-31 00:40
Forum topic	IDE design for immediate feedback	David Wagner	2012-09-04 09:14
Forum topic	Comprehensive overview of security models? Why focus on security models? by David Wagner	Z-Bo	2010-11-02 21:07
Forum topic	Means to Limit or Constrain Side Effects Is the problem well-motivated? by David Wagner	scottmcl	2010-05-14 20:26
Forum topic	Capability-based security; how does it work? Some disagreement on a few points by David Wagner Slides for my talk by David Wagner Some background reading by David Wagner	Ray Dillinger	2010-05-01 19:23
Forum topic	Advantages of Purity Advantages of purity - security by David Wagner	giuseppemag	2010-03-24 17:11
Story	Joe-E: A Security-Oriented Subset of Java The system's gotta be usable for Java programmers by David Wagner Joe-E doesn't have an extensive taming database by David Wagner So Joe-E as it stands is one by David Wagner JVM bytecodes are full of pitfalls by David Wagner	Ehud Lamm	2010-03-02 01:35
Forum topic	Why determinism matters in language design. Determinism != functional purity by David Wagner How to provide determinism in an imperative language by David Wagner	John Carter	2009-08-25 18:56

Lambda the Ultimate