j4n bur53

typetitleauthorlast post sort icon
StoryJulia, a language for technical computing Manuel J. Simoni2012-03-12 02:05
StoryWhat does focusing tell us about language design? Manuel J. Simoni2012-03-07 19:07
StoryWhen Formal Systems Kill: Computer Ethics and Formal Methods James Iry2012-02-29 23:02
StoryDependently Typed Programming based on Automated Theorem Proving Jacques Carette2012-02-22 18:59
Forum topicEmbedding Prolog in Haskell Frank Atanassow2012-02-13 17:04
Forum topicGeneral purpose as a special case? Wendell2011-12-18 04:04
Forum topicJohn McCarthy has passed Thomas Lord2011-12-11 10:31
StoryThe Experimental Effectiveness of Mathematical Proof Paul Snively2011-11-12 12:16
Forum topic"Crutches in language design", accidental complexity and feature overlap gasche2011-11-07 11:46
Forum topicCan I express variable occurence ranges in logic? j4n bur532011-10-19 10:10
StoryThe Semicolon Wars James Iry2011-02-20 15:00