Posts By: Adriaan Moors
Date | Post | Topic |
10/01/2010 | Scaling precision | Omega - Language of the Future |
12/25/2007 | The older version was never published | Generics of a Higher Kind |
11/16/2006 | Explicit self types to express requirements | Video: The Scala Experiment |
04/12/2006 | class Foo implements SomeConcreteClass | Flexible Addition of Static Typing to Dynamically Typed Programs |
04/13/2006 | Java only has single inheritance | Flexible Addition of Static Typing to Dynamically Typed Programs |
04/14/2006 | Recap | Flexible Addition of Static Typing to Dynamically Typed Programs |
03/31/2006 | Chuck, Type inference for Squeak using the DDP algorithm | Type Inference in Object Oriented Languages |
03/28/2006 | Tribe | A virtual class calculus |
03/24/2006 | Higher-order datatype generic programming in Scala | Design Patterns as Higher-Order Datatype-Generic Programs. |
03/27/2006 | Maybe, but I couldn't figure it out | Design Patterns as Higher-Order Datatype-Generic Programs. |
04/14/2006 | Next Best thing | Design Patterns as Higher-Order Datatype-Generic Programs. |
03/07/2006 | Object-oriented units of measurement | Strongly typed quantities in Java |
02/21/2006 | Interruptible Iterators | Is there a formal basis for generators? |
02/02/2006 | PDF version | The Next Mainstream Programming Languages |
02/04/2006 | Nested Inheritance | The Next Mainstream Programming Languages |
06/30/2005 | Object-oriented units of measurement | Hungarian Notation vs The Right Thing |
06/30/2005 | "Programming Objects with ML- | A Typeful Approach to Object-Oriented Programming with Multiple inheritance |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |