typetitleauthorlast post sort icon
Forum topicResearch vs implementation, theory vs practice, and LtU Blaisorblade2015-07-28 16:57
Forum topicWho owns your research? Results of SIGPLAN Open Access survey gasche2015-06-25 06:55
Forum topicHave tracing JIT compilers won? Peter Michaux2015-05-26 21:09
Forum topicThe Programming Language Wars: Questions and Responsibilities for the Programming Language Community Phil Miess2015-05-18 14:25
Forum topicType Inference in Object Oriented Languages Johan Tibell2015-03-09 01:57
Forum topicMaking implicits less powerful? Vladimir Slepnev2015-02-20 16:07
Forum topicConstraint-Based Type Inference and Parametric Polymorphism Sean McDirmid2015-02-13 23:43
Forum topicSome notes on Rust, the language. John Nagle2015-02-09 07:25
Forum topicFunction arity with currying and call-by-push-value Blaisorblade2015-01-05 16:09
Forum topicHow can be a interpreter faster than C (aka: kdb+) mamcx2014-12-31 14:26
Forum topicIntegrating Dependent and Linear Types raould2014-12-22 20:26
Forum topicWhy do we need modules at all? Sean McDirmid2014-12-06 15:20
Forum topicLooking for a good online forum on compiler design and implementation Talin2014-12-03 22:33
Forum topicWhither Flow Analysis? raould2014-11-14 11:54
Forum topicConcatenative Language Kont Chris2014-10-22 09:15
Forum topicJonathan Blow's next foray into game language design jdougan2014-10-21 20:35
Forum topicTaking Back Control (Flow) of Reactive Programming Sean McDirmid2014-10-16 23:56
Forum topicOn constness Talin2014-10-13 20:58
Forum topicA question of separation logic and monads Eric Biederman2014-10-06 04:44
StoryOpen thread: RIP Steve Jobs Ehud Lamm2014-10-05 00:19
Forum topicExperiment Ehud Lamm2014-10-01 17:10
Forum topicControlling time and space Sean McDirmid2014-09-28 23:48
StoryApple Introduces Swift bashyal2014-08-21 17:54
StoryseL4: Formal Verification of an Operating-System Kernel James Iry2014-07-29 07:19
Forum topicIs Rx FRP? Sean McDirmid2014-07-08 18:02