typetitleauthorlast post sort icon
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
Forum topicNew Dataflow Programming Language ad1mt2010-11-30 01:24
Forum topicThe Free-Form Linguistics Revolution in Mathematica Sean McDirmid2010-11-16 19:33
StoryXtext: An IDE on the cheap bashyal2010-10-15 21:46
Forum topicApp Inventor: Programming for non-programmers... again fogus2010-07-16 23:11
StoryWhy Undergraduates Should Learn the Principles of Programming Languages Z-Bo2010-07-15 09:08
Forum topicplt vs. something else for programming in the large? raould2010-06-17 01:07
Forum topic"Critical code studies" Travis Brown2010-05-19 18:29
StoryA few billion lines of code later: using static analysis to find bugs in the real world Allan McInnes2010-04-23 11:28
Forum topicStatic Typing Where Possible, Dynamic Typing When Needed Isaac Gouy2010-04-20 22:32
StoryA Formal System For Euclid's Elements neelk2010-04-08 16:57