raould

typetitleauthorlast post sort icon
Forum topicpaper: "Purely Functional Structured Programming" Steven Obua2010-07-28 17:53
Forum topicThe Rust Language Noel2010-07-27 23:17
Forum topicIs lambda calculus a logic? Patrick Browne2010-07-23 21:42
Forum topicApp Inventor: Programming for non-programmers... again fogus2010-07-16 23:11
Forum topicHow important is language support for namespace management? Manuel J. Simoni2010-07-12 18:33
Forum topicDbC for distributed multiparty interactions raould2010-07-08 18:50
StoryIntel Concurrent Collections for Haskell Ehud Lamm2010-06-28 22:01
StoryThe A-Z of Programming Languages Chris Rathman2010-06-23 02:55
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
StoryThe Right Tool James Iry2010-05-19 13:15
StoryCapabilities for External Uniqueness James Iry2010-05-14 19:30
StoryThe Structure of Authority: Why security is not a separable concern naasking2010-05-07 21:39
Forum topicSEC interested in formalising contracts ... in Python Noel2010-05-06 12:56
StoryTutorial on Good Lisp Programming Style Luke Gorrie2010-05-06 03:28
Forum topicLinear & Dependent types of ATS applied to the Cairo graphics library raould2010-05-04 07:37
Forum topicGames and Languages giuseppemag2010-04-27 15:26
Forum topicIn the wild Ehud Lamm2010-04-26 23:54
Forum topicHow can C Programs be so Reliable? Manuel J. Simoni2010-04-23 11:54
StoryA few billion lines of code later: using static analysis to find bugs in the real world Allan McInnes2010-04-23 11:28
Forum topicVisual programming for movies, games raould2010-04-21 11:53
Forum topicsplitting the program into formalizable vs. non-formalizable parts? raould2010-04-17 03:48
StoryCan functional programming be liberated from the von Neumann paradigm? Charles Stewart2010-04-14 20:25
StoryClojure’s Mini-languages Ehud Lamm2010-04-13 03:46
Forum topicFantom language discussion ; what are your thoughts ? anwars2010-03-31 18:21