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.

[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).

[DOI]

ACM SIGPLAN Notices, 2009