Josh Stern

typetitle sort iconauthorlast post
Forum topicProject Loom: adding fibers and continuations to Java Rys McCusker2017-10-05 22:53
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
Forum topicConstraint-Based Type Inference and Parametric Polymorphism Sean McDirmid2015-02-13 23:43
StoryseL4: Formal Verification of an Operating-System Kernel James Iry2014-07-29 07:19
StoryPure Subtype Systems naasking2014-01-14 06:09
Forum topicStatic typing and direct AST manipulation tkirchner2013-11-15 01:52
Forum topicWhen will we all have effect systems? raould2013-07-01 20:38
Storythe gnu extension language Manuel J. Simoni2013-06-28 14:23
Forum topicSeeking thoughtful criticisms of functional programming and languages scottmcl2013-03-31 00:40
Forum topicHow to handle errors Mats2012-11-09 05:58
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