RE: Optional types

["David Simmons" <address@hidden>]

Hi Jeremy,

Here are a few to get you going:
-------------------------------
Message Dispatch on Pipelined Processors (1995), ECOOP'95

Message Dispatch on Modern Computer Architectures (1994)

Adaptive Optimization For Self: Reconciling High Performance With
Exploratory Programming (1994)

Debugging Optimized Code with Dynamic Deoptimization (1992

Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic
Inline Caches (1991)

Iterative Type Analysis and Extended Message Splitting: Optimizing
Dynamically-Typed Object-Oriented Programs (1990)

Self: The Power of Simplicity (Ungar, Smith) OOPSLA `87

DEUTSCH, L. P. AND SCHIFFMAN, A., 1984. Efficient Implementation of the
Smalltalk-80 System.

-- Dave S. [SmallScript LLC]

SmallScript for the AOS & .NET Platforms
David.Simmons@SmallScript.com | http://www.smallscript.org


> -----Original Message-----
> From: owner-ll1-discuss@ai.mit.edu
[mailto:owner-ll1-discuss@ai.mit.edu]
> On Behalf Of Jeremy Hylton
> Sent: Monday, December 10, 2001 4:03 AM
> To: david.simmons@smallscript.net
> Cc: ll1-discuss@ai.mit.edu
> Subject: RE: Optional types
> 
> >>>>> "DS" == David Simmons <quasar@qks.com> writes:
> 
>   DS> What I am describing is not something "new". It has been used to
>   DS> one degree or another in Smalltalk VM's since the mid-80's where
>   DS> it was pioneered. There are quite a few OOPSLA papers on related
>   DS> topics in this space which have "submerged" under the Java
>   DS> static-language tidal wave.
> 
> Can you provide any specific references?  No need to be exhaustive;
> I'd be happy to chase the pointers from the more recent work.
> 
> Jeremy