Evan Austin

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 1

Top Topics

Capsule Endoscopy

Higher Order Logic

Content Analysis

Top Venues

University of Kansas, USA (PHD)

Education History

University of Kansas, USA

PHD

Publications

Evan Austin, Scott C. Batson, Peter Curry, Bryan Williams
Finding a Middle Ground for Computer-Aided Cryptography. ICMS (2018)
Evan Austin, Perry Alexander
Stateless Higher-Order Logic with Quantified Types. ITP (2013)
Aaron Stump, Evan Austin
Resource typing in Guru. PLPV (2010)
Aaron Stump, Evan Austin
Resource typing in guru: (abstract only). ACM SIGPLAN Notices 44 (11) (2009)
Edwin M. Westbrook, Aaron Stump, Evan Austin
The calculus of nominal inductive constructions: an intensional approach to encoding name-bindings. LFMTP (2009)