Evan Austin

According to our database, Evan Austin authored at least 6 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Finding a Middle Ground for Computer-Aided Cryptography.

Evan Austin, Scott C. Batson, Peter Curry, Bryan Williams

Proceedings of the Mathematical Software - ICMS 2018, 2018

2015

Theorem Provers as Libraries - An Approach to Formally Verifying Functional Programs.

Evan Austin

PhD thesis, 2015

2013

Stateless Higher-Order Logic with Quantified Types.

Evan Austin, Perry Alexander

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2010

Resource typing in Guru.

Aaron Stump, Evan Austin

Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010

2009

Resource typing in guru: (abstract only).

Aaron Stump, Evan Austin

ACM SIGPLAN Notices, 2009

The calculus of nominal inductive constructions: an intensional approach to encoding name-bindings.

Edwin M. Westbrook, Aaron Stump, Evan Austin

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009