typetitleauthor sort iconlast post
Forum topicRumors in Complexity Theory marco2015-11-13 01:41
Forum topic1ML — Core and modules united Tom Primožič2015-11-09 21:29
Forum topicPL vs. PX Sean McDirmid2015-10-26 18:24
Forum topicOn type safety for core Scala: "From F to DOT: Type Soundness Proofs with Definitional Interpreters" Blaisorblade2015-10-24 14:35
Forum topicFree JFP papers Ehud Lamm2015-10-24 14:03
StoryDependent Types for Low-Level Programming naasking2015-10-16 07:59
Forum topicOptimal efficiency Keean Schupke2015-10-12 06:19
Forum topicSubclass, superclass, or siblings under an abstract superclass? Ray Dillinger2015-09-29 15:36
Forum topicword2vec Sean McDirmid2015-09-05 18:26
Forum topicModeration on LtU gasche2015-09-05 11:34
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