Sean Wilson

Inductive Proof Automation for Coq

Jacques D. Fleuriot, A. Smaill, Sean Wilson, 2010 .

Supporting Dependently Typed Functional Programming with Testing and User-Assisted Proof Automation

Jacques D. Fleuriot, A. Smaill, Sean Wilson, 2009 .

Supporting dependently typed functional programming with proof automation and testing

Sean Wilson, Sean Wilson, 2011 .

An Attempt at Reducing Costs of Disk I / O in Go

Sean Wilson, Riccardo Mutschlechner, 2017 .

Automation for Dependently Typed Functional Programming

Jacques D. Fleuriot, Alan Smaill, Sean Wilson, 2010, Fundam. Informaticae.