IOS Press Automation for Dependently Typed Functional Programming

by Sean Wilson , Jacques Fleuriot , Alan Smaill