Christopher Schwaab

According to our database¹, Christopher Schwaab authored at least 4 papers between 2012 and 2019.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2019

Verified programming with explicit coercions.

[BibT_eX]

[DOI]

Christopher Schwaab

PhD thesis, 2019

Proof-Carrying Plans.

[BibT_eX]

[DOI]

Christopher Schwaab

Ekaterina Komendantskaya

Proceedings of the Practical Aspects of Declarative Languages, 2019

2013

Modular type-safety proofs in Agda.

[BibT_eX]

[DOI]

Christopher Schwaab

Jeremy G. Siek

Proceedings of the 7th Workshop on Programming languages meets program verification, 2013

2012

Modular Type-Safety Proofs using Dependant Types

[BibT_eX]

[DOI]

Christopher Schwaab

Jeremy G. Siek

CoRR, 2012

Christopher Schwaab

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...