SRC Research Report 120

Dynamic Typing in Polymorphic Languages

Martin Abadi, Luca Cardelli, Benjamin Pierce, Didier Remy

There are situations in programming where some dynamic typing is needed, even in the presence of advanced static type systems. We investigate the interplay of dynamic types with other advanced type constructions, discussing their integration into languages with explicit polymorphism (in the style of system F), implicit polymorphism (in the style of ML), abstract data types, and subtyping.

Back to the SRC Research Reports main page.

• PostScript compressed with UNIX compress -- 83 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 64 Kbytes
  
• PostScript compressed with ZIP -- 64 Kbytes
  
• PostScript -- 216 Kbytes
  
• Portable Document Format (PDF) -- 224 Kbytes