typetitle sort iconauthorlast post
Forum topicConversion of 'functional' to 'imperative' algorithms: is it possible? Achilleas Margaritis2017-03-31 19:14
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
StoryDependent Types for Low-Level Programming naasking2015-10-16 07:59
Forum topicOcaPic: Programming PIC microcontrollers in OCaml Allan McInnes2015-10-12 22:15
StoryFacebook open sources "Infer", static program analysis tool Z-Bo2015-07-28 18:54
Forum topicParsing people, unite! Call for position papers for Parsing@SLE (SPLASH, Indianapolis) jurgenv2013-08-28 06:56
Forum topicCryptography DSL. Ray Dillinger2013-07-29 22:49
Forum topicCost of provably-correct code Ehud Lamm2013-07-06 19:56
Forum topicCFP: ACM High Integrity Language Technology (HILT 2013) due July 6th; conference in Pittsburgh Nov. 10-14 sttaft2013-07-02 17:36
Forum topicWhat will programming look like in 2020? Sean McDirmid2013-03-01 03:45
StoryAda 2012 Language Standard Approved by ISO Ehud Lamm2013-01-13 11:54
Forum topicGoogle's Dart announced vieiro2012-12-30 17:29
StoryJulia, a language for technical computing Manuel J. Simoni2012-03-12 02:05