typetitleauthor sort iconlast post
Forum topicFixed points considered harmful Hewitt2015-07-21 06:16
Forum topicLamport: Interprocess Communication Allan McInnes2015-07-07 08:06
Forum topicStrengthening Process Calculi raould2015-07-06 12:07
Forum topicCompilation to C, a definitive guide? naasking2015-07-05 19:00
Forum topicWho owns your research? Results of SIGPLAN Open Access survey gasche2015-06-25 06:55
Forum topicMathematics self-proves its own Consistency (contra Gödel et. al.) Hewitt2015-06-25 00:05
Forum topicBi-simulation in security auditing Hewitt2015-06-24 21:29
Forum topicThe Page-Fault Weird Machine: Lessons in Instruction-less Computation marco2015-06-24 18:46
Forum topicDedekind, Cantor, Conway, & Hewitt (w/ some Chomsky) Thomas Lord2015-06-23 16:20
StorySelf-Representation in Girard’s System U naasking2015-06-18 22:53
Forum topicGood syntax for single argument methods? Sean McDirmid2015-06-17 21:36
Forum topicXKCD on type theory... Ray Dillinger2015-06-16 21:32
Forum topicThe evolution of Rust qznc2015-06-07 16:54
Forum topicPaper journals are in bad shape; priority established in HAL ... Hewitt2015-06-07 15:39
Forum topicprocess oriented PL boot-strapping Rys McCusker2015-06-05 17:47
Forum topicTypes are fundamental to both logic and computation Hewitt2015-06-02 11:07
StoryComposite Replicated Data Types: eventually consistent libraries as non-leaky abstractions gasche2015-05-30 21:12
Forum topicMore information about Albatross hbrandl2015-05-29 13:47
Forum topicDivergence not bottom? Matt M2015-05-20 00:23
Forum topicThe Programming Language Wars: Questions and Responsibilities for the Programming Language Community Phil Miess2015-05-18 14:25
Forum topicCasting addresses of other Actors considered harmful Hewitt2015-05-13 00:59
Forum topicControversy over the definition of "Logic Program" Hewitt2015-05-03 22:07
Forum topicChurch's fundamental paradox: "Is there such a thing as logic?" Hewitt2015-05-01 15:21
Forum topicC++ Parser Combinator Library Keean Schupke2015-05-01 13:29
StoryActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing Andris Birkmanis2015-04-25 23:47