We stand with Ukraine  

Evan Austin

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
0
1
2
3
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Finding a Middle Ground for Computer-Aided Cryptography.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Evan Austin
PhD thesis, 2015

2013
Stateless Higher-Order Logic with Quantified Types.
[BibTeX]
[DOI]
Evan Austin
,
Perry Alexander
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2010
Resource typing in Guru.
[BibTeX]
[DOI]
Aaron Stump
,
Evan Austin
Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010

2009
Resource typing in guru: (abstract only).
[BibTeX]
[DOI]
Aaron Stump
,
Evan Austin
ACM SIGPLAN Notices, 2009

The calculus of nominal inductive constructions: an intensional approach to encoding name-bindings.
[BibTeX]
[DOI]
Edwin M. Westbrook
,
Aaron Stump
,
Evan Austin
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009


  Loading...