David Haguenauer

According to our database¹, David Haguenauer authored at least 2 papers between 2009 and 2010.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2010

Singleton types here, singleton types there, singleton types everywhere.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010

2009

Singleton types here, singleton types there, singleton types everywhere: (abstract only).

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2009