Cyril

typetitleauthor sort iconlast post
Forum topicComputational equivalent of incompleteness theorems? naasking2010-09-21 06:55
Forum topicInspiring Papers SamK2010-05-24 15:10
Forum topicsplitting the program into formalizable vs. non-formalizable parts? raould2010-04-17 03:48
Forum topicFrom type systems to language systems? Cyril2010-03-30 17:49
Forum topicWill data-intensive computing revolutionize programming languages? Peter Van Roy2010-03-30 16:54
Forum topicOracles Jack Waugh2010-02-03 18:31
Forum topicClaiming Infinity Julian Rohrhuber2010-02-03 12:53
Forum topicmost water-tight real-world language implementation? raould2010-01-15 23:08
Forum topicJison Cyril2010-01-05 02:05
Forum topicUnfulfilled Promises of Software Technologies? (!) scottmcl2010-01-02 01:09
Forum topicExploration of Program as Language Sean McDirmid2009-12-30 19:33
Forum topicNeed volunteer help/feedback from stronger academic/competent profiles (on testing T-diags expressiveness with semantics, etc) Cyril2009-12-27 09:47