typetitleauthor sort iconlast post
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
Forum topicmath proofs are more robust than computer proofs raould2011-11-18 20:27
Forum topicSECD Machine - RAP? cdiggins2011-10-03 12:00
Forum topicLiterate Programming: Retrospect and Prospects el-vadimo2011-07-20 21:10
Forum topicmodules are anti-modular el-vadimo2011-06-27 17:31
Forum topicdoes your language need a memory model? el-vadimo2011-03-22 03:31
Forum topicWhat is computation? Concurrency versus Turing's Model Hewitt2011-02-22 13:52
StoryHaskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit Ehud Lamm2010-12-29 19:26
Forum topicThe Myths of Object-Orientation el-vadimo2010-12-21 17:28
Storyprogram verification: the very idea el-vadimo2010-12-17 18:21
StoryA Preliminary Survey on Functional Programming Ehud Lamm2010-12-14 05:28