typetitleauthorlast post sort icon
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
Forum topicType Differentials Talin2015-04-25 15:02
StorySeemingly impossible programs Ohad Kammar2015-04-18 02:15
StoryEverything old is new again: Quoted Domain Specific Languages naasking2015-04-10 05:04
Forum topichow many lines of code can civilization support? Thomas Lord2015-04-09 22:07
Forum topicActors for CyberThings Hewitt2015-04-09 14:57
StoryThe Next Stage of Staging naasking2015-04-07 14:58
Forum topicDetected contradictions in large information systems Hewitt2014-04-22 11:45
Forum topicModelling Actors with Locks laforge492014-04-14 06:21
Forum topicAvoiding Actor Deadlocks--JActor laforge492014-03-27 04:37
StoryPropositions as Types Manuel J. Simoni2014-03-19 07:14