Wendy Verbruggen

According to our database¹, Wendy Verbruggen authored at least 4 papers between 2008 and 2010.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2010

Formal polytypic programs and proofs

[BibT_eX]

[DOI]

PhD thesis, 2010

Formal polytypic programs and proofs.

[BibT_eX]

[DOI]

J. Funct. Program., 2010

2009

Polytypic properties and proofs in Coq.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009

2008

Polytypic programming in COQ.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2008