Olivier Lefevre

type sort icontitleauthorlast post
StoryGilad Is Right Erik Meijer2014-03-23 13:38
StoryGarbage Collection Without Paging neelk2012-07-25 00:39
Forum topicSEC interested in formalising contracts ... in Python Noel2010-05-06 12:56
StoryWhat do you mean by studying "programming languages"? Ehud Lamm2008-01-22 18:34
Forum topicExamples of large-scale functional language projects Luke Flemmer2008-01-06 18:44
Forum topicPredicting programming course success from a single entrance exam Morris Johns2006-07-18 21:36
StoryComputer Science Looks for a Remake Ehud Lamm2006-05-10 20:48
StoryNorman Ramsey: CS257 - Programming with Concurrency Ehud Lamm2006-02-28 18:24
StoryA Formal Language for Analyzing Contracts Olivier Lefevre2006-01-24 05:48
Forum topicHistory: Array languages James Hague2005-02-17 12:06
Forum topicmultidimensional arrays Martin DeMello2004-10-26 13:47
Forum topicNew Paul Graham thing... Matt Hellige2004-08-24 16:47