Peter Buchlovsky

Affiliations:

University of Cambridge, UK

According to our database¹, Peter Buchlovsky authored at least 3 papers between 2005 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

TF-Replicator: Distributed Machine Learning for Researchers.

[BibT_eX]

[DOI]

Sergio Gomez Colmenarejo

Aedan Pope

Fabio Viola

Dan Belov

CoRR, 2019

2007

Semantics of an effect analysis for exceptions.

[BibT_eX]

[DOI]

Nick Benton

Peter Buchlovsky

Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007

2005

A Type-theoretic Reconstruction of the Visitor Pattern.

[BibT_eX]

[DOI]

Peter Buchlovsky

Hayo Thielecke

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Peter Buchlovsky

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...