Singleton types here, singleton types there, singleton types everywhere: (abstract only). - Stefan Monnier; David Haguenauer (ACM SIGPLAN Notices, 2009)

Singleton types here, singleton types there, singleton types everywhere. - Stefan Monnier; David Haguenauer (PLPV, 2010)