shap

type	title	author	last post
Story	The irreducible physicality of security properties Security is an answer, not a question by shap Unenforceable policies by shap Side channels are orthogonal by shap	Charles Stewart	2008-05-18 14:42
Forum topic	Static Typing and Expressivity Implementation, not language by shap	nobodysbusiness	2008-05-02 15:58
Forum topic	Lisp Lovers, how would you fix Lisp or bring it up to date? Replace it with BitC? by shap	Ben Atkin	2008-04-29 03:20
Forum topic	2nd Revision of "Thoughts about the Best Introductory Language" Nah.. by shap	shlomif	2008-04-27 01:41
Forum topic	Higher-Order Programming without Closures? BitC doesn't lift this way. by shap Eventually, but not soon by shap Various optimizations by shap	naasking	2008-04-27 01:18
Forum topic	TinyScheme Revived	shap	2006-04-21 23:28
Forum topic	BitC, a new OS implementation language Challenges of verification by shap Reducing bugs in BitC by shap Confusing BitC/P and BitC/L by shap Rationale for a "close to AST" surface syntax by shap BitC and S-Exprs by shap	Alexandre Richer	2005-07-25 19:48
first page previous page

Lambda the Ultimate