Home » user account

Andreas Rossberg

typetitleauthorlast post sort icon
Forum topicOO type systems and BNFs Sean McDirmid2012-07-20 19:36
Forum topicBob Harper of CMU is blogging about programming languages and introductory CS education vrijz2012-06-30 00:11
StoryOn Understanding Data Abstraction, Revisited Z-Bo2012-06-28 01:36
Forum topicNull, bottom, etc.? oconnor02012-06-25 23:41
Forum topicQuantitative comparison of unit testing vs. static typing? lmeyerov2012-06-22 02:59
Forum topicType classes in a dynamic language vorov22012-06-17 11:05
Forum topicWat naasking2012-06-09 09:34
Forum topicLanguages with 'unique' programs dataangel2012-06-04 11:11
Forum topicImplementing abstract classes automatically? Sean McDirmid2012-06-02 04:54
Forum topicFeather: A Heapless Functional Programming Language bryanedds2012-05-22 15:31
StoryCommon Lisp: The Untold Story Manuel J. Simoni2012-05-20 23:46
Forum topicHigher order versus Object order Francis McCabe2012-05-17 17:45
Forum topicRetrospective Thoughts on BitC raould2012-04-18 16:43
Forum topicSymmetry in type systems Jules Jacobs2012-04-17 22:15
Forum topicDisruptive PLT Revisited Sean McDirmid2012-03-31 13:27
Forum topicReferences about the importance of formalism in programming language design giuseppemag2012-03-30 05:42
StoryA Concept Design for C++ James Iry2012-03-04 21:35
Forum topicwhy first-class functions ad1mt2012-03-02 13:33
Forum topicEvolution of mainstream programming language paradigms const2012-02-08 02:01
Forum topicGo's proposed panic/recover exception-like mechanism pgregory2012-01-07 01:57
StoryCambridge Course on "Usability of Programming Languages" James Iry2012-01-06 03:55
Forum topic"We Really Don't Know How to Compute!" by Gerald Sussman puredanger2011-11-19 23:37
Forum topicIs the Expression Problem Fundamental? David Minor2011-11-16 21:59
StoryThe Experimental Effectiveness of Mathematical Proof Paul Snively2011-11-12 12:16
Forum topicHaskell V Java type checking Patrick Browne2011-11-09 17:31