Jacob Donham

According to our database¹, Jacob Donham authored at least 3 papers between 2004 and 2018.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2018

A domain-specific language for microservices.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 2018

2007

A Consistent Semantics of Self-adjusting Computation.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2007

2004

Combining SAT Methods with Non-Clausal Decision Heuristics.

[BibT_eX]

[DOI]

Proceedings of the Selected Papers from the Workshops on Disproving, 2004