Andreas Rossberg

typetitle sort iconauthorlast post
Forum topicType Inference in Object Oriented Languages Johan Tibell2015-03-09 01:57
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 topicSML# targets LLVM raould2014-12-26 21:05
Forum topicWhy do we need modules at all? Sean McDirmid2014-12-06 15:20
StoryFacebook releases "Flow", a statically typed JavaScript variant James Iry2014-12-03 08:59
Story John C Reynolds Doctoral Dissertation Award nominations for 2014 Ehud Lamm2014-12-01 08:41
Forum topicImpact of static type systems on productivity of actual programmers: first experiment I've seen documented. Ray Dillinger2014-11-18 03:22
Forum topicWhither Flow Analysis? raould2014-11-14 11:54
Forum topicOpposing Hierarchies of Complexity Keean Schupke2014-11-05 22:20
StoryExceptional syntax Chung-chieh Shan2014-11-04 18:51
Forum topicVirgil: a statically-typed language balancing functional and OO features Kartik Agaram2014-10-25 23:08
Forum topicConcatenative Language Kont Chris2014-10-22 09:15
Forum topicJonathan Blow's next foray into game language design jdougan2014-10-21 20:35
StoryOpen thread: RIP Steve Jobs Ehud Lamm2014-10-05 00:19
Forum topicExperiment Ehud Lamm2014-10-01 17:10
Forum topicdoing letrec with lambdas jimdesu2014-09-29 19:46
StoryScala woes? Ehud Lamm2014-09-20 21:18
Forum topicWho Needs Garbage Collection? Keean Schupke2014-09-20 06:41
Forum topicPatent on "safe" transitive immutability for object types — prior art? Blaisorblade2014-09-11 18:18
Forum topicTypographic Programming Languages Sean McDirmid2014-08-28 12:39
StoryCost semantics for functional languages gasche2014-08-21 22:00
StoryApple Introduces Swift bashyal2014-08-21 17:54
StoryInteractive scientific computing; of pythonic parts and goldilocks languages gasche2014-07-24 16:28
Forum topicRank-0 Intersection Type System Keean Schupke2014-06-15 11:52