typetitleauthorlast post sort icon
Forum topicNullable type is needed to fix Tony Hoare's "billion dollar mistake". Hewitt2015-09-04 10:12
Forum topicAnother "big" question Ehud Lamm2015-09-02 15:49
Forum topicBig questions Ehud Lamm2015-08-27 03:57
Forum topicHaskell for Mac Sean McDirmid2015-08-26 23:11
Forum topicUnstructured casting considered harmful to security Hewitt2015-08-25 14:11
Forum topicImplementing the communication semantics of actors Andrew Moss2015-08-24 18:31
Forum topicEric Lippert's Sharp Regrets Wolf Logan2015-08-24 11:10
Forum topicHarnessing Curiosity to Increase Correctness in End-User Programming Blaisorblade2015-08-22 19:05
StoryDraining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development gasche2015-08-22 15:22
Forum topicBranch Prediction and the Performance of Interpreters - Don’t Trust Folklore adrieng2015-08-18 16:42
Forum topicResearch vs implementation, theory vs practice, and LtU Blaisorblade2015-07-28 16:57
Forum topicNew paper: Theory of Programs Bertrand_Meyer2015-07-27 16:21
Forum topicFunctor marco2015-07-27 09:23
Forum topicWhen are Actors appropriate? raould2015-07-21 16:25
Forum topicFixed points considered harmful Hewitt2015-07-21 06:16
Forum topicWho can make LtU2? raould2015-07-19 21:56
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
StorySelf-Representation in Girard’s System U naasking2015-06-18 22:53
Forum topicThe evolution of Rust qznc2015-06-07 16:54
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 topicGenerating compiler back ends at the snap of a finger raould2015-05-28 15:24
Forum topicmessage, stream and protocol typing Rys McCusker2015-05-25 23:37