typetitleauthorlast post sort icon
StoryThe Triumph of Types: Principia Mathematica's Impact on Computer Science Ehud Lamm2010-11-27 19:28
Forum topicClojure's Solutions to the Expression Problem fogus2010-11-27 07:21
Forum topicA Self-Checking Type System munificent2010-11-24 02:36
Forum topicwhen does debugability break down? raould2010-11-10 07:52
Forum topicDesign Principles Behind Smalltalk el-vadimo2010-11-09 17:15
Forum topicyet another paradigm raould2010-11-06 22:41
Forum topicThe barrier to take-up of language innovation ad1mt2010-11-06 03:26
Forum topicanother new language, Chomsky hierarchy Type-0 Ed Earl Ross2010-11-04 06:56
Forum topicLooking for pointers: mixfix error recovery shap2010-10-24 03:09
Forum topicA functional-programming view of time Bakul Shah2010-10-16 02:14
StoryXtext: An IDE on the cheap bashyal2010-10-15 21:46
Forum topicPerlis Languages Robb Nebbe2010-10-14 16:16
Forum topicHaskell implementation in Javascript Cyril2010-10-10 22:30
StorySoftware Development with Code Maps Allan McInnes2010-10-01 19:07
Forum topicWorking around limitations of whole-program monomorphization John Nowak2010-10-01 18:40
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