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

2013

A consistent semantics of self-adjusting computation.

[BibT_eX]

[DOI]

J. Funct. Program., 2013

2004

Combining SAT Methods with Non-Clausal Decision Heuristics.

[BibT_eX]

[DOI]

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