typetitleauthor sort iconlast post
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
Forum topicHave tracing JIT compilers won? Peter Michaux2015-05-26 21:09
StoryseL4: Formal Verification of an Operating-System Kernel James Iry2014-07-29 07:19
StoryPhysics, Topology, Logic and Computation: A Rosetta Stone Andris Birkmanis2014-06-25 18:14
Forum topicGiant list of visual PLs Manuel J. Simoni2014-05-02 16:09
Forum topicVerification games: Making verification fun George Morrison2014-02-08 16:31
Forum topicFive "laws" of programming paradigms Peter Van Roy2013-04-07 20:15
Forum topicSeeking thoughtful criticisms of functional programming and languages scottmcl2013-03-31 00:40
Forum topicNumbers and how to represent them. Ray Dillinger2013-02-03 20:13
Forum topicLinks in long topics don't work Alan Eliasen2013-01-23 18:17
Forum topicDRAKON-Erlang: Visual Functional Programming Stepan Mitkin2012-10-12 08:32
Forum topicBob Harper of CMU is blogging about programming languages and introductory CS education vrijz2012-06-30 00:11
Forum topicGraphical languages of the Russian space program Manuel J. Simoni2012-06-15 06:43
Forum topicProofs as programs hbrandl2012-05-29 09:43
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2012-03-19 13:02
Forum topicEvolution of mainstream programming language paradigms const2012-02-08 02:01
Forum topiciPhone PL lockdown Sean McDirmid2011-12-24 05:49
StoryWhat needs to be done? Ehud Lamm2011-11-07 05:29
Forum topicMetaphors we Program By: Space, Action and Society in Java Pierre-Alexandre Voye2011-10-04 19:21
Forum topicOpen wiki-like code repository Sean McDirmid2011-05-30 19:19
StoryKleisli Arrows of Outrageous Fortune Paul Snively2011-05-19 09:24
Forum topicRedhat's New Language Noel2011-04-16 03:10
Forum topicMulti-Return Function Call Matthew Morgan2011-04-14 05:45
StoryGenerics: The Importance of Wildcards Ehud Lamm2011-01-14 15:36
Forum topicType systems for structured languages Sean McDirmid2010-12-29 00:36