Verified functional programming in Agda - Stump, Aaron (New York Association for Computing Machinery, 2016)
Electronic reproduction.
Keywords: Architecture, Computer; Computer programming; Electronic books