Conor McBride
Identifiers
- Open LibraryOL8350808A
Top Subjects
- Computer programming (1)
- Automatic theorem proving (1)
- Logic, symbolic and mathematical (1)
- Computer science (1)
- Logic programming (1)
- Functional programming (computer science) (1)
Books by Conor McBride
Total count: 3
-
Types for Proofs and ProgramsInternational Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected PapersSpringer London, Limited2007-01-01
-
List of Successes That Can Change the WorldEssays Dedicated to Philip Wadler on the Occasion of His 60th BirthdaySpringer London, Limited2016-01-01
-
Little TyperMIT Press2018-01-01