Jason S. Reich

According to our database¹, Jason S. Reich authored at least 3 papers between 2011 and 2013.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2013

Property-based testing and properties as types : a hybrid approach to supercompiler verification.

[DOI]

PhD thesis, 2013

2012

Advances in Lazy SmallCheck.

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2012

2011

Lazy Generation of Canonical Test Programs.

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2011