Home » user account

Andreas Rossberg

typetitleauthorlast post sort icon
Forum topicSpecifying semantics and type rules shap2009-01-23 13:25
Forum topicFundamental Flaws in Current Programming Language Type Systems Bruce Rennie2009-01-16 16:42
Forum topicAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) scottmcl2009-01-11 22:50
Forum topicThe Lambda Cube & Some Programming Languages Jason Dusek2008-12-31 17:31
Forum topicPracticality of Exclusively Compiler-Driven Unboxing shap2008-12-16 13:48
StoryFunctional building blocks as concurrency patterns Peter Van Roy2008-12-05 15:58
Forum topicSubtyping + overloading Alex Rubinsteyn2008-11-24 20:24
Forum topicExtensible tuples? Alex Rubinsteyn2008-11-17 18:04
Forum topicGarbage Collection Representations naasking2008-11-03 22:37
Forum topicWhy do OOPLs type objects as classes? robmeyers2008-10-30 22:37
Forum topicObject Oriented Programming + Referential Transparency mjstahl2008-10-30 17:40
Forum topicOn the (perceived) equivalence of static and dynamically typed reflective programming languages Ran2008-10-28 23:49
Forum topicTo CPS or not to CPS marco2008-10-10 13:29
StoryMISRA C++:2008 Chris Rathman2008-10-01 22:19
Forum topicLet's make a programming language! Achilleas Margaritis2008-09-12 09:21
Forum topicHaskell for AI? solamim2008-08-27 08:46
StoryEscape from Zurg: An Exercise in Logic Programming Andris Birkmanis2008-08-27 02:45
StoryJ&: Nested Intersection for Scalable Software Composition Andris Birkmanis2008-08-12 20:10
Forum topicA name for this form of variable capture? cjh2008-08-12 15:03
Forum topicIs null needed? BigZaphod2008-08-09 00:52
StoryHappy Birthday, dear Lambda! Ehud Lamm2008-08-08 14:50
Forum topicDodo Denis Bredelet -jido2008-07-20 16:36
Forum topicFunctional Programming in the ACM CS Curriculum mwand2008-07-19 22:42
Forum topic The hits and misses of Microsoft Ehud Lamm2008-07-12 07:25
StoryWhy Multi-Core is Easy and Internet is Hard Peter Van Roy2008-07-03 06:55