el-vadimo

typetitleauthorlast post sort icon
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
Forum topicConcatenative Language Kont Chris2014-10-22 09:15
StoryseL4: Formal Verification of an Operating-System Kernel James Iry2014-07-29 07:19
StoryDeca, an LtU-friendly bare metal systems programming language Anton van Straaten2014-04-23 16:10
StoryHistory of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Ehud Lamm2013-07-28 20:42
StoryInformed dissent: William Cook contra Bob Harper on OOP Ehud Lamm2012-09-29 09:12
Forum topicThe Monad.Reader Wouter Swierstra2012-04-11 12:54
Forum topicCareer paths and concerns Jonathan Schuster2012-03-31 18:04
Forum topicReferences about the importance of formalism in programming language design giuseppemag2012-03-30 05:42
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2012-03-19 13:02
Forum topicBret Victor's Inventing on Priniciple Sean McDirmid2012-03-05 10:44
Forum topicwhy first-class functions ad1mt2012-03-02 13:33
StoryMilawa on Jitawa: a Verified Theorem Prover Paul Snively2012-02-29 22:34
StoryMilawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic Paul Snively2012-02-29 19:59
Forum topicPLT humor on Twitter Manuel J. Simoni2012-02-25 21:54
StoryThe Algebra of Data, and the Calculus of Mutation Manuel J. Simoni2012-02-15 00:19
StoryVellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations Paul Snively2012-02-09 18:04
Forum topicGo's proposed panic/recover exception-like mechanism pgregory2012-01-07 01:57
Forum topicProgrammer Archeologists Sean McDirmid2012-01-06 16:48
StorySeven Myths of Formal Methods Revisited naasking2012-01-03 15:24
Forum topicRun Your Research: On the Effectiveness of Mechanization lmeyerov2011-12-29 20:22
Forum topiciPhone PL lockdown Sean McDirmid2011-12-24 05:49
Forum topicGeneral purpose as a special case? Wendell2011-12-18 04:04
Forum topicREPL-schmepl? el-vadimo2011-12-07 00:25
StoryA bit of Scheming Ehud Lamm2011-12-01 13:44