[Haskell-cafe] Polymorphic dynamic typing

Paulo Silva paufil at di.uminho.pt
Fri Nov 23 13:45:56 EST 2007


Type representations using GADTs are being used to achieve dynamic  
typing in Haskell. However, representing polymorphic types is  
problematic. Does anyone know any work about including polymorphism  
in dynamic typing?

Best regards,

More information about the Haskell-Cafe mailing list