Josh Stern

typetitleauthorlast post sort icon
StoryInformed dissent: William Cook contra Bob Harper on OOP Ehud Lamm2012-09-29 09:12
Forum topicWhy and How People Use R Charles Torre2012-05-14 20:31
StoryA Concept Design for C++ James Iry2012-03-04 21:35
StoryMilawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic Paul Snively2012-02-29 19:59
Forum topicEmbedding Prolog in Haskell Frank Atanassow2012-02-13 17:04
StoryVellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations Paul Snively2012-02-09 18:04
Forum topicGraphics primitives? danbst2012-01-27 14:10
StoryYacc is dead James Iry2011-08-10 17:06
Forum topicWhy Programming Languages? Andy Wingo2011-07-03 04:39
Forum topicType systems for structured languages Sean McDirmid2010-12-29 00:36
StoryA Preliminary Survey on Functional Programming Ehud Lamm2010-12-14 05:28
Forum topicInconsistency Robustness 2011 at Stanford Hewitt2010-12-07 14:15
Forum topicexpressivity of "idiomatic C++" el-vadimo2010-11-10 22:56
Forum topicThe barrier to take-up of language innovation ad1mt2010-11-06 03:26
Forum topicOverlapping Instances + Functional Dependencies Unsound? shap2010-08-08 15:11
Forum topicplt vs. something else for programming in the large? raould2010-06-17 01:07
Forum topicAlgebraic morphir2010-06-11 08:33
Forum topicGuppy: trying to make parsing simple, fun, and powerful Joey Adams2010-05-31 02:57
Forum topic"Critical code studies" Travis Brown2010-05-19 18:29
StoryCode Quarterly - The Hackademic Journal Ehud Lamm2010-05-10 20:44
Forum topicCapability-based security; how does it work? Ray Dillinger2010-05-01 19:23
StoryVMKit: a Substrate for Managed Runtime Environments, VEE '10 Z-Bo2010-04-26 17:20
Forum topicHow can C Programs be so Reliable? Manuel J. Simoni2010-04-23 11:54
StoryA few billion lines of code later: using static analysis to find bugs in the real world Allan McInnes2010-04-23 11:28
Forum topicSpecifying Solvers? shap2010-04-15 14:08